軟件工程（高等教材）

第一篇  軟件與軟件工程                  
     第一章  軟件與軟件工程                  
     第一節(jié)  軟件的發(fā)展                  
     第二節(jié)  軟件的定義                  
     一. 軟件的含義                  
     二. 軟件的特點(diǎn)                  
     三. 軟件的種類(lèi)                  
     第三節(jié)  軟件危機(jī)                  
     第四節(jié)  軟件工程開(kāi)發(fā)模式                  
     一. 瀑布式模型                  
     二. 原型開(kāi)發(fā)模型                  
     三. 螺旋模型                  
     四. 四代技術(shù)                  
     五. 面向?qū)ο笊嫫谀Ｐ?nbsp;                 
     六. 過(guò)程開(kāi)發(fā)模型(混合模型)                  
   第二篇  傳統(tǒng)的開(kāi)發(fā)方法                  
     第二章  分析原理                  
     第一節(jié)  分析任務(wù)與分析員                  
     一. 分析任務(wù)                  
     二. 分析員                  
     第二節(jié)  問(wèn)題域                  
     第三節(jié)  通信技術(shù)                  
     一. 過(guò)程的開(kāi)始                  
     二. 方便的應(yīng)用規(guī)范技術(shù)                  
     第四節(jié)  分析原理                  
     一. 信息域                  
     二. 建模                  
     三. 劃分                  
     四. 基本和實(shí)現(xiàn)觀點(diǎn)                  
     第五節(jié)  規(guī)格說(shuō)明                  
     一. 規(guī)格說(shuō)明原則                  
     二. 表達(dá)式                  
     三. 軟件需求規(guī)格說(shuō)明                  
     第六節(jié)  規(guī)格說(shuō)明評(píng)審                  
   第三章  結(jié)構(gòu)化分析                  
     第一節(jié)  基本符號(hào)及其擴(kuò)充                  
     一. 數(shù)據(jù)流圖                  
     二. 實(shí)時(shí)系統(tǒng)應(yīng)用中的擴(kuò)充                  
     三. Ward和Mellor擴(kuò)充形式                  
     四. Hatley和Pirbhai擴(kuò)充形式                  
     五. 行為建模                  
     六. 密集數(shù)據(jù)應(yīng)用的擴(kuò)充形式                  
     第二節(jié)  結(jié)構(gòu)化分析方法                  
     一. 構(gòu)造數(shù)據(jù)流模型                  
     二. 構(gòu)造控制流模型                  
     三. 控制規(guī)格說(shuō)明                  
     四. 過(guò)程規(guī)格說(shuō)明                  
   第三節(jié)  數(shù)據(jù)字典                  
   第四章  設(shè)計(jì)原理                  
     第一節(jié)  軟件設(shè)計(jì)的重要性                  
     第二節(jié)  設(shè)計(jì)過(guò)程                  
     一. 設(shè)計(jì)與軟件質(zhì)量                  
     二. 軟件設(shè)計(jì)的發(fā)展                  
   第三節(jié)  設(shè)計(jì)基本原理    .                   
     一. 抽象                  
     二. 細(xì)化                  
     三. 模塊化                  
     四. 軟件體系結(jié)構(gòu)                  
     五. 控制層次                  
     六. 數(shù)據(jù)結(jié)構(gòu)                  
     七. 軟件過(guò)程                  
     八. 信息隱藏                  
   第四節(jié)  模塊化設(shè)計(jì)                  
     一. 模塊類(lèi)型                  
     二. 模塊的獨(dú)立性                  
     三. 聚合                  
     四. 耦合                  
   第五節(jié)  數(shù)據(jù)設(shè)計(jì)                  
   第六節(jié)  體系結(jié)構(gòu)設(shè)計(jì)                  
     一. 模塊大小                  
     二. 深度和寬度與扇出和扇人                  
     三. 判定的作用域和模塊的控制域                  
   第七節(jié)  過(guò)程設(shè)計(jì)                  
     一. 結(jié)構(gòu)化程序設(shè)計(jì)                  
     二. 圖形設(shè)計(jì)表示法                  
     三. 表格設(shè)計(jì)表示法                  
     四. 過(guò)程設(shè)計(jì)語(yǔ)言                  
     第八節(jié)  設(shè)計(jì)規(guī)格說(shuō)明                  
   第五章  面向數(shù)據(jù)流的設(shè)計(jì)                  
     第一節(jié)  結(jié)構(gòu)圖                  
     第二節(jié)  數(shù)據(jù)流的類(lèi)型                  
     一. 變換流                  
     二. 事務(wù)流                  
     第三節(jié)  從數(shù)據(jù)流圖到程序結(jié)構(gòu)圖的轉(zhuǎn)換                  
     一. 變換流設(shè)計(jì)                  
     二. 事務(wù)流設(shè)計(jì)                  
     三. 混合流設(shè)計(jì)                  
     第四節(jié)  設(shè)計(jì)步驟                  
     第五節(jié)  設(shè)計(jì)的后處理                  
   第六章  面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)                  
     第一節(jié)  Jackson的結(jié)構(gòu)圖解和圖解邏輯                  
     一. Jackson的結(jié)構(gòu)圖解                  
     二. Jackson的圖解邏輯                  
     第二節(jié)Warnier-Orr圖                  
     第三節(jié), Jackson的開(kāi)發(fā)方法                  
     一. 基本設(shè)計(jì)方法                  
     二. 處理多個(gè)數(shù)據(jù)結(jié)構(gòu)                  
     三. 回溯                  
     四. 結(jié)構(gòu)沖突                  
     五. 程序反演                  
     第四節(jié)  Warnier-Orr的開(kāi)發(fā)方法                  
     一. 簡(jiǎn)化的設(shè)計(jì)方法                  
     二. LOS的導(dǎo)出                  
     三. LPS的導(dǎo)出                  
     四. 復(fù)雜過(guò)程邏輯                  
   第七章  原型開(kāi)發(fā)                  
     第一節(jié)  原型的定義                  
     第二節(jié)  原型開(kāi)發(fā)的應(yīng)用                  
     第三節(jié)  原型開(kāi)發(fā)的分類(lèi)                  
     一. 拋棄式原型開(kāi)發(fā)                  
     二. 演化式原型開(kāi)發(fā)                  
     三. 增量式原型開(kāi)發(fā)                  
   第四節(jié)  原型開(kāi)發(fā)的活動(dòng)                  
     一. 原型開(kāi)發(fā)目標(biāo)的建立                  
     二. 功能選擇                  
     三. 原型構(gòu)造                  
     四. 評(píng)價(jià)                  
     第五節(jié)  原型開(kāi)發(fā)技術(shù)                  
     一. 功能原型                  
     二. 用戶界面原型                  
   第三篇  面向?qū)ο蟮拈_(kāi)發(fā)方法                  
     第八章  面向?qū)ο蟮姆治雠c設(shè)計(jì)                  
     第一節(jié)  面向?qū)ο蠓椒ǖ幕靖拍詈吞卣?nbsp;                 
     第二節(jié)  面向?qū)ο蠓治?nbsp;                 
     ——. 確定對(duì)象                  
     二. 確定屬性                  
     三. 定義操作                  
     四. 對(duì)象間通信                  
     五. 完成對(duì)象定義                  
     第三節(jié)  面向?qū)ο笤O(shè)計(jì)                  
     一. 面向?qū)ο笤O(shè)計(jì)概念                  
     二. 面向?qū)ο笤O(shè)計(jì)方法                  
     三. 程序構(gòu)件及接口                  
     四. 細(xì)節(jié)設(shè)計(jì)                  
     第四節(jié)  Booch的面向?qū)ο蠓椒皩?shí)例                  
     一. 方法                  
     二. 步驟                  
     三. 實(shí)例                  
     第五節(jié)  其他面向?qū)ο笤O(shè)計(jì)方法                  
     一. ESA的HOOD方法                  
     二. Rumbaugh等的OMT方法                  
     三. Wirfs-Brock的RDD方法                  
   第九章  面向?qū)ο缶幊?nbsp;                 
     第一節(jié)  面向?qū)ο缶幊谈拍?nbsp;                 
     一. 對(duì)象                  
     二. 類(lèi)和實(shí)例                  
     三. 繼承                  
     四. 封裝                  
     五. 多態(tài)性                  
     第二節(jié)  面向?qū)ο缶幊陶Z(yǔ)言                  
     一. 面向?qū)ο缶幊陶Z(yǔ)言的分類(lèi)                  
     二. 幾種典型的面向?qū)ο缶幊陶Z(yǔ)言                  
   第十章  實(shí)時(shí)設(shè)計(jì)                  
     第一節(jié)  實(shí)時(shí)系統(tǒng)                  
     一. 集成及性能問(wèn)題                  
     二. 中斷處理                  
     三. 實(shí)時(shí)數(shù)據(jù)庫(kù)                  
     四. 實(shí)時(shí)操作系統(tǒng)                  
     五. 實(shí)時(shí)語(yǔ)言                  
     六. 任務(wù)同步和通信                  
     第二節(jié)  實(shí)時(shí)系統(tǒng)分析. 仿真與設(shè)計(jì)                  
     一. 分析與仿真                  
     二. 設(shè)計(jì)方法                  
     第三節(jié)  面向?qū)ο蟮膶?shí)時(shí)系統(tǒng)構(gòu)造方法                  
     一. 基本點(diǎn)                  
     二. 分析                  
     三. 構(gòu)造                  
     四. 測(cè)試與驗(yàn)證                  
   第四篇  Petri網(wǎng)原理與應(yīng)用                  
     第十一章  Petri網(wǎng)原理與應(yīng)用                  
     第一節(jié)  Petri網(wǎng)的定義                  
     第二節(jié)Petri網(wǎng)的基本原理                  
     一. Petri網(wǎng)的靜態(tài)結(jié)構(gòu)                  
     二. Petri網(wǎng)的動(dòng)態(tài)特征                  
     三. 轉(zhuǎn)移啟動(dòng)規(guī)則                  
     第三節(jié)  建模實(shí)例                  
     一. 有限狀態(tài)機(jī)                  
     二. 并行活動(dòng)                  
     三. 數(shù)據(jù)流計(jì)算                  
     四. 通信協(xié)議                  
     五. 同步控制                  
     六. 生產(chǎn)者／消費(fèi)者系統(tǒng)                  
     七. 形式語(yǔ)言                  
     八. 機(jī)械加工                  
     第四節(jié)  行為特性                  
     一. 可達(dá)性                  
     二. 有界性                  
     三. 活性                  
     四. 可逆性                  
     五. 可覆蓋性                  
     六. 持久性                  
     七. 同步距離                  
     八. 公平性                  
     第五節(jié)  Petri網(wǎng)的特性分析方法                  
     一. Petri網(wǎng)的行為特性分析方法                  
     二. Petri網(wǎng)的結(jié)構(gòu)特性分析方法                  
     第六節(jié)  Petri網(wǎng)子類(lèi)及其行為特性分析方法                  
     一. Petri網(wǎng)子類(lèi)                  
     二. Petri網(wǎng)子類(lèi)的某些行為特性分析                  
     第七節(jié)  改進(jìn)Petri網(wǎng)及其應(yīng)用                  
     一. 謂詞／轉(zhuǎn)移網(wǎng)                  
     二. 著色網(wǎng)                  
     三. 時(shí)間網(wǎng)                  
     四. 隨機(jī)網(wǎng)                  
     第八節(jié)  從Petri網(wǎng)到程序結(jié)構(gòu)的轉(zhuǎn)換                  
     一. 流程圖的方法                  
     二. 編程語(yǔ)言的方法                  
     三. 面向?qū)ο蟮某绦蛟O(shè)計(jì)方法                  
   第五篇  語(yǔ)言與實(shí)現(xiàn)                  
     第十二章  規(guī)格說(shuō)明. 設(shè)計(jì)和原型開(kāi)發(fā)語(yǔ)言                  
     第一節(jié)  規(guī)格說(shuō)明語(yǔ)言                  
     一. 規(guī)格說(shuō)明的方法                  
     二. 規(guī)格說(shuō)明語(yǔ)言                  
     第二節(jié)設(shè)計(jì)語(yǔ)言                  
     第三節(jié)  原型開(kāi)發(fā)語(yǔ)言                  
     一. 原型開(kāi)發(fā)語(yǔ)言的需求                  
     二. 原型開(kāi)發(fā)話言的執(zhí)行                  
     三. 原型開(kāi)發(fā)語(yǔ)言的一個(gè)實(shí)例：PSDL                  
     第十三章  編程語(yǔ)言與編碼                  
     第一節(jié)—翻譯過(guò)程                  
     第二節(jié)  編程語(yǔ)言特性                  
     一. 心理學(xué)觀點(diǎn)                  
     二. 語(yǔ)法／語(yǔ)義問(wèn)題                  
     三. 工程觀點(diǎn)                  
     四. 語(yǔ)言選擇                  
     五. 編程語(yǔ)言與軟件工程                  
     第三節(jié)  編程語(yǔ)言基礎(chǔ)                  
     一. 數(shù)據(jù)類(lèi)型和數(shù)據(jù)分類(lèi)                  
     二. 子程序                  
     三. 控制結(jié)構(gòu)                  
     四. 對(duì)面向?qū)ο蠓椒ǖ闹С?nbsp;                 
     第四節(jié)  語(yǔ)言分類(lèi)和發(fā)展                  
     一. 第一代語(yǔ)言                  
     二. 第二代語(yǔ)言                  
     三. 第三代語(yǔ)言                  
     四. 第四代語(yǔ)言                  
     五. 第五代語(yǔ)言                  
     第五節(jié)  編碼風(fēng)格                  
     一. 代碼文檔化                  
     二. 數(shù)據(jù)說(shuō)明                  
     三. 語(yǔ)句構(gòu)造                  
     四. I／0                  
     第六節(jié)  效率                  
     一. 代碼效率                  
     二. 內(nèi)存效率                  
     三. I/O效率                  
     第七節(jié)  保護(hù)性編程                  
     第八節(jié)冗余編程                  
   第六篇  質(zhì)量與質(zhì)量保證                  
     第十四章  軟件質(zhì)量與質(zhì)量保證                  
     第一節(jié)軟件質(zhì)量                  
     一. 軟件質(zhì)量定義                  
     二. 軟件質(zhì)量因素                  
     第二節(jié)  軟件質(zhì)量保證                  
     一. 質(zhì)量保證策略                  
     二. 軟件質(zhì)量保證活動(dòng)                  
     第三節(jié)  軟件評(píng)審                  
     一. 軟件缺陷的費(fèi)用影響                  
     二. 缺陷的擴(kuò)大和排除                  
     第四節(jié)  正式技術(shù)評(píng)審                  
     一. 評(píng)審會(huì)議                  
     二. 評(píng)審報(bào)告和記錄保存                  
     三. 評(píng)審指南                  
     四. 評(píng)審檢查表                  
     第五節(jié)  軟件質(zhì)量度量                  
     一. Halsteadd的軟件科學(xué)度量                  
     二. McCabe復(fù)雜性度量                  
     第六節(jié)  軟件可靠性                  
     一. 可靠性和可用性度量                  
     二. 軟件可靠性模型                  
     三, 軟件安全性                  
     第七節(jié)  軟件質(zhì)量保證的方法                  
     一. 考查對(duì)SQA的需要                  
     二. SQA計(jì)劃的制定和標(biāo)準(zhǔn)的采用                  
     第十五章 軟件測(cè)試                  
     第一節(jié)  軟件測(cè)試的目標(biāo)                  
     第二節(jié)  軟件測(cè)試的原則                  
     第三節(jié)  軟件測(cè)試的過(guò)程和步驟                  
     一. 軟件測(cè)試過(guò)程                  
     二. 軟件測(cè)試步驟                  
     三. 單元測(cè)試                  
     四. 組裝測(cè)試                  
     五. 確認(rèn)測(cè)試                  
     六. 系統(tǒng)測(cè)試                  
     第四節(jié)  軟件測(cè)試技術(shù)                  
     一. 測(cè)試用例設(shè)計(jì)                  
     二. 糾錯(cuò)技術(shù)                  
     第五節(jié)  實(shí)時(shí)系統(tǒng)測(cè)試                  
     一. 任務(wù)測(cè)試                  
     二. 行為測(cè)試                  
     三. 任務(wù)間測(cè)試                  
     四. 系統(tǒng)測(cè)試                  
     第六節(jié)  測(cè)試計(jì)劃和測(cè)試分析報(bào)告                  
     第十六章  軟件維護(hù)                  
     第一節(jié)  軟件維護(hù)的分類(lèi)                  
     第二節(jié)  軟件維護(hù)的特點(diǎn)                  
     一. 軟件工程與軟件維護(hù)的關(guān)系                  
     二. 維護(hù)費(fèi)用                  
     三. 維護(hù)中的問(wèn)題                  
     第三節(jié)  軟件的可維護(hù)性                  
     一. 控制因素                  
     二. 定量度量                  
     三. 評(píng)審                  
     第四節(jié)  軟件的維護(hù)任務(wù)                  
     一. 維護(hù)機(jī)構(gòu)                  
     二. 編寫(xiě)報(bào)告                  
     三. 維護(hù)流程                  
     四. 記錄保存                  
     五. 評(píng)價(jià)                  
     第五節(jié)  軟件維護(hù)的副作用                  
     一. 修改代碼的副作用                  
     二. 修改數(shù)據(jù)的副作用                  
     三. 修改文檔的副作用                  
     第六節(jié)  維護(hù)“奇異碼”                  
     第七節(jié)  反推工程和再生工程                  
     第八節(jié)  預(yù)防性維護(hù)                  
   第七篇  計(jì)劃與管理                  
     第十七章  軟件計(jì)劃與管理                  
     第一節(jié)  確定工作范圍和資源                  
     一. 軟件工作范圍                  
     二. 資源                  
     第二節(jié)  成本估算                  
     一. 成本估算方法                  
     二. 成本估算模型                  
     三. 軟件生產(chǎn)率數(shù)據(jù)                  
     四. 代碼行的成本估算方法                  
     五. 每項(xiàng)任務(wù)工作量的成本估算方法                  
     第三節(jié)  進(jìn)度安排                  
     一. 軟件工作的特殊性                  
     二. 各階段工作量的分配                  
     三. 制定開(kāi)發(fā)進(jìn)度                  
     第四節(jié)  配置管理                  
     一. 基線                  
     二. 交付項(xiàng)的發(fā)行                  
     三. 配置控制的機(jī)制                  
     第五節(jié)  軟件開(kāi)發(fā)組織                  
     第六節(jié)  軟件計(jì)劃                  
     第七節(jié)  軟件產(chǎn)權(quán)保護(hù)                  
     一. 軟件知識(shí)產(chǎn)權(quán)的法律保護(hù)                  
     二. 計(jì)算機(jī)軟件是著作權(quán)保護(hù)的客體                  
     三. 軟件著作權(quán)人享有的專(zhuān)有權(quán)力                  
     四. 軟件著作權(quán)的登記                  
   第八篇  工具與環(huán)境                  
     第十八章  人機(jī)界面設(shè)計(jì)                  
     第一節(jié)  用戶分析                  
     一. 用戶分類(lèi)                  
     二. 影響用戶行為特性的因素                  
     三. 用戶的使用需求分析                  
     四. 人—機(jī)界面的設(shè)計(jì)原則                  
     第二節(jié)  任務(wù)分析與模型建立                  
     一. 結(jié)構(gòu)化分析                  
     二. 面向?qū)ο蠓治?nbsp;                 
     第三節(jié)  人—機(jī)界面的交互方式                  
     一. 問(wèn)答式對(duì)話                  
     二. 菜單界面                  
     三. 功能鍵                  
     四. 圖符界面                  
     五. 填表界面                  
     六. 命令語(yǔ)言界面                  
     七. 查詢語(yǔ)言界面                  
     八. 自然語(yǔ)言界面                  
     第四節(jié)  人—機(jī)界面的開(kāi)發(fā)過(guò)程                  
     一. 人—機(jī)界面開(kāi)發(fā)的瀑布式模型                  
     二. 人—機(jī)界面開(kāi)發(fā)的原型模型                  
     第五節(jié)  界面設(shè)計(jì)的一般準(zhǔn)則                  
     一. 一般交互                  
     二. 信息顯示                  
     三. 數(shù)據(jù)輸入                  
     第六節(jié)  智能人—機(jī)界面的設(shè)計(jì)                  
     一. 智能界面的定義                  
     二. 智能界面的構(gòu)成                  
     三. 智能界面的相關(guān)技術(shù)                  
     四. 建立智能界面的過(guò)程                  
     第十九章  數(shù)據(jù)庫(kù)在CASE中的應(yīng)用                  
     第一節(jié)  工程思想                  
     第二節(jié)  歷史回顧                  
     第三節(jié)  數(shù)據(jù)庫(kù)                  
     一. 數(shù)據(jù)類(lèi)型和靈活性                  
     二. 元數(shù)據(jù)：數(shù)據(jù)字典                  
     三. 類(lèi)屬工具：查詢語(yǔ)言                  
     四. 完整性和內(nèi)部一致性                  
     第四節(jié)  軟件工程的數(shù)據(jù)                  
     一. 程序                  
     二. 程序結(jié)構(gòu)                  
     三. 程序的可選表達(dá)式                  
     四. 程序的描述                  
     五. 接口與可重用性                  
     六. 需求與約束                  
     七. 設(shè)計(jì)環(huán)境和運(yùn)行環(huán)境                  
     八. 測(cè)試和測(cè)試評(píng)價(jià)                  
     第五節(jié)  CASE的數(shù)據(jù)模型和模型層次                  
     一. 數(shù)據(jù)模型評(píng)價(jià)準(zhǔn)則                  
     二. 文件系統(tǒng)模型                  
     三. 實(shí)體. 關(guān)系模型                  
     四. 對(duì)象模型                  
     五. 超文本模型                  
     六. 早期模型                  
     七. 建?；仡?nbsp;                 
     第六節(jié)  面向?qū)ο髷?shù)據(jù)庫(kù)與CASE                  
     一. 面向?qū)ο髷?shù)據(jù)庫(kù)概要                  
     二. 面向?qū)ο髷?shù)據(jù)庫(kù)管理系統(tǒng)的研究與開(kāi)發(fā)狀況                  
     三. 面向?qū)ο髷?shù)據(jù)庫(kù)管理系統(tǒng)的性能                  
     四. CASE數(shù)據(jù)庫(kù)                  
     五. 面向?qū)ο驡ASE數(shù)據(jù)庫(kù)需進(jìn)一步研究的課題                  
   第二十章  軟件開(kāi)發(fā)工縣與環(huán)境                  
     第一節(jié)  軟件開(kāi)發(fā)工具                  
     第二節(jié)  軟件開(kāi)發(fā)環(huán)境                  
     一. 按解決的問(wèn)題分類(lèi)                  
     二. 按現(xiàn)有軟件開(kāi)發(fā)環(huán)境的演變趨向分類(lèi)                  
     三. 按集成化程度分類(lèi)                  
     第三節(jié)  計(jì)算機(jī)輔助軟件工程(CASE)                  
     一. I-CASE集成方式                  
     二. I-CASE框架結(jié)構(gòu)                  
     三. I-CASE中心庫(kù)                  
     第四節(jié)  實(shí)例                  
     一. Ada編程支持環(huán)境                  
     二. 青鳥(niǎo)系統(tǒng)                  
   參考文獻(xiàn)