軟件構造（2）- 軟件構造的質量指標

一.軟件系統的質量屬性 External quality factors （外部質量因素） (1) 正確性：最重要的質量指標 按照預先定義的規約執行 確保正確性的方式： ① Conditional（分層）：每一層保證自己的正確性，同時假設其下層是正確的 ② 測試和調試：發現不正確，消除不正確 ③ 防禦式編程：在寫程序的時候就確保正確性 ④ 形式化方法：通過形式化驗證發現問題 (2) 健壯性：針對異

>>阅读原文<<