潔凈室檢測(cè)中的計(jì)算機(jī)系統(tǒng)驗(yàn)證是由IBM*提出。這種測(cè)試在很大程度上取決于演練，檢查和形式驗(yàn)證。除了使用編譯器進(jìn)行少量語(yǔ)法測(cè)試外，似乎不允許程序員通過(guò)體罰代碼來(lái)檢查其任何代碼。計(jì)算機(jī)代碼開(kāi)發(fā)理念依賴(lài)于通過(guò)采用嚴(yán)格的檢查方法來(lái)避免計(jì)算機(jī)代碼缺陷。此計(jì)算機(jī)代碼的目標(biāo)是*計(jì)算機(jī)代碼。

“ CLEAN ROOM”的名稱(chēng)源自與半導(dǎo)體制造單元的類(lèi)比。在這些單元（無(wú)塵室）中，通過(guò)在超凈氣氛中產(chǎn)生避免了缺陷區(qū)域單元。在這種合理的開(kāi)發(fā)過(guò)程中，為了確定零件與規(guī)格的一致性而進(jìn)行的檢查已代替了單元測(cè)試。

據(jù)報(bào)道，這種技術(shù)產(chǎn)生的文檔和代碼比各種嚴(yán)重依賴(lài)基于代碼執(zhí)行的測(cè)試的開(kāi)發(fā)方法更加可靠和可修復(fù)。

潔凈室檢測(cè)中進(jìn)行計(jì)算機(jī)代碼開(kāi)發(fā)的方法依賴(lài)于5個(gè)特征：

正式規(guī)范：
要開(kāi)發(fā)的計(jì)算機(jī)代碼已正式給出。使用狀態(tài)轉(zhuǎn)換模型來(lái)顯示系統(tǒng)對(duì)刺激的響應(yīng)，規(guī)格。

驗(yàn)證是檢查軟件是否達(dá)到其目標(biāo)而沒(méi)有任何錯(cuò)誤的過(guò)程。這是確保開(kāi)發(fā)的產(chǎn)品正確與否的過(guò)程。它驗(yàn)證開(kāi)發(fā)的產(chǎn)品是否滿(mǎn)足我們的要求。驗(yàn)證是靜態(tài)測(cè)試。 
驗(yàn)證手段我們是否在制造正確的產(chǎn)品？ 

驗(yàn)證是檢查軟件產(chǎn)品是否符合要求或換句話(huà)說(shuō)，產(chǎn)品是否具有較高要求的過(guò)程。這是檢查產(chǎn)品有效性的過(guò)程，即檢查我們正在開(kāi)發(fā)的產(chǎn)品是否正確。這是對(duì)實(shí)際和預(yù)期產(chǎn)品的驗(yàn)證。驗(yàn)證是動(dòng)態(tài)測(cè)試。 
驗(yàn)證手段我們是否在制造正確的產(chǎn)品？ 

驗(yàn)收和驗(yàn)證方式之間的區(qū)別如下：