軟件工程軟件開(kāi)發(fā)模型lyh

第二章軟件開(kāi)發(fā)模型§2.1軟件生存周期§2.2傳統(tǒng)軟件開(kāi)發(fā)模型§2.3軟件演化模型§2.4面向?qū)ο箝_(kāi)發(fā)模型§2.5形式化方法模型教學(xué)內(nèi)容：教學(xué)目的：初步了解軟件的生存周期模型，軟件生存期各個(gè)階段的特點(diǎn)和內(nèi)容1軟件工程軟件開(kāi)發(fā)模型lyh軟件有一個(gè)孕育、誕生、成長(zhǎng)、成熟、衰亡的生存過(guò)程。這個(gè)過(guò)程即為軟件的生存期軟件生存期包含三個(gè)階段：軟件定義、軟件開(kāi)發(fā)及軟件運(yùn)行維護(hù)。軟件生存期模型是軟件工程思想的具體化，是跨越軟件生存期的系統(tǒng)開(kāi)發(fā)、運(yùn)行、維護(hù)所實(shí)施的全部活動(dòng)和任務(wù)的過(guò)程框架。軟件生存期一般劃分為計(jì)劃、開(kāi)發(fā)、運(yùn)行三個(gè)時(shí)期，每一個(gè)時(shí)期又區(qū)分為若干個(gè)階段。計(jì)劃時(shí)期有問(wèn)題定義和可行性研究?jī)蓚€(gè)階段；開(kāi)發(fā)時(shí)期有需求分析、系統(tǒng)設(shè)計(jì)、編碼和測(cè)試4個(gè)階段；運(yùn)行時(shí)期主要是系統(tǒng)維護(hù)階段。2軟件工程軟件開(kāi)發(fā)模型lyh軟件生存周期計(jì)劃時(shí)期的主要任務(wù)是調(diào)查和分析：調(diào)查用戶(hù)需求，分析新系統(tǒng)的主要目標(biāo)，分析開(kāi)發(fā)該系統(tǒng)的可行性。開(kāi)發(fā)時(shí)期要完成設(shè)計(jì)和實(shí)現(xiàn)兩個(gè)任務(wù)。其中設(shè)計(jì)任務(wù)用需求分析、軟件設(shè)計(jì)兩個(gè)階段完成，實(shí)現(xiàn)任務(wù)用編碼和測(cè)試來(lái)完成。運(yùn)行時(shí)期的主要任務(wù)是做好軟件的維護(hù)。軟件生存周期模型是描述軟件開(kāi)發(fā)過(guò)程中各種活動(dòng)如何執(zhí)行的模型。3軟件工程軟件開(kāi)發(fā)模型lyh2.2傳統(tǒng)軟件開(kāi)發(fā)模型“What——How——Change”概括了軟件開(kāi)發(fā)活動(dòng)（定義、開(kāi)發(fā)、維護(hù)）中的主要特征。傳統(tǒng)的軟件開(kāi)發(fā)模型主要有瀑布模型與快速原型模型。4軟件工程軟件開(kāi)發(fā)模型lyh2.2.1瀑布模型需求定義系統(tǒng)與軟件設(shè)計(jì)集成與系統(tǒng)測(cè)試實(shí)現(xiàn)與單元測(cè)試運(yùn)行與維護(hù)各項(xiàng)活動(dòng)按自上而下，相互銜接的固定次序，如同瀑布逐級(jí)下落。每項(xiàng)活動(dòng)均處于一個(gè)質(zhì)量環(huán)（輸入-處理-輸出-評(píng)審）中。5軟件工程軟件開(kāi)發(fā)模型lyh制定計(jì)劃確定要開(kāi)發(fā)軟件系統(tǒng)的總目標(biāo)；給出功能、性能、可靠性以及接口等方面的要求；完成該軟件任務(wù)的可行性研究；估計(jì)可利用的資源(硬件，軟件，人力等)、成本、效益、開(kāi)發(fā)進(jìn)度；制定出完成開(kāi)發(fā)任務(wù)的實(shí)施計(jì)劃，連同可行性研究報(bào)告，提交管理部門(mén)審查。6軟件工程軟件開(kāi)發(fā)模型lyh需求分析和定義對(duì)用戶(hù)提出的要求進(jìn)行分析并給出詳細(xì)的定義；編寫(xiě)軟件需求說(shuō)明書(shū)或系統(tǒng)功能說(shuō)明書(shū)及初步的系統(tǒng)用戶(hù)手冊(cè)；提交管理機(jī)構(gòu)評(píng)審。7軟件工程軟件開(kāi)發(fā)模型lyh軟件設(shè)計(jì)概要設(shè)計(jì)—把各項(xiàng)需求轉(zhuǎn)換成軟件的體系結(jié)構(gòu)。結(jié)構(gòu)中每一組成部分都是意義明確的模塊，每個(gè)模塊都和某些需求相對(duì)應(yīng)；詳細(xì)設(shè)計(jì)—對(duì)每個(gè)模塊要完成的工作進(jìn)行具體的描述，為源程序編寫(xiě)打下基礎(chǔ)；編寫(xiě)設(shè)計(jì)說(shuō)明書(shū)，提交評(píng)審。8軟件工程軟件開(kāi)發(fā)模型lyh程序編寫(xiě)把軟件設(shè)計(jì)轉(zhuǎn)換成計(jì)算機(jī)可以接受的程序代碼，即寫(xiě)成以某一種特定程序設(shè)計(jì)語(yǔ)言表示的“源程序清單”；寫(xiě)出的程序應(yīng)當(dāng)是結(jié)構(gòu)良好、清晰易讀的，且與設(shè)計(jì)相一致的。9軟件工程軟件開(kāi)發(fā)模型lyh軟件測(cè)試單元測(cè)試，查找各模塊在功能和結(jié)構(gòu)上存在的問(wèn)題并加以糾正；組裝測(cè)試，將已測(cè)試過(guò)的模塊按一定順序組裝起來(lái)；按規(guī)定的各項(xiàng)需求，逐項(xiàng)進(jìn)行有效性測(cè)試，決定已開(kāi)發(fā)的軟件是否合格，能否交付用戶(hù)使用。10軟件工程軟件開(kāi)發(fā)模型lyh運(yùn)行／維護(hù)糾正性維護(hù)運(yùn)行中發(fā)現(xiàn)了軟件中的錯(cuò)誤需要修正；適應(yīng)性維護(hù)為了適應(yīng)變化了的軟件工作環(huán)境，需做適當(dāng)變更；完善性維護(hù)為了增強(qiáng)軟件的功能需做變更。預(yù)防性維護(hù)11軟件工程軟件開(kāi)發(fā)模型lyh

按照傳統(tǒng)瀑布模型開(kāi)發(fā)軟件的特點(diǎn)

1.階段間具有順序性和依賴(lài)性。2.推遲實(shí)現(xiàn)的觀(guān)點(diǎn)。3.每個(gè)階段必須完成規(guī)定的文檔;每個(gè)階段結(jié)束前完成文檔審查,及早改正錯(cuò)誤。軟件工程軟件開(kāi)發(fā)模型lyh傳統(tǒng)瀑布模型開(kāi)發(fā)軟件帶來(lái)的問(wèn)題：過(guò)程基本不可迭代需求在開(kāi)始的不確定性錯(cuò)誤到最后才能發(fā)現(xiàn)開(kāi)發(fā)進(jìn)程呈現(xiàn)塞阻狀態(tài)13軟件工程軟件開(kāi)發(fā)模型lyh軟件生存期循環(huán)14軟件工程軟件開(kāi)發(fā)模型lyh2.2.2快速原型模型快速原型模型（RapidPrototypeModel）的主要做法是：首先建立一個(gè)能夠反映用戶(hù)主要需求的原型，讓用戶(hù)實(shí)際看一看未來(lái)系統(tǒng)的概貌，以便判斷哪些功能是符合需要的，哪些方面還需要改進(jìn)?？焖僭拖到y(tǒng)的優(yōu)越性主要體現(xiàn)在：軟件開(kāi)發(fā)人員向用戶(hù)提供一個(gè)“樣品”，用戶(hù)向開(kāi)發(fā)人員迅速作出“反饋”。15軟件工程軟件開(kāi)發(fā)模型lyh快速原型模型圖示用戶(hù)測(cè)試，運(yùn)行原型建造修改/原型聽(tīng)取用戶(hù)意見(jiàn)16軟件工程軟件開(kāi)發(fā)模型lyh原型模型

原型產(chǎn)生步驟17軟件工程軟件開(kāi)發(fā)模型lyh如何產(chǎn)生快速原型系統(tǒng)？原型系統(tǒng)僅包括未來(lái)系統(tǒng)的主要功能，以及系統(tǒng)的重要接口。為了盡快向用戶(hù)提供原型，開(kāi)發(fā)原型系統(tǒng)時(shí)應(yīng)盡量使用能縮短開(kāi)發(fā)周期的語(yǔ)言和工具。把原型系統(tǒng)作為基礎(chǔ)，通過(guò)補(bǔ)充與修改獲得最終的實(shí)際系統(tǒng)。18軟件工程軟件開(kāi)發(fā)模型lyh快速原型模型帶來(lái)的問(wèn)題：需要足夠的人力資源?用戶(hù)和設(shè)計(jì)都成為關(guān)鍵適用于MIS形式的系統(tǒng)19軟件工程軟件開(kāi)發(fā)模型lyh

2.3軟件演化模型

傳統(tǒng)開(kāi)發(fā)模型共同特征：線(xiàn)性思維而大部分復(fù)雜軟件采用漸增式或迭代的開(kāi)發(fā)方法，它們屬于軟件演化模型。軟件工程軟件開(kāi)發(fā)模型lyh演化模型由于在項(xiàng)目開(kāi)發(fā)的初始階段人們對(duì)軟件的需求認(rèn)識(shí)常常不夠清晰，因而使得開(kāi)發(fā)項(xiàng)目難于做到一次開(kāi)發(fā)成功，出現(xiàn)返工再開(kāi)發(fā)在所難免。做兩次；第一次只是試驗(yàn)開(kāi)發(fā)，其目標(biāo)只是在于探索可行性，弄清軟件需求；第二次則在此基礎(chǔ)上獲得較為滿(mǎn)意的軟件產(chǎn)品。21軟件工程軟件開(kāi)發(fā)模型lyh演化模型需求的采集與細(xì)化客戶(hù)評(píng)價(jià)原型快速設(shè)計(jì)建造原型加工原型產(chǎn)生樣品停止開(kāi)始先開(kāi)發(fā)一個(gè)“原型”軟件，完成部分主要功能，展示給用戶(hù)并征求意見(jiàn)，然后逐步完善，最終獲得滿(mǎn)意的軟件產(chǎn)品。22軟件工程軟件開(kāi)發(fā)模型lyh演化模型增量模型(IncrementalModel)螺旋模型(SprialModel)

23軟件工程軟件開(kāi)發(fā)模型lyh

1.增量模型(遞增模型)

先完成一個(gè)系統(tǒng)子集的開(kāi)發(fā)，再按同樣的開(kāi)發(fā)步驟增加功能(系統(tǒng)子集),如此遞增下去直至滿(mǎn)足全部系統(tǒng)需求。系統(tǒng)的總體設(shè)計(jì)在初始子集設(shè)計(jì)階段就應(yīng)作出設(shè)想。軟件工程軟件開(kāi)發(fā)模型lyh增量演化模型分析設(shè)計(jì)編碼測(cè)試分析設(shè)計(jì)編碼測(cè)試分析設(shè)計(jì)編碼測(cè)試分析設(shè)計(jì)編碼測(cè)試增量2增量3增量4增量1第1個(gè)增量的發(fā)布第2個(gè)增量的發(fā)布第3個(gè)增量的發(fā)布第4增量的發(fā)布要點(diǎn)：?順序過(guò)程和原型過(guò)程相結(jié)合?強(qiáng)調(diào)版本升級(jí)?每個(gè)版本的開(kāi)發(fā)遵循順序過(guò)程

25軟件工程軟件開(kāi)發(fā)模型lyh增量模型把軟件產(chǎn)品分解成一系列的增量構(gòu)件，在增量開(kāi)發(fā)迭代中逐步加入。每個(gè)構(gòu)件由多個(gè)相互作用的模塊構(gòu)成，并且能夠完成特定的功能。增量開(kāi)發(fā)方法的新演進(jìn)版本叫做“極限程序設(shè)計(jì)（eXtremeProgramming）”。

定義基本需求將需求賦予增量構(gòu)件設(shè)計(jì)系統(tǒng)體系結(jié)構(gòu)開(kāi)發(fā)增量構(gòu)件確認(rèn)增量構(gòu)件集成增量構(gòu)件確認(rèn)系統(tǒng)26軟件工程軟件開(kāi)發(fā)模型lyh2.螺旋模型結(jié)合瀑布模型與快速原型的基礎(chǔ)上增加了風(fēng)險(xiǎn)分析軟件工程軟件開(kāi)發(fā)模型lyh螺旋模型

螺旋模型沿著螺線(xiàn)旋轉(zhuǎn)，在四個(gè)象限上分別表達(dá)四個(gè)方面的活動(dòng)，即：制定計(jì)劃確定軟件目標(biāo)，選定實(shí)施方案，弄清項(xiàng)目開(kāi)發(fā)的限制條件；風(fēng)險(xiǎn)分析分析所選方案，考慮如何識(shí)別和消除風(fēng)險(xiǎn)；實(shí)施工程實(shí)施軟件開(kāi)發(fā)客戶(hù)評(píng)估評(píng)價(jià)開(kāi)發(fā)，提出修正建議。28軟件工程軟件開(kāi)發(fā)模型lyh螺旋模型決定目標(biāo)、方案和限制評(píng)價(jià)方案、識(shí)別風(fēng)險(xiǎn)、弱化風(fēng)險(xiǎn)開(kāi)發(fā)、驗(yàn)證、下一級(jí)產(chǎn)品

計(jì)劃下一階段集成測(cè)試29軟件工程軟件開(kāi)發(fā)模型lyh風(fēng)險(xiǎn)分析工程構(gòu)造及發(fā)布用戶(hù)評(píng)估客戶(hù)交流計(jì)劃項(xiàng)目入口螺旋模型軸線(xiàn)與增量模型的區(qū)別：?活動(dòng)劃分不同?更強(qiáng)調(diào)“計(jì)劃”、“風(fēng)險(xiǎn)分析”和“用戶(hù)評(píng)估”?版本有更明確的目標(biāo)

要點(diǎn)：相似于增量模型，是順序過(guò)程與原型過(guò)程的統(tǒng)一，強(qiáng)調(diào)版本和版本升級(jí)。

版本的明確目標(biāo)：概念項(xiàng)目→增量項(xiàng)目→維護(hù)項(xiàng)目30軟件工程軟件開(kāi)發(fā)模型lyh螺旋模型螺旋模型將瀑布模型與快速原形模型結(jié)合起來(lái)，并且加入兩種模型均忽略了的風(fēng)險(xiǎn)分析。螺旋模型沿著螺線(xiàn)旋轉(zhuǎn)，自?xún)?nèi)向外每旋轉(zhuǎn)一圈便開(kāi)發(fā)出更完善的一個(gè)新版本。

31軟件工程軟件開(kāi)發(fā)模型lyh2.4面向?qū)ο竽Ｐ蜑槭裁匆朊嫦驅(qū)ο蟮脑O(shè)計(jì)方法面向?qū)ο蟮脑O(shè)計(jì)方法與面向過(guò)程的設(shè)計(jì)方法有什么關(guān)系軟件工程軟件開(kāi)發(fā)模型lyh面向過(guò)程程序設(shè)計(jì)缺點(diǎn)的根源在于數(shù)據(jù)與數(shù)據(jù)處理分離。面向?qū)ο蟪绦蛟O(shè)計(jì)模擬自然界認(rèn)識(shí)和處理事物的方法，將數(shù)據(jù)和對(duì)數(shù)據(jù)的操作方法放在一起，形成一個(gè)相對(duì)獨(dú)立的整體——對(duì)象（object），同類(lèi)對(duì)象還可抽象出共性，形成類(lèi)（class）。一個(gè)類(lèi)中的數(shù)據(jù)通常只能通過(guò)本類(lèi)提供的方法進(jìn)行處理，這些方法成為該類(lèi)與外部的接口。對(duì)象之間通過(guò)消息（message）進(jìn)行通訊。33軟件工程軟件開(kāi)發(fā)模型lyh對(duì)象（object）類(lèi)（class）消息（message）1基本概念34軟件工程軟件開(kāi)發(fā)模型lyh屬性行為表針旋鈕其他機(jī)械機(jī)構(gòu)調(diào)節(jié)旋鈕對(duì)象1基本概念35軟件工程軟件開(kāi)發(fā)模型lyh類(lèi)是一個(gè)抽象的概念，用來(lái)描述某一類(lèi)對(duì)象所共有的、本質(zhì)的屬性和行為。

手表一塊手表類(lèi)對(duì)象描述這類(lèi)對(duì)象共有的、本質(zhì)的屬性和行為類(lèi)的一個(gè)具體實(shí)現(xiàn)，稱(chēng)為實(shí)例手表共有的屬性（表針、旋鈕、內(nèi)部結(jié)構(gòu)）和行為（調(diào)節(jié)旋鈕）具體到一只圓形的或方形的手表類(lèi)1基本概念36軟件工程軟件開(kāi)發(fā)模型lyh我們把對(duì)象之間產(chǎn)生相互作用所傳遞的信息稱(chēng)做消息。

消息啟動(dòng)發(fā)送消息接收并響應(yīng)消息1基本概念37軟件工程軟件開(kāi)發(fā)模型lyh消息我們把對(duì)象之間產(chǎn)生相互作用所傳遞的信息稱(chēng)做消息。

發(fā)送消息接收并響應(yīng)消息轉(zhuǎn)向1基本概念38軟件工程軟件開(kāi)發(fā)模型lyh面向?qū)ο筌浖_(kāi)發(fā)的根本合理性在于它符合客觀(guān)世界的組成方式和大腦的思維方式。在大型程序開(kāi)發(fā)過(guò)程中，編碼只是其中很小一部分，應(yīng)當(dāng)采用工程化的方法，并將面向?qū)ο蟮乃枷胴灤┯谲浖_(kāi)發(fā)全過(guò)程，這就是面向?qū)ο蟮能浖こ獭Ｃ嫦鄬?duì)象的軟件工程同樣遵循分層抽象、逐步細(xì)化的原則。軟件開(kāi)發(fā)過(guò)程包括以下五個(gè)階段：2面向?qū)ο蟮能浖_(kāi)發(fā)方法39軟件工程軟件開(kāi)發(fā)模型lyh測(cè)試的任務(wù)在于發(fā)現(xiàn)并改正程序中的錯(cuò)誤。面向?qū)ο蟮姆治觯∣OA）面向?qū)ο蟮脑O(shè)計(jì)（OOD）面向?qū)ο蟮木幊蹋∣OP）面向?qū)ο蟮臏y(cè)試（OOT）分析階段的主要任務(wù)是按照面向?qū)ο蟮母拍詈头椒?，從?wèn)題中識(shí)別出有意義的對(duì)象，以及對(duì)象的屬性、行為和對(duì)象間的通信，進(jìn)而抽象出類(lèi)結(jié)構(gòu)，最終將它們描述出來(lái)，形成一個(gè)需求模型。設(shè)計(jì)階段從需求模型出發(fā)，分別進(jìn)行類(lèi)的設(shè)計(jì)和應(yīng)用程序的設(shè)計(jì)。編程階段實(shí)現(xiàn)由設(shè)計(jì)表示到面向?qū)ο蟪绦蛟O(shè)計(jì)語(yǔ)言描述的轉(zhuǎn)換。面向?qū)ο蟮木S護(hù)（OOSM）2面向?qū)ο蟮能浖_(kāi)發(fā)方法40軟件工程軟件開(kāi)發(fā)模型lyh封裝性(2)繼承與派生性(3)多態(tài)性3

“面向?qū)ο蟆背绦蛟O(shè)計(jì)的特點(diǎn)41軟件工程軟件開(kāi)發(fā)模型lyh封裝性?xún)?nèi)外機(jī)械零件動(dòng)作調(diào)節(jié)旋鈕讀表盤(pán)對(duì)象是一個(gè)封裝體，在其中封裝了該對(duì)象的屬性和操作。通過(guò)限制對(duì)屬性和操作的訪(fǎng)問(wèn)權(quán)限，可以將屬性“隱藏”在對(duì)象內(nèi)部，對(duì)外提供一定的接口，在對(duì)象之外只能通過(guò)接口對(duì)對(duì)象進(jìn)行操作。封裝性增加了對(duì)象的獨(dú)立性，從而保證了數(shù)據(jù)的可靠性。一個(gè)定義完好的類(lèi)可以作為獨(dú)立模塊使用。3

“面向?qū)ο蟆背绦蛟O(shè)計(jì)的特點(diǎn)42軟件工程軟件開(kāi)發(fā)模型lyh汽車(chē)客車(chē)貨車(chē)小轎車(chē)大客車(chē)載貨載人小，速度快大，速度慢繼承與派生以汽車(chē)為例看客觀(guān)世界描述事物的方式：當(dāng)定義了一個(gè)類(lèi)后，又需定義一個(gè)新類(lèi)，這個(gè)新類(lèi)與原來(lái)的類(lèi)相比，只是增加或修改了部分屬性和操作，這時(shí)可以用原來(lái)的類(lèi)派生出新類(lèi)，新類(lèi)中只需描述自己所特有的屬性和操作。面向?qū)ο蟪绦蛟O(shè)計(jì)提供了類(lèi)似的機(jī)制

繼承性大大簡(jiǎn)化了對(duì)問(wèn)題的描述，大大提高了程序的可重用性，從而提高了程序設(shè)計(jì)、修改、擴(kuò)充的效率。新類(lèi)稱(chēng)為子類(lèi)或派生類(lèi)，原來(lái)的類(lèi)稱(chēng)為基類(lèi)。派生可以一直進(jìn)行下去，形成一個(gè)派生樹(shù)。3

“面向?qū)ο蟆背绦蛟O(shè)計(jì)的特點(diǎn)43軟件工程軟件開(kāi)發(fā)模型lyh語(yǔ)文、數(shù)學(xué)、英語(yǔ)、政治、物理、化學(xué)、生物多態(tài)性多態(tài)性指，同一個(gè)消息被不同對(duì)象接收時(shí)，產(chǎn)生不同結(jié)果，即實(shí)現(xiàn)同一接口，不同方法。高中生計(jì)算平均成績(jī)3

“面向?qū)ο蟆背绦蛟O(shè)計(jì)的特點(diǎn)計(jì)算平均成績(jī)大學(xué)生高數(shù)、英語(yǔ)、計(jì)算機(jī)、線(xiàn)性代數(shù)44軟件工程軟件開(kāi)發(fā)模型lyh繼承和多態(tài)性組合，可以生成很多相似但又獨(dú)一無(wú)二的對(duì)象。繼承性使得這些對(duì)象可以共享許多相似特性，而多態(tài)又使同一個(gè)操作對(duì)不同對(duì)象產(chǎn)生不同表現(xiàn)形式。這樣不僅提高了程序設(shè)計(jì)的靈活性，而且減輕了分別設(shè)計(jì)的負(fù)擔(dān)。3

“面向?qū)ο蟆背绦蛟O(shè)計(jì)的特點(diǎn)45軟件工程軟件開(kāi)發(fā)模型lyh

面向?qū)ο竽Ｐ蛧娙Ｐ?FountainModel)可重用部件組裝模型(構(gòu)件集成模型ComponentIntegrationModel)46軟件工程軟件開(kāi)發(fā)模型lyh噴泉模型體現(xiàn)了迭代和無(wú)間隙的特性。系統(tǒng)某個(gè)部分常常重復(fù)工作多次，相關(guān)對(duì)象在每次迭代中隨之加入演進(jìn)的軟件成分。無(wú)間隙是指在各項(xiàng)開(kāi)發(fā)活動(dòng)，即分析、設(shè)計(jì)和編碼之間不存在明顯的邊界。噴泉模型是對(duì)象驅(qū)動(dòng)的過(guò)程。

47軟件工程軟件開(kāi)發(fā)模型lyh需求階段分析階段設(shè)計(jì)階段編程階段集成與測(cè)試階段維護(hù)與演進(jìn)階段要點(diǎn)：?體現(xiàn)認(rèn)識(shí)事物的往返過(guò)程?開(kāi)發(fā)活動(dòng)之間的無(wú)間隙性和循環(huán)迭代性?適用于面向?qū)ο蟮拈_(kāi)發(fā)過(guò)程?強(qiáng)調(diào)無(wú)明顯的活動(dòng)階段劃分48軟件工程軟件開(kāi)發(fā)模型lyh可重用部件組裝模型(構(gòu)件集成模型)構(gòu)件集成模型產(chǎn)生的可能性：

經(jīng)過(guò)適當(dāng)設(shè)計(jì)和實(shí)現(xiàn)的類(lèi)也可以稱(chēng)為構(gòu)件，他們?cè)谀硞€(gè)領(lǐng)域中具有一定的通用性，可以在不同的計(jì)算機(jī)軟件系統(tǒng)中復(fù)用。將這些構(gòu)件儲(chǔ)存起來(lái)變成一個(gè)構(gòu)件庫(kù)，就為基于構(gòu)件的軟件開(kāi)發(fā)模型提供了技術(shù)基礎(chǔ)。軟件工程軟件開(kāi)發(fā)模型lyh基于構(gòu)件的開(kāi)發(fā)技術(shù)構(gòu)件庫(kù)問(wèn)題域識(shí)別構(gòu)件查找構(gòu)件生成構(gòu)件組裝系統(tǒng)查到構(gòu)件未查到構(gòu)件要點(diǎn)：?基于軟件復(fù)用性?形成統(tǒng)一開(kāi)發(fā)過(guò)程?產(chǎn)生統(tǒng)一建模語(yǔ)言50軟件工程軟件開(kāi)發(fā)模型lyh可重用部件組裝模型(構(gòu)件集成模型)構(gòu)件(components)：可重用的軟件成份可復(fù)用性（Reusability）集成化軟件開(kāi)發(fā)環(huán)境（ISEE）51軟件工程軟件開(kāi)發(fā)模型lyh可重用部件組裝模型(構(gòu)件集成模型)

它融合了螺旋模型的很多特征，支持軟件開(kāi)發(fā)的迭代方法52軟件工程軟件開(kāi)發(fā)模型lyh可重用部件組裝模型用戶(hù)通信計(jì)劃產(chǎn)品開(kāi)發(fā)及發(fā)布用戶(hù)評(píng)估風(fēng)險(xiǎn)分析標(biāo)志候選構(gòu)件查找構(gòu)件若存在則提取構(gòu)件若不存在則構(gòu)造構(gòu)件進(jìn)行下一次迭代將新構(gòu)件存入庫(kù)中軟件工程軟件開(kāi)發(fā)模型lyh2.5形式化方法模型轉(zhuǎn)換模型(TransformationalModel)凈室模型(CleanroomModel)軟件工程軟件開(kāi)發(fā)模型lyh轉(zhuǎn)換模型

結(jié)合形式化軟件開(kāi)發(fā)方法和程序自動(dòng)生成技術(shù)的一種軟件開(kāi)發(fā)模型。

它用嚴(yán)格的、數(shù)學(xué)的表示體系來(lái)表示軟件規(guī)格說(shuō)明，然后進(jìn)行一系列自動(dòng)或半自動(dòng)的程序變換，最后轉(zhuǎn)換為計(jì)算機(jī)系統(tǒng)能夠接受的目標(biāo)程序系統(tǒng)。55軟件工程軟件開(kāi)發(fā)模型lyh轉(zhuǎn)換模型形式化規(guī)格說(shuō)明與需求比較后修正形式化開(kāi)發(fā)記錄變換n變換2變換1測(cè)試系統(tǒng)需求目標(biāo)系統(tǒng)…軟件工程軟件開(kāi)發(fā)模型lyh

形式化規(guī)格語(yǔ)言及其變換技術(shù)基于模型的規(guī)格說(shuō)明及其變換技術(shù)基于代數(shù)結(jié)構(gòu)及其變換技術(shù)基于時(shí)序邏輯的規(guī)格說(shuō)明和驗(yàn)證技術(shù)基于可視形式化技術(shù)軟件工程軟件開(kāi)發(fā)模型lyh2.凈室模型(形式化的增量開(kāi)發(fā)模型)基于思想：

力求在分析和設(shè)計(jì)階段就消除錯(cuò)誤，確保正確，然后在無(wú)缺陷或“潔凈”的狀態(tài)下實(shí)現(xiàn)軟件的制作。三個(gè)關(guān)鍵技術(shù)：置于統(tǒng)計(jì)過(guò)程控制之下的增量開(kāi)發(fā)；基于函數(shù)的規(guī)范、設(shè)計(jì)、驗(yàn)證；統(tǒng)計(jì)測(cè)試和軟件認(rèn)證。軟件工程軟件開(kāi)發(fā)模型lyh凈室模型盒結(jié)構(gòu)規(guī)約需求收集形式化設(shè)計(jì)正確性驗(yàn)證代碼檢查測(cè)試計(jì)劃統(tǒng)計(jì)性使用測(cè)試驗(yàn)證增量#1盒結(jié)構(gòu)規(guī)約需求收集形式化設(shè)計(jì)正確性驗(yàn)證代碼檢查測(cè)試計(jì)劃統(tǒng)計(jì)性使用測(cè)試驗(yàn)證增量#2盒結(jié)構(gòu)規(guī)約需求收集形式化設(shè)計(jì)正確性驗(yàn)證代碼檢查測(cè)試計(jì)劃統(tǒng)計(jì)性使用測(cè)試驗(yàn)證增量#1............軟件工程軟件開(kāi)發(fā)模型lyh新的開(kāi)發(fā)模型（技術(shù)）?并行開(kāi)發(fā)技術(shù)?基于構(gòu)件的開(kāi)發(fā)技術(shù)?形式化方法技術(shù)?第4代技術(shù)?過(guò)程技術(shù)工具60軟件工程軟件開(kāi)發(fā)模型lyh2.6開(kāi)發(fā)模型選用實(shí)例(P27-