軟件工程基礎複習_7

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