Loading AI tools
来自维基百科,自由的百科全书
軟件驗證(software verification)是軟件工程中的一部份,目的在確認軟件滿足預期的需求。
廣義定義的軟件驗證類似軟件測試。有二種驗證的方式:
動態驗證是在執行軟件時進行,並且動態的確認其行為是否正確。一般會稱為軟件測試階段。驗證本身就是評審的過程。依照測試範圍的不同,可以區分出幾種不同的測試:
軟件動態驗證的目的透過一個活動(例如用醫療軟件來分析生醫資料)來找到軟件問題,也可以透過一個或是多個活動的重覆性性能(例如網頁伺服器的壓力測試、確認產品測試時的情形是否和一開始測試時相同)。
靜態驗證是在軟件執行之前檢查原始碼,來檢查軟件是否符合需求。例如:
透過分析進行驗證,此方式可以用檢測、數學計算、邏輯推導、以及教科書上建議的方式或是其他廣為接受的方式來進行驗證。分析包括取樣、找到量測資料和觀察到測試結果之間的相關性,再配合計算軟件符合需求的期望值高低。
若要作較精準的定義,軟件的驗證(verification)只包括靜態測試,是要應用在製品(artifacts)上。(整個軟件產品)的確認(validation)就等於動態測試,是要應用在運行的軟件產品上(除了需求外,不會針對製品進行確認)。不過需求確認(requirements validation)可以是動態的,也可以是靜態的。
軟件驗證常會和軟件確認(software validation)混淆。軟件驗證及確認之間的差異如下:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.