軟件工程-原理方法與應(yīng)用.ppt

軟件工程- 原理、方法與應(yīng)用,電子教案 48學(xué)時（32理論+16理論）,課程安排,理論 內(nèi)容：基本原理、方法和技術(shù) 形式：講授、自學(xué)、討論 實踐 內(nèi)容：構(gòu)造一個應(yīng)用系統(tǒng)（包括分析、設(shè)計、編碼、測試） 形式：分組、分階段文檔、編碼、集成,軟件工程的主要內(nèi)容,軟件工程的基本概念 軟件開發(fā)模型 軟件開發(fā)各階段的任務(wù)、技術(shù)、方法 傳統(tǒng)方法、面向?qū)ο蠓椒?軟件工程管理 軟件質(zhì)量保證 軟件工程環(huán)境,第一章 緒論,軟件與軟件危機 軟件工程學(xué) 傳統(tǒng)軟件工程和面向?qū)ο筌浖こ?軟件工程的應(yīng)用,軟件,程序、軟件與軟件產(chǎn)品 獨唱小合唱合唱萬人大合唱 | | | 簡單程序 較復(fù)雜程序 軟件 軟件定義： 軟件=程序+數(shù)據(jù)+文檔 程序：按事先設(shè)計的功能和性能需求執(zhí)行的指令序列 數(shù)據(jù)：是程序能正常操縱信息的數(shù)據(jù)結(jié)構(gòu) 文檔：與程序開發(fā)、維護和使用有關(guān)的圖文材料,軟件的特征,軟件是邏輯的，而不是物理的 軟件開發(fā)與人關(guān)系密切 軟件開發(fā)成本大 軟件生產(chǎn)是簡單的拷貝 軟件不會磨損和老化 軟件受環(huán)境影響大 軟件維護易產(chǎn)生新的問題,軟件開發(fā)的發(fā)展過程,計算機應(yīng)用發(fā)展,軟件數(shù)量多規(guī)模大,軟件成本高質(zhì)量低,個體化軟件開發(fā)方法,軟件維護困難,軟件危機,軟件工程,軟件危機,定義 計算機軟件的開發(fā)和維護過程所遇到的一系列嚴(yán)重問題 表現(xiàn) 對軟件開發(fā)成本和進度的估算很不準(zhǔn)確 用戶很不滿意 質(zhì)量很不可靠 沒有適當(dāng)?shù)奈臋n 軟件成本比重上升 供不應(yīng)求：軟件開發(fā)生產(chǎn)率跟不上計算機應(yīng)用迅速深入的趨勢,硬件/軟件成本變化趨勢,100%,0%,1955,1970,1985,軟件技術(shù)進步落后于需求增長,軟件危機,原因 客觀：軟件本身特點 邏輯部件 規(guī)模龐大 主觀：不正確的開發(fā)方法 忽視需求分析 錯誤認(rèn)為：軟件開發(fā)=程序編寫 輕視軟件維護,軟件危機,解決途徑 組織管理 工程項目管理方法 技術(shù)措施 軟件開發(fā)技術(shù)與方法 軟件工具,軟件工程學(xué)的范疇,軟件工程學(xué) 指導(dǎo)計算機軟件開發(fā)和維護的工程學(xué)科 工程管理+開發(fā)技術(shù) 軟件開發(fā)技術(shù) 軟件開發(fā)方法學(xué) 軟件工具 軟件工程環(huán)境 軟件工程管理 軟件管理學(xué) 軟件經(jīng)濟學(xué) 軟件度量學(xué),兩種程序設(shè)計方法,程序設(shè)計的兩次飛躍 結(jié)構(gòu)化程序設(shè)計 程序=數(shù)據(jù)結(jié)構(gòu)+算法 面向?qū)ο蟪绦蛟O(shè)計 程序 = 對象 + 消息,面向過程和面向?qū)ο蟮木幋a,兩類軟件工程方法,傳統(tǒng)軟件工程 軟件分析 總體設(shè)計 詳細(xì)設(shè)計 面向過程的編碼 測試 面向?qū)ο筌浖こ?軟件分析與對象抽取 對象詳細(xì)設(shè)計 面向?qū)ο蟮木幋a 測試,軟件工程的應(yīng)用,軟件工程指導(dǎo)中小型軟件 軟件工程指導(dǎo)大型軟件 軟件工程的成就 軟件工程的局限,第二章 軟件開發(fā)模型,傳統(tǒng)開發(fā)模型 瀑布模型（waterfall model） 快速原型模型（rapid prototype model） 演化開發(fā)模型 增量模型（incremental model） 螺旋模型（spiral model） 面向?qū)ο箝_發(fā)模型 構(gòu)件集成模型（component integration model） 形式化開發(fā)模型 轉(zhuǎn)換模型（transformational model） 凈室模型（cleanroommodel）,軟件生存周期,計劃時期 問題定義 可行性分析 開發(fā)時期 需求分析 軟件設(shè)計 編碼 測試 運行時期 軟件維護,瀑布模型,計劃時期,開發(fā)時期,運行時期,瀑布模型,特點 階段的順序性和依賴性 推遲實現(xiàn)的觀點 質(zhì)量保證 存在問題 不適合需求模糊的系統(tǒng),快速原型模型,快速原型模型,特點 快速開發(fā)工具 循環(huán) 低成本 種類 漸進型 拋棄型,增量模型,規(guī)格說明,設(shè)計,實現(xiàn)和集成,交付客戶,規(guī)格說明,設(shè)計,實現(xiàn)和集成,交付客戶,規(guī)格說明,設(shè)計,實現(xiàn)和集成,交付客戶,規(guī)格說明,設(shè)計,實現(xiàn)和集成,交付客戶,增量1,增量2,增量3,增量n,增量模型,增量 小而可用的軟件 特點 在前面增量的基礎(chǔ)上開發(fā)后面的增量 每個增量的開發(fā)可用瀑布或快速原型模型 迭代的思路,螺旋模型,螺旋模型,特點 瀑布模型+快速原型+風(fēng)險分析 迭代過程 一個螺旋式周期 確定目標(biāo)，選擇方案，選定完成目標(biāo)的策略 風(fēng)險角度分析該策略 啟動一個開發(fā)階段 評價前一步的結(jié)果，計劃下一輪的工作,構(gòu)件集成模型,構(gòu)件集成模型,特點 面向?qū)ο?基于構(gòu)件庫 融合螺旋模型特征 支持軟件開發(fā)的迭代方法 軟件重用,面向?qū)ο蟮幕靖拍?對象Object 類Class 繼承Inheritance 消息Message 面向?qū)ο?對象+類+繼承+消息通信,對象Object,客觀世界中的實體 狀態(tài)（靜態(tài)屬性 Attributes） 操作（動態(tài)行為 Methods） 對象:= Identifier Method Set Data Structure Message Interface,對象的特點,以數(shù)據(jù)為中心 對象是主動的 實現(xiàn)數(shù)據(jù)封裝 本質(zhì)上有并行性 模塊獨立性好,類Class和實例Instance,類 相同屬性和行為的對象的抽象 實例 特定類所描述的一個具體對象,子類直接繼承父類的數(shù)據(jù)和操作 繼承的傳遞性，單繼承、多重繼承,繼承（Inheritance）,家具,桌子,椅子,衣柜,床,椅子的實例,多態(tài)性Polymorphism,概念 不同類層次共享一個方法名 相同的參數(shù)特征和返回值類型 多種不同實現(xiàn) C+中虛函數(shù)實現(xiàn) 動態(tài)聯(lián)編,重載Overloading,函數(shù)重載 同一作用域 多個名字相同的函數(shù) 參數(shù)特征不同 靜態(tài)聯(lián)編 運算符重載,消息Message,對象間的交互手段 形式： Message:dest,op,para Destination Object Operation Parameters,轉(zhuǎn)換模型,轉(zhuǎn)換模型,特點 形式化軟件開發(fā)方法 形式化需求規(guī)格說明 變換技術(shù) 程序自動生成技術(shù) 確保正確,凈室模型,需求 收集,盒結(jié)構(gòu) 規(guī)約,形式化 設(shè)計,統(tǒng)計性使 用測試,正確性 證明,代碼生成 與檢查,測試計劃,認(rèn)證,需求 收集,盒結(jié)構(gòu) 規(guī)約,形式化 設(shè)計,統(tǒng)計性使 用測試,正確性 證明,代碼生成 與檢查,測試計劃,認(rèn)證,需求 收集,盒結(jié)構(gòu) 規(guī)約,形式化 設(shè)計,統(tǒng)計性使 用測試,正確性 證明,代碼生成 與檢查,測試計劃,認(rèn)證,增量1,增量2,增量n,凈室模型,凈室思想 在分析和設(shè)計階段消除錯誤 在“潔凈”狀態(tài)下實現(xiàn)軟件制作 形式化 盒結(jié)構(gòu)表示分析和設(shè)計 正確性驗證 增量模型,小結(jié),軟件開發(fā)模型是不斷發(fā)展的 各種軟件開發(fā)模型各有優(yōu)缺點 選用時不必拘泥與某種模型 可組合多種模型 也可根據(jù)實際創(chuàng)建新的模型,第三章 軟件需求分析,需求分析的任務(wù)與步驟 需求獲取的常用方法 分析建模 軟件需求說明 結(jié)構(gòu)化分析方法 面向?qū)ο蠓治龇椒?需求分析的任務(wù)和步驟,需求分析的任務(wù) 建立分析模型 編寫需求說明 需求分析的步驟 需求獲取 需求提煉 需求描述 需求驗證,需求獲取的常用方法,聯(lián)合分析小組 用戶代表、領(lǐng)域?qū)＜液拖到y(tǒng)分析員 客戶訪談 充分準(zhǔn)備，尋找共同語言 循循序漸進、逐步逼近 問題分析與確認(rèn) 多個來回,分析建模,結(jié)構(gòu)化分析模型 面向?qū)ο蠓治瞿Ｐ?分析模型描述工具 DFD、DD和PSPEC CFD、CSPEC和STD E-R圖 用例圖，對象-關(guān)系圖，對象-行為圖,結(jié)構(gòu)化分析模型,面向?qū)ο蠓治瞿Ｐ?分析模型描述工具,結(jié)構(gòu)化分析工具 DFD、DD和PSPEC CFD、CSPEC和STD E-R圖 面向?qū)ο蠓治龉ぞ?用例圖，類對象圖 對象-關(guān)系圖 對象-行為圖,數(shù)據(jù)流圖DFD,描述系統(tǒng)邏輯模型 信息在系統(tǒng)中的流動和處理 用途 交流信息的工具 結(jié)構(gòu)化分析和設(shè)計的工具,數(shù)據(jù)流圖DFD,組成符號 圓框代表加工 箭頭代表數(shù)據(jù)流向 方框代表源點和終點 雙杠表示數(shù)據(jù)文件或數(shù)據(jù)庫 分層 從高層到低層 分解前后的數(shù)據(jù)流必須一致 命名 數(shù)據(jù)流 處理,領(lǐng)書單 進書通知,購書單 缺書單,DFD練習(xí)售書系統(tǒng),領(lǐng)書單 進書通知,進書通知,購書單 缺書單,DFD練習(xí)售書系統(tǒng),F1教材存量表,F2缺書登記表,數(shù)據(jù)字典DD,DFD中所有元素的定義的集合 內(nèi)容 數(shù)據(jù)流 數(shù)據(jù)流分量 數(shù)據(jù)存儲 處理（一般不用DD描述）,數(shù)據(jù)字典DD,定義數(shù)據(jù)的方法 自頂向下分解數(shù)據(jù) 數(shù)據(jù)元素的組合方式 順序：A+B 選擇：A|B 重復(fù)：1A5 可選： （A）,數(shù)據(jù)字典DD,DD的用途 分析階段的交流工具 包含控制信息 數(shù)據(jù)庫設(shè)計的基礎(chǔ) 例子 P41例3.6,加工說明,加工說明PSPEC 說明DFD中的每個加工 描述工具 結(jié)構(gòu)化語言 判定表 判定樹,加工說明例子,結(jié)構(gòu)化語言 P42-43, 例3.7,3.8 判定樹 P44, 例3.9 判定表 P44, 例3.9,CFD和CSPEC,適合實時系統(tǒng)的分析 與DFD和PSPEC類似 和DFD與PSPEC配合使用 表示控制流和控制加工,CFD和DFD的關(guān)系,數(shù)據(jù)條件,控制輸入,輸出數(shù)據(jù),控制輸入,CFD的符號表示,DFD和CFD例子-DFD,DFD和CFD例子-CFD,STD,描述軟件狀態(tài)變遷 符號表示 矩形-系統(tǒng)狀態(tài) 箭頭-狀態(tài)轉(zhuǎn)變方向 規(guī)則表達式-事件/觸發(fā)行為,STD例子,E-R圖,用于對復(fù)雜數(shù)據(jù)的用作數(shù)據(jù)分析和建模 實體、屬性和關(guān)系 組成符號,0：1,1：1,0：m,1:m,E-R圖例子,用例圖,用例：系統(tǒng)和外部角色的交互 符號表示：,Use Case圖例子,用例之間的關(guān)系,擴展關(guān)系 使用關(guān)系 組合關(guān)系,對象-關(guān)系圖,從E-R圖演變而來 描述對象間關(guān)系,對象-行為圖,描述對象的動態(tài)行為 對象狀態(tài)轉(zhuǎn)換圖 事件軌跡圖 事件流圖,對象狀態(tài)轉(zhuǎn)換圖例子,事件軌跡圖例子,打印機忙 保存文件,打印機就緒 打印文件,打印文件,打印文件,計算機,打印服務(wù)器,打印隊列,打印機,事件流圖例子,軟件需求說明（SRS）,引言 信息描述 功能描述 行為描述 質(zhì)量保證 接口描述 其它,結(jié)構(gòu)化分析方法,基本步驟 自頂向下，功能分解 分層DFD 由后向前，定義數(shù)據(jù)和加工 DD, PSPEC 根據(jù)需要，分析復(fù)雜數(shù)據(jù)和動態(tài)模型 E-R圖，CFD,CSPEC,STD 編寫SRS,DFD的復(fù)審,父圖和子圖不平衡 未區(qū)分局部文件和局部外部項 分解的速度太快 不遵守加工編號規(guī)則,面向?qū)ο蠓治龇椒?基本步驟 定義系統(tǒng)的用例 領(lǐng)域分析，建立類對象模型 建立對象-關(guān)系模型 建立對象-行為模型 編寫SRS,定義用例,回答問題發(fā)現(xiàn)角色 使用系統(tǒng)主要功能的人是誰？ 需要借助于系統(tǒng)完成日常工作的人是誰？ 誰來維護、管理系統(tǒng)，保證系統(tǒng)正常工作？ 系統(tǒng)控制的硬件設(shè)備有哪些？ 系統(tǒng)需要和哪些其它系統(tǒng)接口？ 對系統(tǒng)產(chǎn)生的結(jié)果感興趣的人和事是哪些？,定義用例,回答問題發(fā)現(xiàn)用例 角色需要從系統(tǒng)中獲得哪種功能？需要角色做什么？ 角色需要讀取、產(chǎn)生、刪除、修改或存儲系統(tǒng)中的某種信息嗎？ 系統(tǒng)中發(fā)生的事件需要通知角色嗎？角色需要通知系統(tǒng)某件事嗎？這些事件能干什么？ 系統(tǒng)需要輸入/輸出的是什么信息？這些輸入/輸出信息從哪兒來 ？到哪兒去？ 系統(tǒng)當(dāng)前的實現(xiàn)要解決的問題是什么？,領(lǐng)域分析,目的 發(fā)現(xiàn)或創(chuàng)建可廣泛應(yīng)用的類，以便復(fù)用 分析特定的應(yīng)用領(lǐng)域 形式 公共對象、類、子集合和框架等,類對象建模（一）,確定分析模型中的類對象 考察系統(tǒng)用例 匯總名詞、名詞短語 得到候選對象 確定類對象 必要的信息、需求、服務(wù) 多個屬性、公共操作,類對象建模（二）,定義類結(jié)構(gòu)與層次 一般-特殊 整體-部分 定義主題和子系統(tǒng) 高層抽象,例子,建立對象關(guān)系模型,步驟 復(fù)審需求描述和用例陳述 找出表示關(guān)系的動詞或動詞短語 用線連接起來，箭頭表示方向 給連接命名，標(biāo)上基數(shù),對象-關(guān)系圖例子,建立對象行為模型,基本過程 評估用例，理解系統(tǒng)中的交互序列 找出驅(qū)動交互序列的事件 為每個用例創(chuàng)建事件軌跡 為對象創(chuàng)建狀態(tài)轉(zhuǎn)換圖,第四章 軟件設(shè)計概述,軟件設(shè)計的任務(wù) 軟件設(shè)計的基本概念 模塊化設(shè)計 設(shè)計需要處理的問題 設(shè)計文檔及其復(fù)審,軟件設(shè)計的任務(wù),分析模型 設(shè)計模型 設(shè)計文檔 回答How to do? 可以分為概要設(shè)計、詳細(xì)設(shè)計 軟件設(shè)計包括 數(shù)據(jù)設(shè)計 體系結(jié)構(gòu)設(shè)計 接口設(shè)計 過程設(shè)計,軟件設(shè)計的任務(wù),數(shù)據(jù)設(shè)計 信息模型 軟件數(shù)據(jù)結(jié)構(gòu) 體系結(jié)構(gòu)設(shè)計 定義軟件部件間的關(guān)系 接口設(shè)計 軟件內(nèi)部、外部及與人之間的通信 過程設(shè)計 軟件組件的過程性描述,軟件設(shè)計的基本概念,模塊（module）與構(gòu)件(component) 模塊：定義輸入、輸出和特性的程序?qū)嶓w 構(gòu)件：可重復(fù)使用的軟件組件 抽象（abstract）與細(xì)化(refinement) 抽象：分層次考慮和處理問題(數(shù)據(jù)和過程) 細(xì)化：從高到低的逐步分解過程 信息隱藏 對其它模塊隱藏模塊內(nèi)部的數(shù)據(jù)和過程 軟件復(fù)用 Design with reuse, design for reuse,模塊化設(shè)計(modular design),分解（decomposition） 模塊獨立性（module independence） 自頂向下（topdown design） 自底向上（bottomup design）,分解（decomposition）,C (P1+P2)C (P1)+C (P2) E (P1+P2)E (P1)+E (P2) C為問題的復(fù)雜度，E為解題需要的工作量,模塊獨立性（module independence）,內(nèi)聚（cohesion） 模塊內(nèi)部各成分之間 耦合（coupling） 一個模塊與其它模塊之間 模塊的獨立性高 塊內(nèi)聯(lián)系強 塊間聯(lián)系弱,內(nèi)聚, ,弱 強,低內(nèi)聚 中內(nèi)聚 高內(nèi)聚,內(nèi)聚 cohesion,.偶然性內(nèi)聚 coincidental cohesion .邏輯性內(nèi)聚 logical cohesion .時間性內(nèi)聚 temporal cohesion .過程性內(nèi)聚 procedural cohesion .通訊性內(nèi)聚 communicational cohesion .順序性內(nèi)聚 sequential cohesion .功能性內(nèi)聚 functional cohesion,邏輯性模塊,耦合 coupling,1.非直接耦合 no direct coupling 2.數(shù)據(jù)耦合 data coupling 3.特征耦合 stamp coupling 4.控制耦合 control coupling 5.外部耦合 external coupling 6.公共耦合 common coupling 7.內(nèi)容耦合 content coupling,弱耦合,公共耦合,自定向下和自底向上設(shè)計,自頂向下 頂層開始 逐步分解 由底向上 選擇關(guān)鍵部分先設(shè)計 擴展到整個系統(tǒng),設(shè)計需要處理的問題,協(xié)同設(shè)計 誰最合適設(shè)計系統(tǒng)的某一方面？ 如何使組內(nèi)成員相互了解別人的設(shè)計？ 如何協(xié)調(diào)設(shè)計組件使整個系統(tǒng)統(tǒng)一？ 用戶界面設(shè)計 讓用戶駕馭軟件，不是軟件駕馭用戶 減少用戶的記憶 保持界面的一致性 并發(fā)系統(tǒng)設(shè)計 怎樣確保同時執(zhí)行的組件間對共享數(shù)據(jù)的一致性,并發(fā)處理（順序執(zhí)行）,1、 組件1查詢X是否為空。 2、 組件1被告知X不為空。 3、 組件2查詢X是否為空。 4、 組件2被告知X不為空。 5、 組件1出棧，刪除最后一個元素。 6、 組件2想出棧，但X已為空，系統(tǒng)進入非法狀態(tài)。,并發(fā)處理,1、 組件1詢問棧X是否為空。 2、 組件1被告知棧X不為空。 3、 組件2詢問棧X是否為空。 4、 組件2被告知棧X不為空。 5、 組件1出棧，刪去最后一個元素，并鎖住棧X。 6、 組件2想出棧，但被告知X已上鎖。 7、 另一個組件加了一個元素到棧X中。 8、 組件2被告知X已開鎖（由于外部進程或者因為組件2 再次嘗試） 9、 組件2出棧。,軟件設(shè)計文檔,軟件設(shè)計說明書 1） 范圍 2） 數(shù)據(jù)設(shè)計 3） 體系結(jié)構(gòu)設(shè)計 4） 接口設(shè)計 5） 模塊的過程設(shè)計 6） 其他 包括測試的考慮，確保設(shè)計滿足所有需求，設(shè)計約束和一些特殊注解等內(nèi)容。,設(shè)計復(fù)審（design review）,及早發(fā)現(xiàn)設(shè)計中的缺陷 差錯的傳播 復(fù)審的內(nèi)容 概要設(shè)計復(fù)審 系統(tǒng)的總體結(jié)構(gòu)，模塊劃分，內(nèi)外接口 詳細(xì)設(shè)計復(fù)審 各個模塊的具體設(shè)計,設(shè)計復(fù)審（design review）,復(fù)審的方式 Formal review Design review meeting Informal review Walk-through,第五章 傳統(tǒng)的設(shè)計方法,結(jié)構(gòu)化設(shè)計模型 結(jié)構(gòu)化設(shè)計方法 過程設(shè)計 Jackson方法,PSPEC,結(jié)構(gòu)化設(shè)計的內(nèi)容,數(shù)據(jù)對象描述,CFD,DFD,E-R,DD,CSPEC,過程設(shè)計,接口設(shè)計,體系結(jié)構(gòu)設(shè)計,數(shù)據(jù)設(shè)計,結(jié)構(gòu)化設(shè)計的內(nèi)容,結(jié)構(gòu)設(shè)計概要設(shè)計 體系結(jié)構(gòu)設(shè)計 SC圖 接口設(shè)計 SC圖 數(shù)據(jù)庫設(shè)計 物理數(shù)據(jù)模型 過程設(shè)計詳細(xì)設(shè)計 模塊的處理過程 N-S圖，PAD，PDL等,描述工具SC圖,SC圖的組成符號 （P88） 矩形框來表示模塊 帶箭頭的連線表示模塊間的調(diào)用關(guān)系 傳入和傳出模塊的數(shù)據(jù)流 SC圖中的模塊符號 傳入 傳出 變換 源 漏 控制,SC圖中的模塊調(diào)用,簡單調(diào)用 選擇調(diào)用 循環(huán)調(diào)用,A,B,C,D,A,B,C,面向數(shù)據(jù)流的設(shè)計方法,DFD圖的類型 變換型結(jié)構(gòu) 事務(wù)型結(jié)構(gòu) 從DFD圖到SC圖的映射 復(fù)審DFD圖，必要時可再次進行修改或細(xì)化 鑒別DFD圖的結(jié)構(gòu)特征:事務(wù)？變換？ 按照規(guī)則，把DFD圖為初始的SC圖 改進初始的SC圖,變換結(jié)構(gòu)的DFD,傳入,傳出,信息,傳入流,傳出流,變換流,時間,事務(wù)型結(jié)構(gòu)DFD,事務(wù)中心,接受路徑,動作路徑,同時存在兩類結(jié)構(gòu),傳入,變換,傳出,事務(wù)中心,變換分析,劃分DFD圖的邊界 建立初始SC圖的框架 頂層都只含一個用于控制的主模塊 第一層包括傳入、傳出和中心變換三個模塊 分解SC圖的各個分支 分解實質(zhì)上是“映射”,例子劃分DFD,a,b,c,d,e,p,r,w,u,v,傳入部分,變換中心,傳出部分,第一級分解,c,e,c,e,u,w,u,w,傳入分支的分解,c,e,c,e,b,b,c,a,a,b,d,d,b,傳出分支的分解,w,u,w,u,u,v,v,變換中心的分解,e,p,c,p,r,r,w,u,初始SC圖,事務(wù)分析,在DFD圖上確定邊界 事務(wù)中心 接受部分（包括接受路徑） 發(fā)送部分（包括全部動作路徑） 畫出S