潔凈室測試 計算機系統驗證小知識

潔凈室檢測中的計算機系統驗證是由IBM*提出。這種測試在很大程度上取決于演練，檢查和形式驗證。除了使用編譯器進行少量語法測試外，似乎不允許程序員通過體罰代碼來檢查其任何代碼。計算機代碼開發理念依賴于通過采用嚴格的檢查方法來避免計算機代碼缺陷。此計算機代碼的目標是*計算機代碼。

“ CLEAN ROOM”的名稱源自與半導體制造單元的類比。在這些單元（無塵室）中，通過在超凈氣氛中產生避免了缺陷區域單元。在這種合理的開發過程中，為了確定零件與規格的一致性而進行的檢查已代替了單元測試。

據報道，這種技術產生的文檔和代碼比各種嚴重依賴基于代碼執行的測試的開發方法更加可靠和可修復。

潔凈室檢測中進行計算機代碼開發的方法依賴于5個特征：

正式規范：
要開發的計算機代碼已正式給出。使用狀態轉換模型來顯示系統對刺激的響應，規格。

驗證是檢查軟件是否達到其目標而沒有任何錯誤的過程。這是確保開發的產品正確與否的過程。它驗證開發的產品是否滿足我們的要求。驗證是靜態測試。 
驗證手段我們是否在制造正確的產品？ 

驗證是檢查軟件產品是否符合要求或換句話說，產品是否具有較高要求的過程。這是檢查產品有效性的過程，即檢查我們正在開發的產品是否正確。這是對實際和預期產品的驗證。驗證是動態測試。 
驗證手段我們是否在制造正確的產品？ 

驗收和驗證方式之間的區別如下：