凈室軟件工程

凈室軟件工程我登上金山寺的八角樓塔，一種江山如畫的感覺油然而生。習(xí)習(xí)涼風(fēng)把塔頂?shù)你~鈴吹動，發(fā)出“??”的響聲。我繞塔一周，看著腳下的大雄寶殿和林蔭道，心里暗暗贊嘆著這幽雅的景色和古代勞動人民的智慧。我面對北方，那中外聞名的長江就一下子把我吸引住了。我不由自主地俯身向前，手撫欄桿，瞪大眼睛緊盯著不時傳來陣陣波濤的長江。長江煙波蕩漾，仿佛是一條巨龍仰臥在祖國大地上，兩岸呈現(xiàn)出的青綠色，清楚地勾畫出長江偉岸的身軀。江面上白帆點(diǎn)點(diǎn)，船只順流而下，略帶黃色的長江水，發(fā)出“嘩嘩”地吼叫。長江后浪推前浪，興波助瀾滾滾東流。江水一股股向江心流去，被堅硬的石頭擊回，翻起回頭浪，又和后面涌上的水浪相激，轟轟作響。長江發(fā)源于雪峰奇山，它是一股不可抗拒的洪流。它沖過萬千山巒，流過綿綿高原，淌過千里平川，匯入東海。長江象征著質(zhì)樸的中國人民，長江象征著我們民族的精神和意志，我贊美長江！凈室軟件工程凈室軟件工程我登上金山寺的八角樓塔，一種江山如畫的感覺油然而生。習(xí)習(xí)涼風(fēng)把塔頂?shù)你~鈴吹動，發(fā)出“??”的響聲。我繞塔一周，看著腳下的大雄寶殿和林蔭道，心里暗暗贊嘆著這幽雅的景色和古代勞動人民的智慧。我面對北方，那中外聞名的長江就一下子把我吸引住了。我不由自主地俯身向前，手撫欄桿，瞪大眼睛緊盯著不時傳來陣陣波濤的長江。長江煙波蕩漾，仿佛是一條巨龍仰臥在祖國大地上，兩岸呈現(xiàn)出的青綠色，清楚地勾畫出長江偉岸的身軀。江面上白帆點(diǎn)點(diǎn)，船只順流而下，略帶黃色的長江水，發(fā)出“嘩嘩”地吼叫。長江后浪推前浪，興波助瀾滾滾東流。江水一股股向江心流去，被堅硬的石頭擊回，翻起回頭浪，又和后面涌上的水浪相激，轟轟作響。長江發(fā)源于雪峰奇山，它是一股不可抗拒的洪流。它沖過萬千山巒，流過綿綿高原，淌過千里平川，匯入東海。長江象征著質(zhì)樸的中國人民，長江象征著我們民族的精神和意志，我贊美長江！“凈室”（Cleanroom）一詞源自半導(dǎo)體工業(yè)中硬件生產(chǎn)車間，通過嚴(yán)格、潔凈的生產(chǎn)過程預(yù)防了缺陷的產(chǎn)生，而不是在事后再去排除故障。借用這個詞，充分顯示了凈室技術(shù)“防患于未然”的主導(dǎo)思想凈室基本概念凈室軟件工程（CSE）是一種應(yīng)用數(shù)學(xué)和統(tǒng)計學(xué)理論生產(chǎn)軟件的工程技術(shù)。力圖通過嚴(yán)格的工程化的軟件過程達(dá)到開發(fā)中的零缺陷或接近零缺陷凈室軟件工程全文共43頁，當(dāng)前為第1頁?！皟羰摇保–leanroom）一詞源自半導(dǎo)體工業(yè)中硬件生產(chǎn)車間，通過嚴(yán)格、潔凈的生產(chǎn)過程預(yù)防了缺陷的產(chǎn)生，而不是在事后再去排除故障。借用這個詞，充分顯示了凈室技術(shù)“防患于未然”的主導(dǎo)思想凈室基本概念凈室軟件工程（CSE）是一種應(yīng)用數(shù)學(xué)和統(tǒng)計學(xué)理論生產(chǎn)軟件的工程技術(shù)。力圖通過嚴(yán)格的工程化的軟件過程達(dá)到開發(fā)中的零缺陷或接近零缺陷凈室軟件工程全文共43頁，當(dāng)前為第2頁。通過在第一次正確的書寫代碼增量，并在測試前驗(yàn)證其正確性來避免成本過高的缺陷消除過程。它的過程模型是在代碼增量集成到系統(tǒng)的同時，進(jìn)行代碼增量的統(tǒng)計質(zhì)量驗(yàn)證。凈室方法的觀點(diǎn)強(qiáng)調(diào)規(guī)格說明和設(shè)計上嚴(yán)格性，使用基于數(shù)學(xué)的正確性證明對結(jié)果設(shè)計模型的每個元素進(jìn)行形式化驗(yàn)證，在規(guī)格說明和設(shè)計中消除錯誤，以“干凈”的方式進(jìn)行制造。凈室軟件工程全文共43頁，當(dāng)前為第3頁。20世紀(jì)70年代末80年代初，資深數(shù)學(xué)家和IBM客座科學(xué)家HarlanMills闡述了將數(shù)學(xué)、統(tǒng)計學(xué)及工程學(xué)上的基本概念應(yīng)用到軟件的設(shè)想凈室軟件工程的發(fā)展Mills的觀點(diǎn)：程序中出現(xiàn)錯誤的唯一方式是作者將錯誤引入進(jìn)去的。沒有其他的方式……正確實(shí)踐的目標(biāo)是：設(shè)法避免引入錯誤，通過測試或其它任何運(yùn)行程序的方式來消除錯誤。凈室軟件工程全文共43頁，當(dāng)前為第4頁。凈室軟件工程的發(fā)展兩大基本觀點(diǎn)促進(jìn)了Mills的工作：首先，程序是數(shù)學(xué)函數(shù)規(guī)則，其次，潛在的程序執(zhí)行是無窮的，質(zhì)量認(rèn)證必須進(jìn)行統(tǒng)計采樣第一個觀點(diǎn)使所有函數(shù)理論向軟件開發(fā)敞開大門，導(dǎo)致以下技術(shù)的產(chǎn)生：盒式結(jié)構(gòu)規(guī)范及設(shè)計、函數(shù)理論正確性檢驗(yàn)及增量開發(fā)第二個觀點(diǎn)使所有統(tǒng)計理論在軟件測試方面得到應(yīng)用，導(dǎo)致了統(tǒng)計使用測試和質(zhì)量認(rèn)證凈室軟件工程全文共43頁，當(dāng)前為第5頁。致力于通過防止軟件缺陷來提高軟件質(zhì)量立足于嚴(yán)格的科學(xué)理論基礎(chǔ)強(qiáng)調(diào)凈室小組：制定系統(tǒng)規(guī)范、開發(fā)和認(rèn)證；基本目標(biāo)是：開發(fā)過程的可管理性和使用時的無失效性凈室軟件工程的基本特點(diǎn)凈室軟件工程全文共43頁，當(dāng)前為第6頁。函數(shù)理論和抽樣理論函數(shù)理論一個函數(shù)定義了從定義域到值域的映射。一個特定的程序好似定義了一個從定義域（所有可能的輸入序列的集合）到值域（所有對應(yīng)于輸入的輸出集合）的映射。這樣，一個程序的規(guī)范就是一個函數(shù)的規(guī)范抽樣理論不可能對軟件的所有可能應(yīng)用都進(jìn)行測試。把軟件的所有可能的使用情況看作總體，通過統(tǒng)計學(xué)手段對其進(jìn)行抽樣，并對樣本進(jìn)行測試，根據(jù)測試結(jié)果分析軟件的性能和可靠性凈室軟件工程的理論基礎(chǔ)凈室軟件工程全文共43頁，當(dāng)前為第7頁。凈室軟件工程全文共43頁，當(dāng)前為第8頁。凈室軟件工程全文共43頁，當(dāng)前為第9頁。凈室軟件工程全文共43頁，當(dāng)前為第10頁。凈室的組成項(xiàng)目規(guī)劃、項(xiàng)目管理、性能改善、工程變化結(jié)構(gòu)規(guī)范(概念、模塊、執(zhí)行)功能規(guī)范需求分析

使用規(guī)范

增量設(shè)計、正確性驗(yàn)證統(tǒng)計測試、認(rèn)證使用模型、測試規(guī)劃增量規(guī)劃用戶用戶評價的累計規(guī)范用戶評價的累計認(rèn)證增量凈室軟件工程全文共43頁，當(dāng)前為第11頁。系統(tǒng)工程需求收集盒結(jié)構(gòu)規(guī)格

形式化設(shè)計正確性驗(yàn)證代碼檢查測試計劃統(tǒng)計性使用測試認(rèn)證

需求收集盒結(jié)構(gòu)規(guī)格形式化設(shè)計正確性驗(yàn)證代碼檢查測試計劃統(tǒng)計性使用測試認(rèn)證凈室技術(shù)-增量開發(fā)技術(shù)…凈室軟件工程全文共43頁，當(dāng)前為第12頁。增量開發(fā)的理論基礎(chǔ)引用透明性原理:一個表達(dá)式可用與其等值的任意子表達(dá)式代替,一個給定函數(shù)(規(guī)范)f能改進(jìn)為如下任何一種形式dof1,f2enddoifpthenf1elsef2endifwhilepdof1enddo函數(shù)的合并對原函數(shù)f在數(shù)值影響上必須等價軟件增量開發(fā)的基礎(chǔ)在于為程序制定數(shù)學(xué)函數(shù)規(guī)則因此程序開發(fā)作為一種自頂向下的控制結(jié)構(gòu)或子函數(shù)(子規(guī)范)的函數(shù)改進(jìn)(規(guī)范)過程,將導(dǎo)致對象或函數(shù)的分解或結(jié)合凈室軟件工程全文共43頁，當(dāng)前為第13頁。功能規(guī)范...增量規(guī)劃增量設(shè)計/驗(yàn)證增量1設(shè)計/驗(yàn)證使用規(guī)范增量測試與認(rèn)證增量2設(shè)計/驗(yàn)證增量n設(shè)計/驗(yàn)證產(chǎn)品評估與過程改進(jìn)增量1統(tǒng)計增量1-2統(tǒng)計增量1-n統(tǒng)計增量開發(fā)的進(jìn)度分配增量1:定義頂層結(jié)構(gòu)及樁組件增量2:根據(jù)用戶反饋,用新的可重用樁組件代替樁組件增量3:用新的可重用樁組件部件代替樁組件凈室軟件工程全文共43頁，當(dāng)前為第14頁。凈室技術(shù)-基于函數(shù)規(guī)范的設(shè)計和驗(yàn)證規(guī)范：從一個外部視圖(黑盒)開始轉(zhuǎn)化為一個狀態(tài)視圖(狀態(tài)盒),由一個過程視圖(明盒)來實(shí)現(xiàn)三個盒形式不同,但行為等價，稱為盒結(jié)構(gòu)將數(shù)學(xué)函數(shù)逐步擴(kuò)展為邏輯連接詞（如if-then-else）和子函數(shù)構(gòu)成的結(jié)構(gòu)，這種擴(kuò)展一直進(jìn)行下去，直到所有標(biāo)識出來的子函數(shù)可以用程序設(shè)計語言直接表達(dá)凈室軟件工程全文共43頁，當(dāng)前為第15頁。設(shè)計求精和驗(yàn)證每個明盒規(guī)格說明代表了一個完成狀態(tài)盒轉(zhuǎn)換所需的過程（子函數(shù)）的設(shè)計，使用結(jié)構(gòu)化程序設(shè)計結(jié)構(gòu)和逐步求精在每個求精層次上，凈室團(tuán)隊執(zhí)行一次形式化正確性驗(yàn)證。為此，將一類正確性條件集合附加到結(jié)構(gòu)化程序設(shè)計結(jié)構(gòu)上如果函數(shù)f被擴(kuò)展為序列g(shù)和h，則f所有輸入的正確性條件是：執(zhí)行g(shù)之后再執(zhí)行h能完成f的功能嗎？如果一個函數(shù)p被精化為if<c>thenqelser的條件形式，則對p的所有輸入的正確性條件是（1）只要條件c為真，q能完成p的功能嗎？（2）只要條件c為假，r能完成p的功能嗎？如果……凈室軟件工程全文共43頁，當(dāng)前為第16頁。狀態(tài)

變換狀態(tài)盒輸入S輸出R精化過程驗(yàn)證過程狀態(tài)BB1BB2明盒SR盒結(jié)構(gòu)精化和驗(yàn)證F=s*RRSH黑盒(所需行為)歷史激勵響應(yīng)凈室軟件工程全文共43頁，當(dāng)前為第17頁。黑盒規(guī)范的原則對系統(tǒng)擁有者和用戶:黑盒定義了他們分析和協(xié)商所需的行為對系統(tǒng)開發(fā)者:黑盒定義待設(shè)計和實(shí)現(xiàn)所需的行為對系統(tǒng)測試者:黑盒定義了在測試過程中待確認(rèn)所需的行為凈室軟件工程全文共43頁，當(dāng)前為第18頁。黑盒的組成(例)基于12個月平均銷售額的預(yù)測部分情況規(guī)則號

1

激勵歷史條件<產(chǎn)品>歷史記錄包含小于11個月的<銷售額><產(chǎn)品>歷史記錄至少有11個月的<銷售額>

響應(yīng)接收<產(chǎn)品>

的<銷售額>

不求平均當(dāng)前激勵2<銷售額><產(chǎn)品><銷售額><產(chǎn)品><產(chǎn)品>的最近<銷售額>加上當(dāng)前的<銷售額>后求平均凈室軟件工程全文共43頁，當(dāng)前為第19頁。狀態(tài)盒對系統(tǒng)或其組件進(jìn)行初步細(xì)化;定義狀態(tài)空間狀態(tài)信息來自黑盒中需要保存的激勵元素變換當(dāng)前的激勵S(Stimulus)映射響應(yīng)R(Response)舊狀態(tài)OS(oldState)映射到新狀態(tài)NS(newState)

即(OS,S)(NS,R)凈室軟件工程全文共43頁，當(dāng)前為第20頁。狀態(tài)盒組成（例）銷售額情況表規(guī)則號

舊狀態(tài)

激勵

新狀態(tài)

響應(yīng)

黑盒規(guī)則號<銷售文件>不含<產(chǎn)品>記錄<銷售額><產(chǎn)品>1在<銷售文件>中為<產(chǎn)品>增加記錄出現(xiàn)最新<銷售額值>收到<產(chǎn)品>的<銷售額值>但不能求平均值121<銷售文件>中<產(chǎn)品>包含的<銷售額值>記錄少于11個月<銷售額><產(chǎn)品><產(chǎn)品>記錄己在<銷售文件>中,把<銷售額>作為最新<銷售額值>收到<產(chǎn)品>的<銷售額值>但不能求平均值凈室軟件工程全文共43頁，當(dāng)前為第21頁。明盒(清晰盒)是一個計算機(jī)程序或程序集將

(OS,S)(NS,R),借助過程實(shí)現(xiàn)明盒的過程可以重用己有的黑盒或在求精過程中引入新的黑盒明盒的正確性驗(yàn)證是基于數(shù)學(xué)方法，證實(shí)一個過程與其規(guī)范相符凈室軟件工程全文共43頁，當(dāng)前為第22頁。盒子的層次結(jié)構(gòu)黑盒狀態(tài)盒白盒黑盒狀態(tài)盒明盒黑盒狀態(tài)盒明盒黑盒狀態(tài)盒明盒……凈室軟件工程全文共43頁，當(dāng)前為第23頁。盒子結(jié)構(gòu)原則

引用透明性(ReferentialTransparency)

明確組件所有需求，在邏輯上不需進(jìn)一步規(guī)范事務(wù)閉包(TransactionClosure)

事務(wù)是充分、足夠的、可獲得及保留所有狀態(tài)數(shù)據(jù)狀態(tài)遷移(StateMigration)

系統(tǒng)數(shù)據(jù)應(yīng)該遷移和封裝到最小的系統(tǒng)部分，不必復(fù)制更新共享服務(wù)(CommonServices)

對于多次用到的系統(tǒng)部分可定義共享服務(wù)，創(chuàng)建重用機(jī)會凈室軟件工程全文共43頁，當(dāng)前為第24頁。凈室技術(shù)-統(tǒng)計測試和軟件認(rèn)證當(dāng)測試的規(guī)模太大時,要采取抽樣方法，選擇一個模型(馬爾可夫模型、形式化語言等)代替使用的規(guī)模,然后用模型產(chǎn)生測試用例(測試用例是規(guī)模的一個隨機(jī)樣本),可以得到系統(tǒng)預(yù)期操作性能的有效統(tǒng)計推導(dǎo)統(tǒng)計使用測試等同于“以用戶試圖使用軟件的方式來測試軟件”。為了完成測試工作，凈室測試團(tuán)隊必須確定軟件的使用概率分布，按照使用概率為每個觸發(fā)集合生成測試用例凈室軟件工程全文共43頁，當(dāng)前為第25頁。盒子結(jié)構(gòu)開發(fā)過程

(1)定義系統(tǒng)需求

(2)確定和確認(rèn)黑盒

(激勵)(響應(yīng))

(3)確定和驗(yàn)證狀態(tài)盒

(狀態(tài),激勵)(新狀態(tài),響應(yīng))(4)設(shè)計和驗(yàn)證明盒

(5)對新黑盒重復(fù)上述過程凈室軟件工程全文共43頁，當(dāng)前為第26頁。凈室實(shí)例

設(shè)計并驗(yàn)證一個小的程序，該程序?qū)δ辰o定的整數(shù)x，找出其平方根的整數(shù)部分y凈室軟件工程全文共43頁，當(dāng)前為第27頁。凈室實(shí)例-設(shè)計求精與驗(yàn)證定義入口和出口條件。為了證明設(shè)計的正確性，需要證明圖中表示的條件init、loop、cont、yes和exit在所有情形下都是正確的凈室軟件工程全文共43頁，當(dāng)前為第28頁。凈室實(shí)例-設(shè)計求精與驗(yàn)證條件init：假定入口條件是正確的，因此，init條件的第一部分x≥0是滿足的，在流程圖中，init條件前的語句設(shè)置為y=0，因此，init條件的第二部分也是滿足的，因此，init為真條件loop可能以兩種方式之一出現(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不成立時才能到達(dá)exit，因此（y+1）2

>x,loop條件必須為真，因此exit滿足y遞增而x不變，循環(huán)一定終止凈室軟件工程全文共43頁，當(dāng)前為第29頁。CMM是軟件組織進(jìn)行軟件過程改進(jìn)以及評估和評價軟件能力的基準(zhǔn)。但在具體的過程改進(jìn)實(shí)施中，需要有效的軟件工程方法支持凈室軟件工程正是為過程改進(jìn)提供了具體實(shí)施方法，它能夠及早發(fā)現(xiàn)并消除缺陷，顯著提高軟件的正確性、可靠性和可理解性，降低項(xiàng)目的成本，提高軟件質(zhì)量，延長軟件的生命周期凈室與CMM凈室軟件工程全文共43頁，當(dāng)前為第30頁?？蓪羰臆浖こ虘?yīng)用到CMM的實(shí)踐中，從組織管理和技術(shù)工程實(shí)踐兩個方面改進(jìn)軟件過程，從而更加經(jīng)濟(jì)有效地提升軟件質(zhì)量在CMM中，關(guān)鍵實(shí)踐僅僅描述了應(yīng)該“做什么”，并沒有給出更沒有規(guī)定“如何”去具體操作，操作的方法和步驟必須由軟件組織自己去解決CMM只是對軟件組織過程改進(jìn)的指導(dǎo)，而非解決一切軟件開發(fā)過程中的問題的法寶。在實(shí)施CMM的過程中，仍然需要有效的軟件工程技術(shù)和方法，如“凈室軟件工程”方法的支持凈室與CMM凈室軟件工程全文共43頁，當(dāng)前為第31頁。基于CMM的凈室裁剪由于凈室過程和技術(shù)的優(yōu)點(diǎn)以及在軟件企業(yè)中實(shí)施所遇到的困難，有必要對凈室進(jìn)行基于CMM的裁剪凈室軟件工程全文共43頁，當(dāng)前為第32頁?；贑MM的裁剪原則裁剪必須符合凈室的基本原則（是凈室區(qū)別于傳統(tǒng)軟件工程方法的關(guān)鍵）設(shè)計原則：開發(fā)人員應(yīng)該并且能夠生產(chǎn)出在被測試前就已經(jīng)達(dá)到趨于零缺陷的產(chǎn)品測試原則：凈室測試的目的不是尋找缺陷，而是度量軟件產(chǎn)品的質(zhì)量和性能，為軟件過程的改進(jìn)提供統(tǒng)計數(shù)據(jù)必須結(jié)合軟件組織自身的能力成熟度現(xiàn)狀。自身軟件能力不同，過程改進(jìn)的主要目標(biāo)也不相同必須結(jié)合所開發(fā)軟件的類型凈室軟件工程全文共43頁，當(dāng)前為第33頁。基于凈室的裁剪方法引入凈室的三個階段初始階段：首先要引入凈室小組開發(fā)的組織模式和質(zhì)量控制下的增量式生命周期模型，將開發(fā)與測試分離，建立起基本項(xiàng)目過程。結(jié)合自身能力，引入形式化程度較低的黑盒規(guī)范與驗(yàn)證方法中級階段：加入更多必須的管理規(guī)范，明確定義自身的軟件過程。同時引入比較形式化的凈室規(guī)范和驗(yàn)證技術(shù)，進(jìn)一步降低開發(fā)階段的缺陷率，提高軟件生產(chǎn)率。并根據(jù)需要進(jìn)行有限的統(tǒng)計測試高級階段：引入凈室統(tǒng)計測試技術(shù),很好地實(shí)現(xiàn)對質(zhì)量和性能的量化，為高層的決策提供可靠的數(shù)據(jù)依據(jù)凈室軟件工程全文共43頁，當(dāng)前為第34頁。針對凈室技術(shù)形式化程度的裁剪(1)對盒式規(guī)范技術(shù)的裁剪：黑盒規(guī)范對系統(tǒng)的外部可見行為做一個完整的定義，隱藏了軟件設(shè)計和實(shí)現(xiàn)的所有細(xì)節(jié)，適用于軟件開發(fā)的任何粒度中。規(guī)范的描述形式可以不同：自然語言、半形式化的規(guī)范語言、而嚴(yán)格的函數(shù)表達(dá)方法狀態(tài)盒規(guī)范是對系統(tǒng)內(nèi)部數(shù)據(jù)的描述，它的實(shí)現(xiàn)形式依賴于黑盒規(guī)范明盒規(guī)范是對黑盒與狀態(tài)盒逐步求精的實(shí)現(xiàn),最終形式便是源代碼。既可以是結(jié)構(gòu)化的，也可以是面向?qū)ο蟮模皇荛_發(fā)方法和語言的限制凈室軟件工程全文共43頁，當(dāng)前為第35頁。針對凈室技術(shù)形式化程度的裁剪(2)對盒式規(guī)范驗(yàn)證技術(shù)的裁剪：驗(yàn)證過程基于非執(zhí)行的測試方法尋找并消除開發(fā)階段的缺陷。因盒式規(guī)范的形式化不同，驗(yàn)證方法也有相應(yīng)變化。檢查方法簡單易行，但是不夠嚴(yán)格，基于潛在錯誤清單的審查方法有規(guī)范的步驟，是一種經(jīng)濟(jì)有效的錯誤檢測方法基于函數(shù)理論的正確性證明，要求在盒式規(guī)范過程中，建立明確的預(yù)期函數(shù)，這就要求盒式規(guī)范本身的形式化程度較高，此外要求評審人員有相應(yīng)的數(shù)學(xué)知識和專用CASE工具的支持(3)對統(tǒng)計測試技術(shù)的裁剪：規(guī)范和驗(yàn)證階段采用的技術(shù)都不嚴(yán)格時，更需測試過程來保證產(chǎn)品發(fā)布前的低缺陷，以減少產(chǎn)品的維護(hù)費(fèi)用凈室軟件工程全文共43頁，當(dāng)前為第36頁。針對凈室技術(shù)形式化程度的裁剪CMM與凈室技術(shù)都不是萬能的。CMM提出的是完整的軟件開發(fā)和管理的過程，而凈室更多的是技術(shù)方面的支持。兩者相互一致并相互補(bǔ)充。將二者合理地結(jié)合，能夠獲得更高的軟件質(zhì)量、更低的開發(fā)成本，更高的生產(chǎn)效率和更長的軟件生命周期凈室軟件工程全文共43頁，當(dāng)前為第37頁。凈室過程的優(yōu)點(diǎn)特點(diǎn)小組開發(fā)的組織模式統(tǒng)計控制下的增量開發(fā)開發(fā)與測試并行進(jìn)行所起作用1）降低人員間的通信和協(xié)調(diào)2）減少對權(quán)威的依賴3）提高團(tuán)隊的開發(fā)能力4）小組評審盡早發(fā)現(xiàn)缺陷并顯著降低成本1）開發(fā)過程可預(yù)測2）開發(fā)進(jìn)度可見3）開發(fā)在智能控制下易于適應(yīng)需求的變化，促進(jìn)持續(xù)的求精1）開發(fā)階段就完成預(yù)防缺陷和修正缺陷的工作2）測試過程完全從用戶使用角度出發(fā)3）重視質(zhì)量的度量與反饋凈室軟件工程全文共43