【正文】 遠(yuǎn)的意義。? 構(gòu)件組裝模型如下圖所示：構(gòu)件集成模型軟件需求標(biāo)識構(gòu)件檢索構(gòu)件庫開發(fā)構(gòu)件取出構(gòu)件存入構(gòu)件庫集成目標(biāo)系統(tǒng)體系結(jié)構(gòu)設(shè)計(jì)構(gòu)件適應(yīng)性修改集成測試系統(tǒng)測試運(yùn)行維護(hù)構(gòu)件集成模型構(gòu)件集成模型? 特點(diǎn)面向?qū)ο蠡跇?gòu)件庫融合螺旋模型特征支持軟件開發(fā)的迭代方法 軟件重用構(gòu)件技術(shù)軟件體系結(jié)構(gòu)被建立后，必須用構(gòu)件去充實(shí)，這些構(gòu)件可從復(fù)用庫中獲得，或者根據(jù)專門需要而開發(fā)。整個(gè)過程可以演化地進(jìn)行，面向?qū)ο蠓椒ńo予技術(shù)上的支持。構(gòu)件技術(shù)目前主要有三種流行標(biāo)準(zhǔn)：?OMG的 CORBA： 對象管理組織發(fā)布的公共對象請求代理體系結(jié)構(gòu) (CommonObjectRequestBrokerArchitecture)。 一個(gè)對象請求代理（ ORB)提供一系列服務(wù)，使得一個(gè)構(gòu)件和其他構(gòu)件通信，而不管它們在系統(tǒng)中的位置，實(shí)現(xiàn)了遠(yuǎn)程對象通過接口進(jìn)行通信的機(jī)制。構(gòu)件技術(shù)?微軟的 COM/DCOM： 微軟開發(fā)了構(gòu)件對象模型（ ComponentObjectModel)， 它提供了運(yùn)行于windows之上的單個(gè)應(yīng)用系統(tǒng)使用不同廠商生產(chǎn)的構(gòu)件的規(guī)約?；诜植际江h(huán)境下的 COM稱為 DCOM(DistributeCOM)。?SUN的 EJB(EnterpriseJavaBean)： 隨著 Java在企業(yè)級應(yīng)用的地位日趨重要， Sun提出了一個(gè)統(tǒng)一的企業(yè)級 Java平臺 —J2EE 。在 J2EE中， EJB負(fù)責(zé)最核心的業(yè)務(wù)處理。它為服務(wù)器端的應(yīng)用程序提供了一種與廠商無關(guān)的 Java接口，讓任何符合 EJB規(guī)范的構(gòu)件都可以運(yùn)行在每一臺這樣的服務(wù)器上 ?；跇?gòu)件的未來 軟件生產(chǎn)線應(yīng)用構(gòu)件提取車間 應(yīng)用構(gòu)件庫構(gòu)件生產(chǎn)車間 構(gòu)件庫 組裝車間領(lǐng)域 1領(lǐng)域 2應(yīng)用系統(tǒng) ...12341基礎(chǔ)構(gòu)件， 2功能構(gòu)件 3接口構(gòu)件， 4用戶界面構(gòu)件 形式化方法模型 形式化方法模型是一種基于數(shù)學(xué)的開發(fā)技術(shù)，主要采用數(shù)學(xué)的方法與表示體系描述軟件的性質(zhì)，表示軟件規(guī)格說明，然后進(jìn)行一系列自動(dòng)或半自動(dòng)的程序轉(zhuǎn)換，最后轉(zhuǎn)化為計(jì)算機(jī)系統(tǒng)能夠接受的目標(biāo)程序系統(tǒng)。 是基于形式化語言和程序變換的模型，因此，也稱 變換模型 。從軟件需求形式化說明開始，經(jīng)過一系列的數(shù)學(xué)變換和正確性證明，最終得到系統(tǒng)的目標(biāo)程序。形式化方法使開發(fā)者應(yīng)用一個(gè)嚴(yán)格的數(shù)學(xué)符號體系來表示、構(gòu)造和驗(yàn)證系統(tǒng)，從而大大提高軟件的可靠性。 模型見下圖：轉(zhuǎn)換模型形式化規(guī)格說明與需求比較后修正變換 2變換 1變換 n測試形式化開發(fā)記錄系統(tǒng)需求 目標(biāo)系統(tǒng)轉(zhuǎn)換模型兩種技術(shù)： ? 基于模型的規(guī)格說明及其變換技術(shù) 基于模型的技術(shù)使用數(shù)學(xué)上的結(jié)構(gòu)如集合和函數(shù)為系統(tǒng)建模。它們能展現(xiàn)系統(tǒng)的狀態(tài)以簡化對某些行為的描述?；谀Ｐ偷拿枋稣Z言及方法如 Z、VDM(Vienna Definition Method)、 B、 Petri Nets等。 ? 基于代數(shù)結(jié)構(gòu)及其變換技術(shù) 代數(shù)方法適合于對接口的描述。這里接口被定義為一組對象類或抽象數(shù)據(jù)類型的集合，用接口操作之間的關(guān)系來刻畫系統(tǒng)。轉(zhuǎn)換模型? 特點(diǎn)： ? 該模型迫使對系統(tǒng)需求的分析在軟件開發(fā)的早期階段完成。在這個(gè)階段改正錯(cuò)誤比在系統(tǒng)被交付之后修改錯(cuò)誤要經(jīng)濟(jì)得多。 ? 形式化描述是對非形式化描述技術(shù)的補(bǔ)充?？梢杂脕砭切问交脑敿?xì)的系統(tǒng)需求描述。描述是精確的和無二義的，避免了由于語言誤解而產(chǎn)生的一些問題。 ? 最適合用于安全性、可靠性和保密性等性能要求極高的系統(tǒng)。 ? 開發(fā)成本較高。 ? 需要嚴(yán)格的數(shù)學(xué)理論和開發(fā)環(huán)境的支持。 ? 難以與用戶進(jìn)行通信。形式化過程模型的一個(gè)擴(kuò)展 —— 凈室模型 形式化過程模型的一個(gè)擴(kuò)展，稱為 凈室軟件工程 或 凈室模型 ，它除了強(qiáng)調(diào)分析和設(shè)計(jì)上的嚴(yán)格性，以及使用基于數(shù)學(xué)的正確性證明來對設(shè)計(jì)模型的每個(gè)元素進(jìn)行形式化驗(yàn)證外，還強(qiáng)調(diào)了統(tǒng)計(jì)質(zhì)量控制技術(shù)。 基本思想 ： 力求在分析和設(shè)計(jì)階段就消除錯(cuò)誤，確保正確，然后在無缺陷或 “ 潔凈 ” 的狀態(tài)下實(shí)現(xiàn)軟件的制作。 關(guān)鍵技術(shù) ： ? 基于統(tǒng)計(jì)過程控制之下的增量開發(fā) ? 基于函數(shù)的規(guī)范、設(shè)計(jì)、驗(yàn)證 ? 統(tǒng)計(jì)測試和軟件認(rèn)證 模型見下圖：凈室模型需求收集盒結(jié)構(gòu)規(guī)約形式化設(shè)計(jì) 統(tǒng)計(jì)性使 用測試正確性證明代碼生成與檢查測試計(jì)劃認(rèn)證需求收集盒結(jié)構(gòu)規(guī)約形式化設(shè)計(jì) 統(tǒng)計(jì)性使 用測試正確性證明代碼生成與檢查測試計(jì)劃認(rèn)證需求收集盒結(jié)構(gòu)規(guī)約形式化設(shè)計(jì) 統(tǒng)計(jì)性使 用測試正確性證明代碼生成與檢查測試計(jì)劃認(rèn)證增量 1增量 2增量 n凈室模型? 凈室思想在分析和設(shè)計(jì)階段消除錯(cuò)誤在 “潔凈 ”狀態(tài)下實(shí)現(xiàn)軟件制作? 形式化盒結(jié)構(gòu)表示分析和設(shè)計(jì)正確性驗(yàn)證? 增量模型案例考慮如下兩個(gè)軟件項(xiàng)目的例子：? 針對一種新機(jī)器，為一種已知的編程語言（例如， C語言）開發(fā)一種普通的編譯器；? 開發(fā)一個(gè)應(yīng)用程序使醫(yī)生辦公室自動(dòng)化。? 問：其中哪一個(gè)項(xiàng)目可能要求一個(gè)瀑布型生命期開發(fā)模型？為什么？這兩個(gè)例子可能存在什么風(fēng)險(xiǎn)？所選的開發(fā)模型如何處理這些風(fēng)險(xiǎn)？小結(jié)? 講了八種軟件開發(fā)模型，還有智能模型等等? 軟件開發(fā)模型是不斷發(fā)展的? 各種軟件開發(fā)模型各有優(yōu)缺點(diǎn)? 選用時(shí)不必拘泥于某種模型? 可組合多種模型? 也可根據(jù)實(shí)際創(chuàng)建新的模型作業(yè) 習(xí) 題 P29 252。 1.252。 2.252。 3.？軟件生存周期劃分成階段的目的是什么 ？ 　　 軟件生存周期是指從軟件定義、開發(fā)、使用、維護(hù)到淘汰的全過程。(1) 任何一個(gè)階段的具體任務(wù)不僅獨(dú)立，而且簡單，便于不同人員分工協(xié)作，從而降低整個(gè)軟件開發(fā)工作的困難程度。(2) 可以降低每個(gè)階段任務(wù)的復(fù)雜程度，簡化不同階段的聯(lián)系，有利于工程的組織管理，也便于采用良好的技術(shù)方法。(3) 使軟件開發(fā)的全過程以一種有條不紊的方式進(jìn)行，保證軟件的質(zhì)量，特別是提高了軟件的可維護(hù)性。 2.3