凈室軟件工程

哈爾濱工業(yè)大學(xué)計(jì)算機(jī)學(xué)院唐好選凈室軟件工程(CSE)“凈室”（Cleanroom）一詞源自半導(dǎo)體工業(yè)中硬件生產(chǎn)車間，通過嚴(yán)格、潔凈的生產(chǎn)過程預(yù)防了缺陷的產(chǎn)生，而不是在事后再去排除故障。借用這個(gè)詞，充分顯示了凈室技術(shù)“防患于未然”的主導(dǎo)思想凈室基本概念凈室軟件工程（CSE）是一種應(yīng)用數(shù)學(xué)和統(tǒng)計(jì)學(xué)理論生產(chǎn)軟件的工程技術(shù)。力圖通過嚴(yán)格的工程化的軟件過程達(dá)到開發(fā)中的零缺陷或接近零缺陷通過在第一次正確的書寫代碼增量，并在測試前驗(yàn)證其正確性來避免成本過高的缺陷消除過程。它的過程模型是在代碼增量集成到系統(tǒng)的同時(shí)，進(jìn)行代碼增量的統(tǒng)計(jì)質(zhì)量驗(yàn)證。凈室方法的觀點(diǎn)強(qiáng)調(diào)規(guī)格說明和設(shè)計(jì)上嚴(yán)格性，使用基于數(shù)學(xué)的正確性證明對結(jié)果設(shè)計(jì)模型的每個(gè)元素進(jìn)行形式化驗(yàn)證，在規(guī)格說明和設(shè)計(jì)中消除錯(cuò)誤，以“干凈”的方式進(jìn)行制造。20世紀(jì)70年代末80年代初，資深數(shù)學(xué)家和IBM客座科學(xué)家HarlanMills闡述了將數(shù)學(xué)、統(tǒng)計(jì)學(xué)及工程學(xué)上的基本概念應(yīng)用到軟件的設(shè)想凈室軟件工程的發(fā)展Mills的觀點(diǎn)：程序中出現(xiàn)錯(cuò)誤的唯一方式是作者將錯(cuò)誤引入進(jìn)去的。沒有其他的方式……正確實(shí)踐的目標(biāo)是：設(shè)法避免引入錯(cuò)誤，通過測試或其它任何運(yùn)行程序的方式來消除錯(cuò)誤。凈室軟件工程的發(fā)展兩大基本觀點(diǎn)促進(jìn)了Mills的工作：首先，程序是數(shù)學(xué)函數(shù)規(guī)則，其次，潛在的程序執(zhí)行是無窮的，質(zhì)量認(rèn)證必須進(jìn)行統(tǒng)計(jì)采樣第一個(gè)觀點(diǎn)使所有函數(shù)理論向軟件開發(fā)敞開大門，導(dǎo)致以下技術(shù)的產(chǎn)生：盒式結(jié)構(gòu)規(guī)范及設(shè)計(jì)、函數(shù)理論正確性檢驗(yàn)及增量開發(fā)第二個(gè)觀點(diǎn)使所有統(tǒng)計(jì)理論在軟件測試方面得到應(yīng)用，導(dǎo)致了統(tǒng)計(jì)使用測試和質(zhì)量認(rèn)證致力于通過防止軟件缺陷來提高軟件質(zhì)量立足于嚴(yán)格的科學(xué)理論基礎(chǔ)強(qiáng)調(diào)凈室小組：制定系統(tǒng)規(guī)范、開發(fā)和認(rèn)證；基本目標(biāo)是：開發(fā)過程的可管理性和使用時(shí)的無失效性凈室軟件工程的基本特點(diǎn)函數(shù)理論和抽樣理論函數(shù)理論一個(gè)函數(shù)定義了從定義域到值域的映射。一個(gè)特定的程序好似定義了一個(gè)從定義域（所有可能的輸入序列的集合）到值域（所有對應(yīng)于輸入的輸出集合）的映射。這樣，一個(gè)程序的規(guī)范就是一個(gè)函數(shù)的規(guī)范抽樣理論不可能對軟件的所有可能應(yīng)用都進(jìn)行測試。把軟件的所有可能的使用情況看作總體，通過統(tǒng)計(jì)學(xué)手段對其進(jìn)行抽樣，并對樣本進(jìn)行測試，根據(jù)測試結(jié)果分析軟件的性能和可靠性凈室軟件工程的理論基礎(chǔ)統(tǒng)計(jì)過程控制下的增量式開發(fā)（IncrementalDevelopment）：增量是最終軟件產(chǎn)品的功能子集，系統(tǒng)功能隨時(shí)間增加基于函數(shù)的規(guī)范、設(shè)計(jì)：盒子結(jié)構(gòu)方法按照函數(shù)理論定義了三種抽象層次：行為視圖、有限狀態(tài)機(jī)視圖和過程視圖。規(guī)范從一個(gè)外部行為視圖（稱為黑盒）開始然后被轉(zhuǎn)化為一個(gè)狀態(tài)機(jī)視圖（稱為狀態(tài)盒）最后由一個(gè)過程視圖（明盒）來實(shí)現(xiàn)盒子結(jié)構(gòu)是基于對象的凈室軟件工程的技術(shù)手段正確性驗(yàn)證：是CSE的核心，正是由于采用了這一技術(shù)，凈室項(xiàng)目的軟件質(zhì)量才有了極大的提高統(tǒng)計(jì)測試（StatisticallyBasedTesting）和軟件認(rèn)證：凈室測試方法采用統(tǒng)計(jì)學(xué)的基本原理，即當(dāng)總體太大時(shí)必須采取抽樣的方法。首先確定一個(gè)使用模型（usagemodel）來代表系統(tǒng)所有可能使用的（一般是無限的）總體。然后由使用模型產(chǎn)生測試用例。因?yàn)闇y試用例是總體的一個(gè)隨機(jī)樣本，所以可得到系統(tǒng)預(yù)期操作性能的有效統(tǒng)計(jì)推導(dǎo)凈室軟件工程的技術(shù)手段凈室軟件工程的基本模型凈室室的的組組成成項(xiàng)目目規(guī)規(guī)劃劃、、項(xiàng)項(xiàng)目目管管理理、、性性能能改改善善、、工工程程變變化化結(jié)構(gòu)構(gòu)規(guī)規(guī)范范(概念念、、模模塊塊、、執(zhí)執(zhí)行行)功能能規(guī)規(guī)范范需求求分分析析使用用規(guī)規(guī)范范增量量設(shè)設(shè)計(jì)計(jì)、、正正確確性性驗(yàn)驗(yàn)證證統(tǒng)計(jì)計(jì)測測試試、、認(rèn)認(rèn)證證使用用模模型型、、測測試試規(guī)規(guī)劃劃增量量規(guī)劃劃用戶用戶戶評評價(jià)價(jià)的的累計(jì)計(jì)規(guī)規(guī)范范用戶戶評評價(jià)價(jià)的的累計(jì)計(jì)認(rèn)認(rèn)證證增增量量系統(tǒng)工程需求求收集集盒結(jié)結(jié)構(gòu)構(gòu)規(guī)格格形式式化化設(shè)計(jì)計(jì)正確確性性驗(yàn)證證代碼碼檢查查測試試計(jì)計(jì)劃劃統(tǒng)計(jì)計(jì)性性使用用測試試認(rèn)證證需求求收集集盒結(jié)結(jié)構(gòu)構(gòu)規(guī)格格形式式化化設(shè)計(jì)計(jì)正確確性性驗(yàn)證證代碼碼檢查查測試試計(jì)計(jì)劃劃統(tǒng)計(jì)計(jì)性性使用用測試試認(rèn)證證凈室室技技術(shù)術(shù)-增量量開開發(fā)發(fā)技技術(shù)術(shù)…增量量開開發(fā)發(fā)的的理理論論基基礎(chǔ)礎(chǔ)引用用透透明明性性原原理理:一個(gè)個(gè)表表達(dá)達(dá)式式可可用用與與其其等等值值的的任任意意子子表表達(dá)達(dá)式式代代替替,一個(gè)個(gè)給給定定函函數(shù)數(shù)(規(guī)范范)f能改改進(jìn)進(jìn)為為如如下下任任何何一一種種形形式式dof1,f2enddoifpthenf1elsef2endifwhilepdof1enddo函數(shù)數(shù)的的合合并并對對原原函函數(shù)數(shù)f在數(shù)數(shù)值值影影響響上上必必須須等等價(jià)價(jià)軟件件增增量量開開發(fā)發(fā)的的基基礎(chǔ)礎(chǔ)在在于于為為程程序序制制定定數(shù)數(shù)學(xué)學(xué)函函數(shù)數(shù)規(guī)規(guī)則則因此此程程序序開開發(fā)發(fā)作作為為一一種種自自頂頂向向下下的的控控制制結(jié)結(jié)構(gòu)構(gòu)或或子子函函數(shù)數(shù)(子規(guī)規(guī)范范)的函函數(shù)數(shù)改改進(jìn)進(jìn)(規(guī)范范)過程程,將導(dǎo)導(dǎo)致致對象象或或函函數(shù)數(shù)的的分分解解或或結(jié)結(jié)合合功能能規(guī)規(guī)范范...增量量規(guī)規(guī)劃劃增量量設(shè)設(shè)計(jì)計(jì)/驗(yàn)證證增量量1設(shè)計(jì)計(jì)/驗(yàn)證證使用用規(guī)規(guī)范范增增量量測測試試與與認(rèn)認(rèn)證證增量量2設(shè)計(jì)計(jì)/驗(yàn)證證增量量n設(shè)計(jì)計(jì)/驗(yàn)證證產(chǎn)品品評評估估與與過過程程改改進(jìn)進(jìn)增量量1統(tǒng)計(jì)計(jì)增量量1-2統(tǒng)計(jì)計(jì)增量量1-n統(tǒng)計(jì)計(jì)增量量開開發(fā)發(fā)的的進(jìn)進(jìn)度度分分配配增量量1:定義義頂頂層層結(jié)結(jié)構(gòu)構(gòu)及及樁樁組組件件增量量2:根據(jù)據(jù)用用戶戶反反饋饋,用新新的的可可重重用用樁樁組組件件代代替替樁樁組組件件增量量3:用新新的的可可重重用用樁樁組組件件部部件件代代替替樁樁組組件件凈室室技技術(shù)術(shù)-基于于函函數(shù)數(shù)規(guī)規(guī)范范的的設(shè)設(shè)計(jì)計(jì)和和驗(yàn)驗(yàn)證證規(guī)范范：：從一一個(gè)個(gè)外外部部視視圖圖(黑盒盒)開始始轉(zhuǎn)轉(zhuǎn)化化為為一一個(gè)個(gè)狀狀態(tài)態(tài)視視圖圖(狀態(tài)態(tài)盒盒),由一一個(gè)個(gè)過過程程視視圖圖(明盒盒)來實(shí)實(shí)現(xiàn)現(xiàn)三個(gè)個(gè)盒盒形形式式不不同同,但行行為為等等價(jià)價(jià)，稱稱為為盒盒結(jié)結(jié)構(gòu)構(gòu)將數(shù)數(shù)學(xué)學(xué)函函數(shù)數(shù)逐逐步步擴(kuò)擴(kuò)展展為為邏邏輯輯連連接接詞詞（（如如if-then-else）和和子子函函數(shù)數(shù)構(gòu)構(gòu)成成的的結(jié)結(jié)構(gòu)構(gòu)，，這這種種擴(kuò)擴(kuò)展展一一直直進(jìn)進(jìn)行行下下去去，，直直到到所所有有標(biāo)標(biāo)識識出出來來的的子子函函數(shù)數(shù)可可以以用用程程序序設(shè)設(shè)計(jì)計(jì)語語言言直直接接表表達(dá)達(dá)設(shè)計(jì)計(jì)求求精精和和驗(yàn)驗(yàn)證證每個(gè)個(gè)明明盒盒規(guī)規(guī)格格說說明明代代表表了了一一個(gè)個(gè)完完成成狀狀態(tài)態(tài)盒盒轉(zhuǎn)轉(zhuǎn)換換所所需需的的過過程程（（子子函函數(shù)數(shù)））的的設(shè)設(shè)計(jì)計(jì)，，使使用用結(jié)結(jié)構(gòu)構(gòu)化化程程序序設(shè)設(shè)計(jì)計(jì)結(jié)結(jié)構(gòu)構(gòu)和和逐逐步步求求精精在每每個(gè)個(gè)求求精精層層次次上上，，凈凈室室團(tuán)團(tuán)隊(duì)隊(duì)執(zhí)執(zhí)行行一一次次形形式式化化正正確確性性驗(yàn)驗(yàn)證證。。為為此此，，將將一一類類正正確確性性條條件件集集合合附附加加到到結(jié)結(jié)構(gòu)構(gòu)化化程程序序設(shè)設(shè)計(jì)計(jì)結(jié)結(jié)構(gòu)構(gòu)上上如果果函函數(shù)數(shù)f被擴(kuò)擴(kuò)展展為為序序列列g(shù)和h，則則f所有有輸輸入入的的正正確確性性條條件件是是：：執(zhí)行行g(shù)之后后再再執(zhí)執(zhí)行行h能完完成成f的功功能能嗎嗎？如果果一一個(gè)個(gè)函函數(shù)數(shù)p被精精化化為為if<c>thenqelser的條條件件形形式式，，則則對對p的所所有有輸輸入入的的正正確確性性條條件件是是（1）只只要要條條件件c為真真，，q能完完成成p的功功能能嗎嗎？？（（2）只只要要條條件件c為假假，，r能完完成成p的功功能能嗎嗎？？如果果………狀態(tài)

變換狀態(tài)盒輸入S輸出R精化過程驗(yàn)證過程狀態(tài)BB1BB2明盒SR盒結(jié)結(jié)構(gòu)構(gòu)精精化化和和驗(yàn)驗(yàn)證證F=s*RRSH黑盒(所需行為)歷史激勵(lì)響應(yīng)黑盒盒規(guī)規(guī)范范的的原原則則對系系統(tǒng)統(tǒng)擁擁有有者者和和用用戶戶:黑盒盒定定義義了了他他們們分分析析和和協(xié)協(xié)商商所所需需的的行行為為對系系統(tǒng)統(tǒng)開開發(fā)發(fā)者者:黑盒盒定定義義待待設(shè)設(shè)計(jì)計(jì)和和實(shí)實(shí)現(xiàn)現(xiàn)所所需需的的行行為為對系系統(tǒng)統(tǒng)測測試試者者:黑盒定義了在在測試過程中中待確認(rèn)所需需的行為黑盒的組成(例)基于12個(gè)月平均銷售售額的預(yù)測部部分情況規(guī)則號1激勵(lì)歷史條件件<產(chǎn)品>歷史記錄包含含小于11個(gè)月的<銷售額><產(chǎn)品>歷史記錄至少少有11個(gè)月的<銷售額>響應(yīng)接收<產(chǎn)品>的<銷售額>不求平均當(dāng)前激勵(lì)2<銷售額><產(chǎn)品><銷售額><產(chǎn)品><產(chǎn)品>的最近<銷售額>加上當(dāng)前的<銷售額>后求平均狀態(tài)盒對系統(tǒng)或其組組件進(jìn)行初步步細(xì)化;定義狀態(tài)空間間狀態(tài)信息來自自黑盒中需要要保存的激勵(lì)勵(lì)元素變換當(dāng)前的激勵(lì)S(Stimulus)映射響應(yīng)R(Response)舊狀態(tài)OS(oldState)映射到新狀態(tài)態(tài)NS(newState)即(OS,S)(NS,R)狀態(tài)盒組成（（例）銷售額情況表表規(guī)則號舊狀態(tài)激勵(lì)新狀態(tài)響應(yīng)黑盒規(guī)則號<銷售文件>不含<產(chǎn)品>記錄<銷售額><產(chǎn)品>1在<銷售文件>中為<產(chǎn)品>增加記錄出現(xiàn)現(xiàn)最新<銷售額值>收到<產(chǎn)品>的<銷售額值>但不能求平均值值121<銷售文件>中<產(chǎn)品>包含的<銷售額值>記錄少于11個(gè)月<銷售額><產(chǎn)品><產(chǎn)品>記錄己在<銷售文件>中,把<銷售額>作為最新<銷售額值>收到<產(chǎn)品>的<銷售額值>但不能求平均均值明盒(清晰盒)是一個(gè)計(jì)算機(jī)機(jī)程序或程序序集將(OS,S)(NS,R),借助過程實(shí)現(xiàn)現(xiàn)明盒的過程可可以重用己有有的黑盒或在在求精過程中中引入新的黑黑盒明盒的正確性性驗(yàn)證是基于于數(shù)學(xué)方法，，證實(shí)一個(gè)過過程與其規(guī)范范相符盒子的層次結(jié)結(jié)構(gòu)黑盒狀態(tài)盒白盒黑盒狀態(tài)盒明盒黑盒狀態(tài)盒明盒黑盒狀態(tài)盒明盒……盒子結(jié)構(gòu)原則則引用透明性(ReferentialTransparency)明確組件所有有需求，在邏邏輯上不需進(jìn)進(jìn)一步規(guī)范事務(wù)閉包(TransactionClosure)事務(wù)是充分、、足夠的、可可獲得及保留留所有狀態(tài)數(shù)數(shù)據(jù)狀態(tài)遷移(StateMigration)系統(tǒng)數(shù)據(jù)應(yīng)該該遷移和封裝裝到最小的系系統(tǒng)部分，不不必復(fù)制更新新共享服務(wù)(CommonServices)對于多次用到到的系統(tǒng)部分分可定義共享享服務(wù)，創(chuàng)建建重用機(jī)會(huì)凈室技術(shù)-統(tǒng)計(jì)測試和軟軟件認(rèn)證當(dāng)測試的規(guī)模模太大時(shí),要采取抽樣方方法，選擇一一個(gè)模型(馬爾可夫模型型、形式化語語言等)代替使用的規(guī)規(guī)模,然后用模型產(chǎn)產(chǎn)生測試用例例(測試用例是規(guī)規(guī)模的一個(gè)隨隨機(jī)樣本),可以得到系統(tǒng)統(tǒng)預(yù)期操作性性能的有效統(tǒng)統(tǒng)計(jì)推導(dǎo)統(tǒng)計(jì)使用測試試等同于“以以用戶試圖使使用軟件的方方式來測試軟軟件”。為了了完成測試工工作，凈室測測試團(tuán)隊(duì)必須須確定軟件的的使用概率分分布，按照使使用概率為每每個(gè)觸發(fā)集合合生成測試用用例盒子結(jié)構(gòu)開發(fā)發(fā)過程(1)定義系統(tǒng)需求求(2)確定和確認(rèn)黑黑盒(激勵(lì))(響應(yīng))(3)確定和驗(yàn)證狀狀態(tài)盒(狀態(tài),激勵(lì))(新狀態(tài),響應(yīng))(4)設(shè)計(jì)和驗(yàn)證明明盒(5)對新黑盒重復(fù)復(fù)上述過程凈室實(shí)例設(shè)計(jì)并驗(yàn)證一一個(gè)小的程序序，該程序?qū)δ辰o定的整整數(shù)x，找出其平方方根的整數(shù)部部分y凈室實(shí)例-設(shè)計(jì)求精與驗(yàn)驗(yàn)證定義入口和出出口條件。為為了證明設(shè)計(jì)計(jì)的正確性，，需要證明圖圖中表示的條條件init、loop、cont、yes和exit在所有情形下下都是正確的的凈室實(shí)例-設(shè)計(jì)求精與驗(yàn)驗(yàn)證條件init：假定入口條條件是正確的的，因此，init條件的第一部部分x≥0是滿足的，在在流程圖中，，init條件前的語句句設(shè)置為y=0，因此，init條件的第二部部分也是滿足足的，因此，，init為真條件loop可能以兩種方方式之一出現(xiàn)現(xiàn)（1）直接從init（滿足）或（（2）通過穿過cont的控制流，因因?yàn)闂l件cont與loop相同。無論從從哪條路徑到到達(dá)，條件loop都為真條件cont：如果（y+1）2≤x，則y2≤x，條件成立條件yes在條件邏輯中中被測試，一一定為真x為被賦值或修修改，保持不不變，測試條條件（y+1）2≤x不成立時(shí)才能能到達(dá)exit，因此（y+1）2>x,loop條件必須為真真，因此exit滿足y遞增而x不變，循環(huán)一一定終止CMM是軟件組織進(jìn)進(jìn)行軟件過程程改進(jìn)以及評評估和評價(jià)軟軟件能力的基基準(zhǔn)。但在具具體的過程改改進(jìn)實(shí)施中，，需要有效的的軟件工程方方法支持凈室軟件工程程正是為過程程改進(jìn)提供了了具體實(shí)施方方法，它能夠夠及早發(fā)現(xiàn)并并消除缺陷，，顯著提高軟軟件的正確性性、可靠性和和可理解性，，降低項(xiàng)目的的成本，提高高軟件質(zhì)量，，延長軟件的的生命周期凈室與CMM可將凈室軟件件工程應(yīng)用到到CMM的實(shí)踐中，從從組織管理和技術(shù)工程實(shí)踐踐兩個(gè)方面改進(jìn)進(jìn)軟件過程，，從而更加經(jīng)經(jīng)濟(jì)有效地提提升軟件質(zhì)量量在CMM中，關(guān)鍵實(shí)踐踐僅僅描述了了應(yīng)該“做什什么”，并沒沒有給出更沒沒有規(guī)定“如如何”去具體體操作，操作作的方法和步步驟必須由軟軟件組織自己己去解決CMM只是對軟件組組織過程改進(jìn)進(jìn)的指導(dǎo)，而而非解決一切切軟件開發(fā)過過程中的問題題的法寶。在在實(shí)施CMM的過程中，仍仍然需要有效效的軟件工程程技術(shù)和方法法，如“凈室室軟件工程””方法的支持持凈室與CMM基于CMM的凈室裁剪由于凈室過程程和技術(shù)的優(yōu)優(yōu)點(diǎn)以及在軟軟件企業(yè)中實(shí)實(shí)施所遇到的的困難，有必必要對凈室進(jìn)進(jìn)行基于CMM的裁剪基于CMM的裁剪原則裁剪必須符合合凈室的基本本原則（是凈室區(qū)別于于傳統(tǒng)軟件工工程方法的關(guān)關(guān)鍵）設(shè)計(jì)原則：開開發(fā)人員應(yīng)該該并且能夠生生產(chǎn)出在被測測試前就已經(jīng)經(jīng)達(dá)到趨于零零缺陷的產(chǎn)品品測試原則：凈凈室測試的目目的不是尋找找缺陷，而是是度量軟件產(chǎn)產(chǎn)品的質(zhì)量和和性能，為軟軟件過程的改改進(jìn)提供統(tǒng)計(jì)計(jì)數(shù)據(jù)必須結(jié)合軟件件組織自身的的能力成熟度度現(xiàn)狀。自身身軟件能力不不同，過程改改進(jìn)的主要目目標(biāo)也不相同同必須結(jié)合所開開發(fā)軟件的類類型基于凈室的裁裁剪方法引入凈室的三三個(gè)階段初始階段：首先要引入入凈室小組開開發(fā)的組織模模式和質(zhì)量控控制下的增量量式生命周期期模型，將開開發(fā)與測試分分離，建立起起基本項(xiàng)目過過程。結(jié)合自自身能力，引引入形式化程程度較低的黑黑盒規(guī)范與驗(yàn)驗(yàn)證方法中級階段：加入更多必必須的管理規(guī)規(guī)范，明確定定義自身的軟軟件過程。同同時(shí)引入比較較形式化的凈凈室規(guī)范和驗(yàn)驗(yàn)證技術(shù)，進(jìn)進(jìn)一步降低開開發(fā)階段的缺缺陷率，提高高軟件生產(chǎn)率率。并根據(jù)需需要進(jìn)行有限限的統(tǒng)計(jì)測試試高級階段：引入凈室統(tǒng)統(tǒng)計(jì)測試技術(shù)術(shù),很好地實(shí)現(xiàn)對對質(zhì)量和性能能的量化，為為高層的決策策提供可靠的的數(shù)據(jù)依據(jù)針對凈室技術(shù)術(shù)形式化程度度的裁剪(1)對盒式規(guī)范技技術(shù)的裁剪：：黑盒規(guī)范對系系統(tǒng)的外部可可見行為做一一個(gè)完整的定定義，隱藏了了軟件設(shè)計(jì)和和實(shí)現(xiàn)的所有有細(xì)節(jié)，適用用于軟件開發(fā)發(fā)的任何粒度度中。規(guī)范的的描述形式可可以不同：自自然語言、半半形式化的規(guī)規(guī)范語言、而而嚴(yán)格的函數(shù)數(shù)表達(dá)方法狀態(tài)盒規(guī)范是是對系統(tǒng)內(nèi)部部數(shù)據(jù)的描述述，它的實(shí)現(xiàn)現(xiàn)形式依賴于于黑盒規(guī)范明盒規(guī)范是對對黑盒與狀態(tài)態(tài)盒逐步求精精的實(shí)現(xiàn),最終形式便是是源代碼。既既可以是結(jié)構(gòu)構(gòu)化的，也可可以是面向?qū)ο蟮模皇苁荛_發(fā)方法和和語言的限制制針對凈室技術(shù)術(shù)形式化程度度的裁剪(2)對盒式規(guī)范驗(yàn)驗(yàn)證技術(shù)的裁裁剪：驗(yàn)證過過程基于非執(zhí)執(zhí)行的測試方方法尋找并消消除開發(fā)階段段的缺陷。因因盒式規(guī)范的的形式化不同同，驗(yàn)證方法法也有相應(yīng)變變化。檢查方法簡單單易行，但是是不夠嚴(yán)格，，基于潛在錯(cuò)誤誤清單的審查查方法有規(guī)范范的步驟，是一種經(jīng)濟(jì)濟(jì)有效的錯(cuò)誤誤檢測方法基于函數(shù)理論論的正確性證證明，要求在在盒式規(guī)范過過程中，建立立明確的預(yù)期期函數(shù)，這就就要求盒式規(guī)規(guī)范本身的形形式化程度較較高，此外要要求評審人員員有相應(yīng)的數(shù)數(shù)學(xué)知識和專專用CASE工具的支持(3)對統(tǒng)計(jì)測試技技術(shù)的裁剪：：規(guī)范和驗(yàn)證證階段采用的的技術(shù)都不嚴(yán)嚴(yán)格時(shí)，更需需測試過程來來保證產(chǎn)品發(fā)發(fā)布前的低缺缺陷，以減少少產(chǎn)品的維護(hù)護(hù)費(fèi)用針對凈室技術(shù)術(shù)形式化程度度的裁剪CMM與凈室技術(shù)都都不是萬能的的。CMM提出的是完整整的軟件開發(fā)發(fā)和管理的過過程，而凈室室更多的是技技術(shù)方面的支支持。兩者相相互一致并相相互補(bǔ)充。將將二者合理地地結(jié)合，能夠夠獲得更高的的軟件質(zhì)量、、更低的開發(fā)發(fā)成本，更高高的生產(chǎn)效率率和更長的軟軟件生命周期期凈室過程的優(yōu)優(yōu)點(diǎn)特點(diǎn)小組開發(fā)的組織模式統(tǒng)計(jì)控制下的增量開發(fā)開發(fā)與測試并行進(jìn)行所起作用1）降低人員間的通信和協(xié)調(diào)2）減少對權(quán)威的依賴3）提高團(tuán)隊(duì)的開發(fā)能力4）小組評審盡早發(fā)現(xiàn)缺陷并顯著降低成本1）開發(fā)過程可預(yù)測2