how to measure robustness andcorrectness?如何定量測量魯棒性與正確性？
robustness 健壯性
系統在不正常輸入或不正常外部環境下依然能夠表現正常的程度，盡可能保持軟體執行而不是退出，傾向於容錯
correctness 正確性
程式按照spec加以執行的能力，是最重要的質量指標，用不給使用者錯誤的結果，傾向於直接報錯
terms to denote software woes表示軟體困境的術語mean time to failure (mttf)描述不可修復系統的預期故障時間。
軟體構造 6 1健壯性與正確性
健壯性 系統在不正常輸入或不正常外部環境下仍能夠表現正常的程度。面向健壯性的程式設計主要有以下特點 正確性 程式按照spec加以執行的能力，是最重要 的質量指標！正確性和健壯性相比較而言，正確性永不給使用者錯誤的結果，健壯性盡可能保持軟體執行而不是總是退出，兩者在一定程度上而言是存在矛盾的。正確性傾...
軟體構造課程
課程目標 在高階語言程式設計的基礎上，認識軟體構造的質量標準與目標，學習軟體 構造的基本過程，從而具備面向質量目標的複雜軟體構造方法與能力 深入學習抽象資料型別 adt 與物件導向程式設計 oop 初步掌握面向關鍵質量目標 可理解性 可維護性 可復用性 健壯性 時 空效能 的軟體構造基本技術 了解軟...
軟體構造（一）
明顯感覺到實驗一次比一次難。本以為在編寫實驗二的時候就已經是物件導向程式設計了。編寫完p3後覺得自己已經可以完成許多任務了。結果又學了兩節課之後發現，p3編寫的可復用性很差，並不是通過介面之類來實現復用，而是只能完成圍棋和西洋棋兩種棋類遊戲。當然，這和之前上課沒有講到也有一定關係。這次實驗布置出來之...