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