軟件工程基礎複習_7

第7章軟件測試 軟件驗證是通過檢查和提供客觀證據表明軟件已經滿足規定的需求，是確保軟件質量和降低軟件成本的重要手段，進行軟件驗證的方式有兩種測試和證明， 軟件測試又可以分爲兩類，靜態測試和動態測試，靜態測試又稱評審，是對軟件進行的一種分析和檢查活動，動態測試是通過運行軟件來檢驗其動態行爲和運行結果的正確性， 軟件證明，軟件證明是一種通過形式化的數學方法來確保軟件正確性的活動， 7.0序言， 軟件測

>>阅读原文<<