軟件工程（高等教材）

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