第七章軟件結構的健壯性——測試與測試優先編程

1. 軟件測試（Software Test） 測試：發現程序中的錯誤，提高程序正確性的信心。 程序確認的基本方法： 形式化推理（Formal reasoning） 代碼評審（Code review） 測試（Testing） 爲什麼要測試？ 提高軟件質量的重要手段 確認是否達到可用的級別（用戶需求） 關注系統的某一個側面的質量特性 是否滿足需求spec（正確性） 是否能夠正確相應所有可能的需求（正確

>>阅读原文<<