潔凈室檢測中的計算機系統(tǒng)驗證是由IBM*提出。這種測試在很大程度上取決于演練，檢查和形式驗證。除了使用編譯器進行少量語法測試外，似乎不允許程序員通過體罰代碼來檢查其任何代碼。計算機代碼開發(fā)理念依賴于通過采用嚴格的檢查方法來避免計算機代碼缺陷。此計算機代碼的目標是*計算機代碼。
“ CLEAN ROOM”的名稱源自與半導體制造單元的類比。在這些單元（無塵室）中，通過在超凈氣氛中產(chǎn)生避免了缺陷區(qū)域單元。在這種合理的開發(fā)過程中，為了確定零件與規(guī)格的一致性而進行的檢查已代替了單元測試。
據(jù)報道，這種技術產(chǎn)生的文檔和代碼比各種嚴重依賴基于代碼執(zhí)行的測試的開發(fā)方法更加可靠和可修復。
潔凈室檢測中進行計算機代碼開發(fā)的方法依賴于5個特征：
正式規(guī)范：
要開發(fā)的計算機代碼已正式給出。使用狀態(tài)轉換模型來顯示系統(tǒng)對刺激的響應，規(guī)格。
驗證是檢查軟件是否達到其目標而沒有任何錯誤的過程。這是確保開發(fā)的產(chǎn)品正確與否的過程。它驗證開發(fā)的產(chǎn)品是否滿足我們的要求。驗證是靜態(tài)測試。
驗證手段我們是否在制造正確的產(chǎn)品？
驗證是檢查軟件產(chǎn)品是否符合要求或換句話說，產(chǎn)品是否具有較高要求的過程。這是檢查產(chǎn)品有效性的過程，即檢查我們正在開發(fā)的產(chǎn)品是否正確。這是對實際和預期產(chǎn)品的驗證。驗證是動態(tài)測試。
驗證手段我們是否在制造正確的產(chǎn)品？
驗收和驗證方式之間的區(qū)別如下：
| 計算機系統(tǒng)驗證 | 驗證方式 |
|---|---|
| 它包括檢查文檔，設計，代碼和程序。 | 它包括測試和驗證實際產(chǎn)品。 |
| 驗證是靜態(tài)測試。 | 驗證是動態(tài)測試。 |
| 它不包括代碼的執(zhí)行。 | 它包括代碼的執(zhí)行。 |
| 驗證所使用的方法是復查，演練，檢查和桌面檢查。 | 驗證中使用的方法是黑盒測試，白盒測試和非功能測試。 |
| 它檢查軟件是否符合規(guī)格。 | 它檢查軟件是否滿足客戶的要求和期望。 |
| 它可以在開發(fā)的早期階段發(fā)現(xiàn)錯誤。 | 它只能找到驗證過程找不到的錯誤。 |
| 驗證的目標是應用程序，軟件體系結構和規(guī)范。 | 驗證的目標是實際產(chǎn)品。 |
| 質量保證團隊進行驗證。 | 在測試團隊的幫助下，對軟件代碼執(zhí)行驗證。 |
| 它在驗證之前。 | 經(jīng)過驗證。 |
| 它由對文件/文件的檢查組成，并且由人工執(zhí)行。 | 它由程序執(zhí)行組成，由計算機執(zhí)行。 |
© 2019 - 大灣檢測技術（上海）有限公司 備案號：滬ICP備19013187號-1 GoogleSitemap 技術支持：化工儀器網(wǎng) 管理登陸
檢測