二章軟件開發(fā)模型課件

1、軟件生存周期計(jì)劃時(shí)期問題定義可行性分析開發(fā)時(shí)期需求分析軟件設(shè)計(jì)編碼測試運(yùn)行時(shí)期軟件維護(hù)第1頁，共24頁。瀑布模型問題定義可行性研究需求分析軟件設(shè)計(jì)編碼測試維護(hù)計(jì)劃時(shí)期開發(fā)時(shí)期運(yùn)行時(shí)期第2頁，共24頁。瀑布模型特點(diǎn)階段的順序性和依賴性推遲實(shí)現(xiàn)的觀點(diǎn)質(zhì)量保證存在問題不適合需求模糊的系統(tǒng)第3頁，共24頁?？焖僭湍Ｐ托枨蠓治鲈烷_發(fā)最終系統(tǒng)設(shè)計(jì)原型評價(jià)最終系統(tǒng)實(shí)現(xiàn)用戶反饋第4頁，共24頁。快速原型模型特點(diǎn)快速開發(fā)工具循環(huán)低成本種類漸進(jìn)型拋棄型第5頁，共24頁。增量模型規(guī)格說明設(shè)計(jì)實(shí)現(xiàn)和集成交付客戶規(guī)格說明設(shè)計(jì)實(shí)現(xiàn)和集成交付客戶規(guī)格說明設(shè)計(jì)實(shí)現(xiàn)和集成交付客戶規(guī)格說明設(shè)計(jì)實(shí)現(xiàn)和集成交付客戶增量1增量2增

2、量3增量n第6頁，共24頁。增量模型增量小而可用的軟件特點(diǎn)在前面增量的基礎(chǔ)上開發(fā)后面的增量每個(gè)增量的開發(fā)可用瀑布或快速原型模型迭代的思路第7頁，共24頁。螺旋模型第8頁，共24頁。螺旋模型特點(diǎn)瀑布模型+快速原型+風(fēng)險(xiǎn)分析迭代過程一個(gè)螺旋式周期 確定目標(biāo)，選擇方案，選定完成目標(biāo)的策略 風(fēng)險(xiǎn)角度分析該策略 啟動一個(gè)開發(fā)階段 評價(jià)前一步的結(jié)果，計(jì)劃下一輪的工作 第9頁，共24頁。構(gòu)件集成模型第10頁，共24頁。構(gòu)件集成模型特點(diǎn)面向?qū)ο蠡跇?gòu)件庫融合螺旋模型特征支持軟件開發(fā)的迭代方法 軟件重用第11頁，共24頁。面向?qū)ο蟮幕靖拍顚ο驩bject類Class繼承Inheritance消息Message

3、 面向?qū)ο髮ο?類+繼承+消息通信第12頁，共24頁。對象Object客觀世界中的實(shí)體狀態(tài)（靜態(tài)屬性 Attributes）操作（動態(tài)行為 Methods）對象:=IdentifierMethod SetData StructureMessage Interface第13頁，共24頁。對象的特點(diǎn)以數(shù)據(jù)為中心對象是主動的實(shí)現(xiàn)數(shù)據(jù)封裝本質(zhì)上有并行性模塊獨(dú)立性好第14頁，共24頁。類Class和實(shí)例Instance類相同屬性和行為的對象的抽象實(shí)例特定類所描述的一個(gè)具體對象第15頁，共24頁。子類直接繼承父類的數(shù)據(jù)和操作繼承的傳遞性，單繼承、多重繼承繼承（Inheritance）家具桌子椅子衣柜床椅子

4、的實(shí)例第16頁，共24頁。多態(tài)性Polymorphism概念不同類層次共享一個(gè)方法名相同的參數(shù)特征和返回值類型多種不同實(shí)現(xiàn)C+中虛函數(shù)實(shí)現(xiàn)動態(tài)聯(lián)編第17頁，共24頁。重載Overloading函數(shù)重載同一作用域多個(gè)名字相同的函數(shù)參數(shù)特征不同靜態(tài)聯(lián)編運(yùn)算符重載第18頁，共24頁。消息Message對象間的交互手段形式：Message:dest,op,paraDestination ObjectOperationParameters第19頁，共24頁。轉(zhuǎn)換模型形式化規(guī)格說明與需求比較后修正變換2變換1變換n測試形式化開發(fā)記錄系統(tǒng)需求目標(biāo)系統(tǒng)第20頁，共24頁。轉(zhuǎn)換模型特點(diǎn)形式化軟件開發(fā)方法 形式化需求規(guī)格說明 變換技術(shù)程序自動生成技術(shù) 確保正確第21頁，共24頁。凈室模型需求收集盒結(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第22頁，共24頁。凈室模型凈室思想在分析和設(shè)計(jì)階段消除錯誤在“潔凈”狀態(tài)下實(shí)現(xiàn)軟件制作形式化盒結(jié)構(gòu)表示分析和設(shè)計(jì)正確性驗(yàn)證增量模型第23