凈室軟件工程

哈爾濱工業(yè)大學(xué)計算機(jī)學(xué)院凈室軟件工程(CSE)

CleanroomSoftwareEngineering“凈室”一詞源自半導(dǎo)體工業(yè)中硬件生產(chǎn)車間，通過嚴(yán)格、潔凈的生產(chǎn)過程預(yù)防了缺陷的產(chǎn)生，而不是在事后再去排除故障。借用這個詞，充分顯示了凈室技術(shù)“防患于未然”的主導(dǎo)思想凈室軟件工程（CSE）是一種應(yīng)用數(shù)學(xué)和統(tǒng)計學(xué)理論高效、經(jīng)濟(jì)地生產(chǎn)高質(zhì)量軟件的工程技術(shù)。力圖通過嚴(yán)格的工程化的軟件過程達(dá)到開發(fā)中的零缺陷或接近零缺陷凈室基本概念20世紀(jì)70年代末80年代初，資深數(shù)學(xué)家和IBM客座科學(xué)家HarlanMills闡述了將數(shù)學(xué)、統(tǒng)計學(xué)及工程學(xué)上的基本概念應(yīng)用到軟件的設(shè)想凈室軟件工程的發(fā)展兩大基本觀點促進(jìn)了Mills的工作：首先，程序是數(shù)學(xué)函數(shù)規(guī)則，其次，潛在的程序執(zhí)行是無窮的，質(zhì)量認(rèn)證必須進(jìn)行統(tǒng)計采樣第一個觀點使所有函數(shù)理論向軟件開發(fā)敞開大門，導(dǎo)致以下技術(shù)的產(chǎn)生：盒式結(jié)構(gòu)規(guī)范及設(shè)計、函數(shù)理論正確性檢驗及增量開發(fā)第二個觀點使所有統(tǒng)計理論在軟件測試方面得到應(yīng)用，導(dǎo)致了統(tǒng)計使用測試和質(zhì)量認(rèn)證第一項凈室軟件項目由IBM的RichardLinger于20世紀(jì)80年代中期負(fù)責(zé)實施。COBOL結(jié)構(gòu)化設(shè)施項目開發(fā)出一項商業(yè)軟件再工程產(chǎn)品，該產(chǎn)品顯示出了卓越的質(zhì)量水平及用戶使用可靠性，凈室方法得到了初步確認(rèn)1990年，RichardLinger創(chuàng)建了IBM凈室軟件技術(shù)中心20世紀(jì)90年代初，美國陸軍PicatinnyArsenal執(zhí)行了一個凈室項目，并在這個項目中獲得了20倍于引進(jìn)凈室技術(shù)所用的投資回報凈室軟件工程的發(fā)展1996年CarnegieMellon大學(xué)軟件工程研究所（SEI）完成了一個項目，該項目定義了凈室參考模型并將凈室的工程技術(shù)映射到CMM的管理過程中。這項工作的主要結(jié)論是凈室與CMM是兼容的、相互支持的凈室軟件工程的發(fā)展它致力于通過防止軟件缺陷來提高軟件質(zhì)量；它建立在嚴(yán)格的科學(xué)理論基礎(chǔ)上；它強(qiáng)調(diào)team-work和team-review；它的基本目標(biāo)是：開發(fā)過程的可管理性和使用時無失效凈室軟件工程的基本特點函數(shù)理論和抽樣理論函數(shù)理論一個函數(shù)定義了從定義域到值域的映射。一個特定的程序好似定義了一個從定義域（所有可能的輸入序列的集合）到值域（所有對應(yīng)于輸入的輸出集合）的映射。這樣，一個程序的規(guī)范就是一個函數(shù)的規(guī)范抽樣理論不可能對軟件的所有可能應(yīng)用都進(jìn)行測試。把軟件的所有可能的使用情況看作總體，通過統(tǒng)計學(xué)手段對其進(jìn)行抽樣，并對樣本進(jìn)行測試，根據(jù)測試結(jié)果分析軟件的性能和可靠性凈室軟件工程的理論基礎(chǔ)統(tǒng)計過程控制下的增量式開發(fā)（IncrementalDevelopment）：增量是最終軟件產(chǎn)品的功能子集基于函數(shù)的規(guī)范、設(shè)計：盒子結(jié)構(gòu)方法按照函數(shù)理論定義了三種抽象層次：行為視圖、有限狀態(tài)機(jī)視圖和過程視圖。規(guī)范從一個外部行為視圖（稱為黑盒）開始然后被轉(zhuǎn)化為一個狀態(tài)機(jī)視圖（稱為狀態(tài)盒）最后由一個過程視圖（明盒）來實現(xiàn)盒子結(jié)構(gòu)是基于對象的，并支持軟件工程的關(guān)鍵原則：信息隱藏和實現(xiàn)分離凈室軟件工程的技術(shù)手段正確性驗證：是CSE的核心，正是由于采用了這一技術(shù)，凈室項目的軟件質(zhì)量才有了極大的提高統(tǒng)計測試（StatisticallyBasedTesting）和軟件認(rèn)證：凈室測試方法采用統(tǒng)計學(xué)的基本原理，即當(dāng)總體太大時必須采取抽樣的方法。首先確定一個使用模型（usagemodel）來代表系統(tǒng)所有可能使用的（一般是無限的）總體。然后由使用模型產(chǎn)生測試用例。因為測試用例是總體的一個隨機(jī)樣本，所以可得到系統(tǒng)預(yù)期操作性能的有效的統(tǒng)計推導(dǎo)凈室軟件工程的技術(shù)手段凈室軟件工程的基本模型凈室軟件開發(fā)的基礎(chǔ)基于理論的(函數(shù)理論、統(tǒng)計理論)面向工作組的針對經(jīng)濟(jì)適用軟件的生產(chǎn)針對高質(zhì)量軟件的生產(chǎn)排除產(chǎn)品缺陷,引入價格有效和時間有效的構(gòu)造方法,在規(guī)約和設(shè)計中消除錯誤,以凈室方法制作凈室的組成項目規(guī)劃、項目管理、性能改善、工程變化結(jié)構(gòu)規(guī)范(概念、模塊、執(zhí)行)功能規(guī)范需求分析

使用規(guī)范

軟件再工程、增量設(shè)計、正確性驗證統(tǒng)計測試、認(rèn)證使用模型、測試規(guī)劃增量規(guī)劃用戶用戶評價的累計規(guī)范用戶評價的累計認(rèn)證增量系統(tǒng)工程需求收集盒結(jié)構(gòu)規(guī)格

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

需求收集盒結(jié)構(gòu)規(guī)格形式化設(shè)計正確性驗證代碼檢查測試計劃統(tǒng)計性使用測試認(rèn)證凈室技術(shù)-增量開發(fā)技術(shù)…增量開發(fā)的理論基礎(chǔ)基于引用透明性原理:一個表達(dá)式的值可用與其值相等的子表達(dá)式代替,如一個給定函數(shù)(規(guī)范)f能改進(jìn)為如下任何一種形式:dof1,f2enddoifpthenf1elsef2endifwhilepdof1enddo函數(shù)的合并對原函數(shù)f在數(shù)值影響上必須等價軟件增量開發(fā)的基礎(chǔ)在于為程序和程序部分制定數(shù)學(xué)函數(shù)規(guī)則(Linger、Mills和Witt,1979)

因此程序開發(fā)作為一種自頂向下的控制結(jié)構(gòu)或子函數(shù)(子規(guī)范)的函數(shù)改進(jìn)(規(guī)范)過程,將導(dǎo)致基于對象或函數(shù)分解,或二者的結(jié)合功能規(guī)范...增量規(guī)劃增量設(shè)計/驗證增量1設(shè)計/驗證使用規(guī)范增量測試與認(rèn)證增量2設(shè)計/驗證增量n設(shè)計/驗證產(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:用新的可重用樁組件部件代替樁組件凈室技術(shù)-基于函數(shù)規(guī)范的設(shè)計和驗證規(guī)范:從一個外部視圖(黑盒)開始轉(zhuǎn)化為一個狀態(tài)視圖(狀態(tài)盒),由一個過程視圖(明盒)來實現(xiàn)三個盒形式不同,但行為等價，稱為盒結(jié)構(gòu)狀態(tài)

變換狀態(tài)盒輸入S輸出R精化過程驗證過程狀態(tài)

BB1

BB2明盒SR盒結(jié)構(gòu)精化和驗證F=s*RR(response)SH（stimulusHistory）黑盒(所需行為)歷史激勵響應(yīng)黑盒規(guī)范的原則對系統(tǒng)擁有者和用戶:黑盒定義了他們分析和協(xié)商的所需行為對系統(tǒng)開發(fā)者:黑盒定義待設(shè)計和實現(xiàn)的所需行為對系統(tǒng)測試者:黑盒定義了在測試過程中待確認(rèn)的所需行為黑盒的組成基于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)前的<銷售額>后求平均狀態(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)狀態(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)品>的<銷售額值>但不能求平均值明盒是一個計算機(jī)程序或程序集將

(OS,S)(NS,R),借助過程實現(xiàn)明盒的過程可以重用己有的黑盒或在求精過程中引入新的黑盒明盒的正確性驗證是基于數(shù)學(xué)方法,證實一個過程與其規(guī)范相符盒子的層次結(jié)構(gòu)BB黑盒SB狀態(tài)盒CB白盒BBSBCBBBSBCBBBSBCB……盒子結(jié)構(gòu)原則

引用透明性(ReferentialTransparency)

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

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

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

對于多次用到的系統(tǒng)部分可定義共享服務(wù),創(chuàng)建重用機(jī)會凈室技術(shù)-統(tǒng)計測試和軟件認(rèn)證當(dāng)測試的規(guī)模太大時,要采取抽樣方法選擇一個模型(馬爾可夫模型、形式化語言等)代替使用的規(guī)模,然后用模型產(chǎn)生測試用例(測試用例是規(guī)模的一個隨機(jī)樣本),可以得到系統(tǒng)預(yù)期操作性能的有效統(tǒng)計推導(dǎo)盒子結(jié)構(gòu)開發(fā)過程

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

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

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

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

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

(5)對新黑盒重復(fù)上述過程CMM是軟件組織進(jìn)行軟件過程改進(jìn)以及評估和評價軟件能力的基準(zhǔn)。但在具體的過程改進(jìn)實施中，需要有效的軟件工程方法的支持凈室軟件工程正是為過程改進(jìn)提供了具體實施方法，它能夠及早發(fā)現(xiàn)并消除缺陷，顯著提高軟件的正確性、可靠性和可理解性，降低項目的成本，提高軟件質(zhì)量，延長軟件的生命周期凈室與CMM可將凈室軟件工程應(yīng)用到CMM的實踐中，從組織管理和技術(shù)工程實踐兩個方面改進(jìn)軟件過程，從而更加經(jīng)濟(jì)有效地提升軟件質(zhì)量在CMM中，關(guān)鍵實踐僅僅描述了應(yīng)該“做什么”，并沒有給出更沒有規(guī)定“如何”去具體操作，操作的方法和步驟可以由也必須由軟件組織自己去解決CMM只是對軟件組織過程改進(jìn)的指導(dǎo)，而非解決一切軟件開發(fā)過程中的問題的法寶。在實施CMM的過程中，仍然需要有效的軟件工程技術(shù)和方法，如“凈室軟件工程”方法的支持凈室與CMM需求管理

軟件項目計劃

項目跟蹤、監(jiān)控

軟件轉(zhuǎn)包合同管理

軟件質(zhì)量保證

軟件配置管理凈室與CMM五級CMM可重復(fù)級關(guān)鍵過程域主要凈室過程

需求分析

項目規(guī)劃項目管理項目管理

項目規(guī)劃、管理

項目規(guī)劃、管理、變更CMM己定義級關(guān)鍵過程域主要凈室過程組織過程焦點組織過程定義培訓(xùn)程序集成軟件管理軟件產(chǎn)品工程組織協(xié)調(diào)同級的評審

項目規(guī)劃、管理、性能改進(jìn)項目規(guī)劃、管理、性能改進(jìn)項目規(guī)劃、項目管理項目管理、項目管理

需求分析、功能、使用、結(jié)構(gòu)規(guī)范,增量規(guī)劃,變更,驗證等

項目規(guī)劃、項目管理所有過程,正確性驗證CMM可管理級關(guān)鍵過程域主要凈室過程定量過程管理軟件質(zhì)量管理項目規(guī)劃、管理、統(tǒng)計測試、認(rèn)證、性能改進(jìn)CMM優(yōu)化級關(guān)鍵過程域主要凈室過程正確性驗證、性能改進(jìn)性能改進(jìn)性能改進(jìn)缺陷防范技術(shù)變更管理過程變更管理基于CMM的凈室裁剪由于凈室過程和技術(shù)的優(yōu)點以及在軟件企業(yè)中實施所遇到的困難，有必要對凈室進(jìn)行基于CMM的裁剪基于CMM的裁剪原則裁剪必須符合凈室的基本原則（是凈室區(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)也不相同。超越自身成熟度的裁剪，不能發(fā)揮凈室的優(yōu)勢，卻可能帶來不可預(yù)測的風(fēng)險，低于自身成熟度的裁剪，達(dá)不到效果，反而浪費(fèi)了資源必須結(jié)合所開發(fā)的軟件的類型基于凈室的裁剪方法引入凈室的三個階段初始階段：首先要引入凈室小組開發(fā)的組織模式和質(zhì)量控制下的增量式生命周期模型，將開發(fā)與測試分離，建立起基本項目過程。結(jié)合自身能力，引入形式化程度較低的黑盒規(guī)范與驗證方法中級階段：加入更多必須的管理規(guī)范，明確定義自身的軟件過程。同時引入比較形式化的凈室規(guī)范和驗證技術(shù)，進(jìn)一步降低開發(fā)階段的缺陷率，提高軟件生產(chǎn)率。并根據(jù)需要進(jìn)行有限的統(tǒng)計測試高級階段：引入凈室統(tǒng)計測試技術(shù),很好地實現(xiàn)對質(zhì)量和性能的量化，為高層的決策提供可靠的數(shù)據(jù)依據(jù)針對凈室技術(shù)形式化程度的裁剪(1)對盒式規(guī)范技術(shù)的裁剪：黑盒規(guī)范對系統(tǒng)的外部可見行為做一個完整的定義，隱藏了軟件設(shè)計和實現(xiàn)的所有細(xì)節(jié)，適用于軟件開發(fā)的任何粒度中。規(guī)范的描述形式可以不同：自然語言、半形式化的規(guī)范語言、而嚴(yán)格的函數(shù)表達(dá)方法狀態(tài)盒規(guī)范是對系統(tǒng)內(nèi)部數(shù)據(jù)的描述，它的實現(xiàn)形式依賴于黑盒規(guī)范明盒規(guī)范是對黑盒與狀態(tài)盒逐步求精的實現(xiàn),最終形式便是源代碼。既可以是結(jié)構(gòu)化的，也可以是面向?qū)ο蟮?，不受開發(fā)方法和語言的限制針對凈室技術(shù)形式化程度的裁剪(2)對盒式規(guī)范驗證技術(shù)的裁剪：驗證過程基于非執(zhí)行的測試方法尋找并消除開發(fā)階段的缺陷。因盒式規(guī)范的形式化不同，驗證方法也有相應(yīng)變化。檢查方法簡單易行，但是不夠嚴(yán)格，基于潛在錯誤清單的審查方法有規(guī)范的步驟，是一種經(jīng)濟(jì)有效的錯誤檢測方法基于函數(shù)理論的正確性證明，要求在盒式規(guī)范過程中，建立明確的預(yù)期函數(shù)，這就要求盒式規(guī)范本身的形式化程度較高，此外要求評審人員有相應(yīng)的數(shù)學(xué)知識和專用CASE工具的支持(3)對統(tǒng)計測試技術(shù)的裁剪：規(guī)范和驗證階段采用的技術(shù)都不嚴(yán)格時，更需測試過程來保證產(chǎn)品發(fā)布前的低缺陷，以減少產(chǎn)品的維護(hù)費(fèi)用針對凈室技術(shù)形式化程度的裁剪CMM與凈室技術(shù)都不是萬能的。CMM提出的是完整的軟件開發(fā)和管理的過程，而凈室更多的是技術(shù)方面的支持。兩者相互一致并相互補(bǔ)充。將二者合理地結(jié)合，能夠獲得更高的軟件質(zhì)量、更低的開發(fā)成本，更高的生產(chǎn)效率和更長的軟件生命周期凈室過程的優(yōu)點特點小組開發(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ì)量的度量與反饋CSE太理論化，需要更多的數(shù)學(xué)知識。其正確性驗證的步驟比較困難且比較耗時CSE要求采用增量式開發(fā)、采用盒子結(jié)構(gòu)、采用統(tǒng)計測試方法，普通工程師必須經(jīng)過加強(qiáng)訓(xùn)練才能掌握CSE開發(fā)小組不進(jìn)行傳統(tǒng)的模塊測試，這是不現(xiàn)實的。工程師可能對編程語言和開發(fā)環(huán)境還不熟悉，而且編譯器或操作系統(tǒng)的bug也可能導(dǎo)致未預(yù)期的錯誤CSE畢竟脫胎于傳統(tǒng)軟件工程，不可避免地帶有傳統(tǒng)軟件工程的一些弊端凈室軟件工程的缺點凈室過程中的關(guān)鍵技術(shù)分析關(guān)鍵技術(shù)優(yōu)點缺點盒式結(jié)構(gòu)的規(guī)范方法促進(jìn)對需求的明確和理解，利于復(fù)用，規(guī)范的文檔，便于驗證嚴(yán)格的形式化語言描述規(guī)范,難以掌握和使用，需要專有的CASE工具的支持，用戶難以理解；初期投入大,回報慢基于數(shù)學(xué)理論的正確性驗證盡早發(fā)現(xiàn)并消除缺陷，提高質(zhì)量,顯著降低成本對一般軟件來說，代價太昂貴；正確性證明難以尋找合適的預(yù)期函數(shù)規(guī)范使用模型的建立和統(tǒng)計測試與認(rèn)證從用戶使用角度出發(fā)，利于需求的理解和對開發(fā)人員的反饋，實現(xiàn)對質(zhì)量和性能的量化使用模型不易建立；需要統(tǒng)計學(xué)知識和CASE工具的支持;需要其他測試方法的補(bǔ)充凈室軟件工程方法的效果愛立信公司在手機(jī)操作系統(tǒng)OS32的開發(fā)中引入了經(jīng)過裁剪的凈室技術(shù)。73人以個人或組際(teamofteams)的方式工作了33個月，通過15個增量過程開發(fā)了約33萬行代碼以通信業(yè)廣泛使用的SDL語言完成盒式規(guī)范；使用了小組評審技術(shù)，但沒有進(jìn)行正確性證明；建立了使用模型，但只進(jìn)行了很有限的統(tǒng)計測試這個項目取得了令人滿意的結(jié)果：集成和測試的時間減少了，缺陷率比預(yù)期低了50%，而生產(chǎn)率則提高了70%以上。這足以說明，通過合理裁剪的凈室技術(shù)是能夠非常有效地預(yù)防缺陷，提高軟件質(zhì)量和生產(chǎn)率的凈室軟件工程:(CleanroomSoftwareEngineering)

是一種基于理論(函數(shù)理論、統(tǒng)計理論)、面向工作組的方法是針對經(jīng)濟(jì)適用軟件生產(chǎn)、針對高質(zhì)量軟件的生產(chǎn)、排除產(chǎn)品缺陷,引入價格有效和時間有效的構(gòu)造方法凈室軟件工程在規(guī)約和設(shè)計中消除錯誤,以凈室方法制作小結(jié)凈室過程強(qiáng)調(diào)在規(guī)約和設(shè)計上的嚴(yán)密性,使用基于數(shù)學(xué)的正確性證明來對結(jié)果設(shè)計模型的每個元素進(jìn)行形式化驗證凈室方法強(qiáng)調(diào)統(tǒng)計質(zhì)量控制技術(shù),包括客戶對軟件預(yù)期使用的測試凈室軟件工程通過使用盒結(jié)構(gòu)規(guī)約的方法來遵從操作分析原則敏捷軟件開發(fā)強(qiáng)調(diào)人的作用人與人之間的交互是復(fù)雜的，并且效果從來都難以預(yù)測,但卻是工作中最為重要的方面原則(principle)、模式(pattern)和實踐(practice)都是重要的,但是使它們發(fā)揮作用的是人1)敏捷聯(lián)盟敏捷軟件開發(fā)宣言:

個體和交互勝過過程和工具可以工作的軟件勝過面面俱到的文檔客戶合作勝過合同談判響應(yīng)變化勝過遵循計劃

2)原則

(1)盡早、持續(xù)的交付有價值的軟件

(2)歡迎改變需求

(3)開發(fā)人員在一起工作

(4)提供需要的環(huán)境支持

(5)面對面的交談

(6)用工作的軟件進(jìn)行進(jìn)度度量

(7)可持續(xù)的開發(fā)速度

(8)關(guān)注優(yōu)秀的技能和好的設(shè)計

(9)簡單

(10)最好的構(gòu)件、需求和設(shè)計出自于自組織的團(tuán)隊3)極限編程(extremeprogramming)XP是一種經(jīng)過實踐考驗的輕量級軟件開發(fā)方法學(xué)XP強(qiáng)調(diào)軟件開發(fā)模型由四個變量組成成本時間質(zhì)量范圍

XP的四個準(zhǔn)則:四個基本活動通信-編碼簡化-測試反饋-傾聽勇氣-設(shè)計例“Copy”程序CopyReadKeyboardWritePrinterCopy程序結(jié)構(gòu)圖VoidCopy（）{intc;While((c=Rdkbd())!=EOF)))Wrtprt(c);}需求變化:程序從紙帶讀入機(jī)中讀入信息方法:增加一個boolean變量,若值為true,從紙帶讀入機(jī)中讀取信息；若值為false，從鍵盤讀取信息。導(dǎo)致接口改變,不可取增加全局變量，使用c語言特性?:操作符!

修改后的程序為:boolptFlag=false;voidCopy(){intc;while((c=(ptFlag?Rdpt():Rdkbd()))!=EOF))