t_zh

摘要： 測試與正確性論證 正確性論證:基于理論的,通過邏輯上證明程序的正確性. 好處: 測試不能包括無限的全集,但是通過正確性論證可以取到所有的數據情況,來從理論上證明程序的正確性 缺點: 不能嚴格保證程序的正確性,完全可能出現理論正確但實際上卻有實現錯誤的情況出現,正確性論證不能保證程序的實際正確性.理論 閱讀全文

摘要： 規格設計的發展歷史 隨著計算機軟硬件的發展,代碼的復雜程度也在不短增加,隨著計算機軟件規模日漸龐大，結構化程序設計方法開始無法滿足用戶的需求，面向對象程序設計產生。面向對象程序設計是一場重大的革命，提高了開發人員的效率，有效的控制了軟件開發的復雜度，提高了軟件的可維護性和可拓展性。一個復雜,功能強大 閱讀全文

摘要： 第五次作業度量和類圖 第六次： 第7次： 心得體會和分析：bug分析： 第五次作業和第六次都存在一個嚴重問題，即更新時間與實際操作的問題。比如控制時間的時候，往往用sleep函數來，很多時候為了保證題目精度，往往使用的是假時間，但時間的改變和sleep函數使用的先后順序就可能存在問題，在sleep期 閱讀全文

摘要： 第一次作業 度量及類圖 bug分析: 本次作業我自己公測通過但是還是存在兩個bug沒有處理,第一個是在輸出的時候關于系數為0的項應該忽略,同時也要處理','等輸出格式.還要則是string轉int的時候,沒有判斷string長度,過長會導致parseint()函數拋出異常,導致crash掉. 這次作 閱讀全文