軟件工程：實(shí)踐者的研究方法

     目 錄
   作者簡(jiǎn)介
   譯者簡(jiǎn)介
   前言
   第一部分 產(chǎn)品和過(guò)程
    第1章 產(chǎn)品
    1.1 軟件的發(fā)展
    1.1.1產(chǎn)業(yè)的觀點(diǎn)
    1.1.2老化的軟件工廠
    1.1.3軟件的競(jìng)爭(zhēng)
    1.2軟件
    1.2.1軟件特征
    1.2.2軟件構(gòu)件
    1.2.3軟件應(yīng)用
    1.3軟件：地平線上的危機(jī)
    1.4軟件神話
    1.5小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第2章 過(guò)程
    2.1軟件工程——一種層次化技術(shù)
    2.1.1過(guò)程、方法和工具
    2.1.2 軟件工程的一般視圖
    2.2軟件過(guò)程
    2.3軟件過(guò)程模型
    2.4線性順序模型
    2.5原型模型
    2.6RAD模型
    2.7演化軟件過(guò)程模型
    2.7.1增量模型
    2.7.2螺旋模型
    2.7.3構(gòu)件組裝模型
    2.7.4并發(fā)開(kāi)發(fā)模型
    2.8形式化方法模型
    2.9第四代技術(shù)
    2.10過(guò)程技術(shù)
    2.11產(chǎn)品和過(guò)程
    2.12小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
   第二部分 軟件項(xiàng)目的管理
    第3章 項(xiàng)目管理的概念
    3.1管理的范圍
    3.1.1人員
    3.1.2問(wèn)題
    3.1.3過(guò)程
    3.2人員
    3.2.1項(xiàng)目參與者
    3.2.2項(xiàng)目負(fù)責(zé)人
    3.2.3軟件項(xiàng)目組
    3.2.4協(xié)調(diào)和通信問(wèn)題
    3.3問(wèn)題
    3.3.1軟件范圍
    3.3.2問(wèn)題分解
    3.4過(guò)程
    3.4.1合并問(wèn)題和過(guò)程
    3.4.2過(guò)程分解
    3.5項(xiàng)目
    3.6小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第4章 軟件過(guò)程和項(xiàng)目的度量
    4.1測(cè)度、度量和指標(biāo)
    4.2過(guò)程和項(xiàng)目領(lǐng)域中的度量
    4.2.1過(guò)程度量和軟件過(guò)程改進(jìn)
    4.2.2項(xiàng)目度量
    4.3軟件測(cè)量
    4.3.1面向規(guī)模的度量
    4.3.2面向功能的度量
    4.3.3擴(kuò)展的功能點(diǎn)度量
    4.4調(diào)和不同的度量方法
    4.5軟件質(zhì)量度量
    4.5.1概述影響質(zhì)量的因素
    4.5.2測(cè)量質(zhì)量
    4.5.3缺陷排除效率
    4.6在軟件過(guò)程中集成度量
    4.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第5章 軟件項(xiàng)目計(jì)劃
    5.1對(duì)估算的觀察
    5.2項(xiàng)目計(jì)劃目標(biāo)
    5.3軟件范圍
    5.3.1獲取定義軟件范圍所需的信息
    5.3.2一個(gè)范圍定義的例子
    5.4 資源
    5.4.1人力資源
    5.4.2可復(fù)用軟件資源
    5.4.3環(huán)境資源
    5.5軟件項(xiàng)目估算
    5.6分解技術(shù)
    5.6.1軟件規(guī)模估算
    5.6.2基于問(wèn)題的估算
    5.6.3一個(gè)基于LOC估算的例子
    5.6.4一個(gè)基于FP估算的例子
    5.6.5基于過(guò)程的估算
    5.6.6一個(gè)基于過(guò)程估算的例子
    5.7經(jīng)驗(yàn)估算模型
    5.7.1估算模型的結(jié)構(gòu)
    5.7.2COCOMO模型
    5.7.3軟件方程式
    5.8自行開(kāi)發(fā)或購(gòu)買(mǎi)的決策
    5.8.1創(chuàng)建決策樹(shù)
    5.8.2外購(gòu)
    5.9自動(dòng)估算工具
    5.10小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第6章 風(fēng)險(xiǎn)管理
    6.1被動(dòng)和主動(dòng)的風(fēng)險(xiǎn)策略
    6.2軟件風(fēng)險(xiǎn)
    6.3識(shí)別風(fēng)險(xiǎn)
    6.3.1產(chǎn)品規(guī)模風(fēng)險(xiǎn)
    6.3.2商業(yè)影響風(fēng)險(xiǎn)
    6.3.3客戶相關(guān)的風(fēng)險(xiǎn)
    6.3.4過(guò)程風(fēng)險(xiǎn)
    6.3.5技術(shù)風(fēng)險(xiǎn)
    6.3.6開(kāi)發(fā)環(huán)境風(fēng)險(xiǎn)
    6.3.7與人員數(shù)目及經(jīng)驗(yàn)相關(guān)的風(fēng)險(xiǎn)
    6.3.8風(fēng)險(xiǎn)因素和驅(qū)動(dòng)因子
    6.4風(fēng)險(xiǎn)預(yù)測(cè)
    6.4.1建立風(fēng)險(xiǎn)表
    6.4.2評(píng)估風(fēng)險(xiǎn)影響
    6.4.3風(fēng)險(xiǎn)評(píng)估
    6.5風(fēng)險(xiǎn)緩解、監(jiān)控和管理
    6.6安全性風(fēng)險(xiǎn)和危險(xiǎn)
    6.7RMMM計(jì)劃
    6.8小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第7章 項(xiàng)目進(jìn)度安排及跟蹤
    7.1基本概念
    7.1.1關(guān)于“延遲”的評(píng)注
    7.1.2 基本原則
    7.2 人員和工作量之間的關(guān)系
    7.2.1一個(gè)例子
    7.2.2一個(gè)經(jīng)驗(yàn)關(guān)系
    7.2.3工作量分布
    7.3為軟件項(xiàng)目定義任務(wù)集合
    7.3.1嚴(yán)格度
    7.3.2定義適應(yīng)性準(zhǔn)則
    7.3.3計(jì)算任務(wù)集合選擇因子的值
    7.3.4解釋TSS值并選擇任務(wù)集合
    7.4選擇軟件工程任務(wù)
    7.5主要任務(wù)的求精
    7.6定義任務(wù)網(wǎng)絡(luò)
    7.7進(jìn)度安排
    7.7.1時(shí)間表
    7.7.2跟蹤進(jìn)度
    7.8項(xiàng)目計(jì)劃
    7.9小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第8章 軟件質(zhì)量保證
    8.1質(zhì)量概念
    8.1.1質(zhì)量
    8.1.2質(zhì)量控制
    8.1.3質(zhì)量保證
    8.1.4 質(zhì)量的成本
    8.2質(zhì)量運(yùn)動(dòng)
    8.3軟件質(zhì)量保證
    8.3.1背景
    8.3.2SQA活動(dòng)
    8.4軟件復(fù)審
    8.4.1軟件缺陷對(duì)成本的影響
    8.4.2缺陷的放大和消除
    8.5正式技術(shù)復(fù)審
    8.5.1復(fù)審會(huì)議
    8.5.2復(fù)審報(bào)告和記錄保存
    8.5.3復(fù)審指南
    8.6SQA的形式化方法
    8.7統(tǒng)計(jì)質(zhì)量保證
    8.8軟件可靠性
    8.8.1可靠性和可用性的度量
    8.8.2軟件的安全和危險(xiǎn)的分析
    8.9SQA計(jì)劃
    8.10ISO9000質(zhì)量標(biāo)準(zhǔn)
    8.10.1ISO對(duì)質(zhì)量保證系統(tǒng)的方法
    8.10.2ISO9001標(biāo)準(zhǔn)
    8.11小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第9章 軟件配置管理
    9.1軟件配置管理
    9.1.1基線
    9.1.2軟件配置項(xiàng)
    9.2SCM過(guò)程
    9.3軟件配置中對(duì)象的標(biāo)識(shí)
    9.4版本控制
    9.5變化控制
    9.6配置審計(jì)
    9.7狀態(tài)報(bào)告
    9.8SCM標(biāo)準(zhǔn)
    9.9小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
   第三部分 傳統(tǒng)軟件工程方法
    第10章 系統(tǒng)工程
    10.1基于計(jì)算機(jī)的系統(tǒng)
    10.2系統(tǒng)工程層次結(jié)構(gòu)
    10.2.1系統(tǒng)建模
    10.2.2信息工程：概述
    10.2.3產(chǎn)品工程：概述
    10.3信息工程
    10.4信息策略計(jì)劃
    10.4.1企業(yè)建模
    10.4.2業(yè)務(wù)級(jí)數(shù)據(jù)建模
    10.5業(yè)務(wù)域分析
    10.5.1處理建模
    10.5.2信息流建模
    10.6產(chǎn)品工程
    10.6.1系統(tǒng)分析
    10.6.2說(shuō)明客戶需要
    10.6.3可行性研究
    10.6.4經(jīng)濟(jì)分析
    10.6.5技術(shù)分析
    10.7系統(tǒng)體系結(jié)構(gòu)建模
    10.8系統(tǒng)建模和仿真
    10.9系統(tǒng)規(guī)約
    10.10小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第11章 分析概念和原則
    11.1需求分析
    11.2通信技術(shù)
    11.2.1過(guò)程的啟動(dòng)
    11.2.2便利的應(yīng)用規(guī)約技術(shù)
    11.2.3質(zhì)量功能部署
    11.3分析原則
    11.3.1信息域
    11.3.2建模
    11.3.3劃分
    11.3.4基本視圖和實(shí)現(xiàn)視圖
    11.4軟件原型
    11.4.1選擇原型方法
    11.4.2原型方法和工具
    11.5規(guī)約
    11.5.1規(guī)約原則
    11.5.2表示
    11.5.3軟件需求規(guī)約
    11.6規(guī)約復(fù)審
    11.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第12章 分析建模
    12.1簡(jiǎn)史
    12.2分析模型的元素
    12.3數(shù)據(jù)建模
    12.3.1數(shù)據(jù)對(duì)象、屬性和關(guān)系
    12.3.2基數(shù)和形態(tài)
    12.3.3實(shí)體—關(guān)系圖
    12.4功能建模和信息流
    12.4.1數(shù)據(jù)流圖
    12.4.2針對(duì)實(shí)時(shí)系統(tǒng)的擴(kuò)展
    12.4.3Ward和Mellor擴(kuò)展
    12.4.4Hatley和Pirbhai擴(kuò)展
    12.5行為建模
    12.6結(jié)構(gòu)化分析的技巧
    12.6.1創(chuàng)建實(shí)體—關(guān)系圖
    12.6.2創(chuàng)建數(shù)據(jù)流模型
    12.6.3創(chuàng)建控制流模型
    12.6.4控制規(guī)約
    12.6.5加工規(guī)約
    12.7數(shù)據(jù)字典
    12.8其他傳統(tǒng)分析方法概述
    12.8.1數(shù)據(jù)結(jié)構(gòu)化系統(tǒng)開(kāi)發(fā)
    12.8.2Jackson系統(tǒng)開(kāi)發(fā)
    12.8.3SADT
    12.9小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第13章 設(shè)計(jì)概念和原則
    13.1軟件設(shè)計(jì)和軟件工程
    13.2設(shè)計(jì)過(guò)程
    13.2.1設(shè)計(jì)和軟件質(zhì)量
    13.2.2軟件設(shè)計(jì)的演化
    13.3設(shè)計(jì)原則
    13.4設(shè)計(jì)概念
    13.4.1抽象
    13.4.2求精
    13.4.3模塊化
    13.4.4軟件體系結(jié)構(gòu)
    13.4.5控制層次
    13.4.6結(jié)構(gòu)劃分
    13.4.7數(shù)據(jù)結(jié)構(gòu)
    13.4.8軟件過(guò)程
    13.4.9信息隱蔽
    13.5有效的模塊設(shè)計(jì)
    13.5.1功能獨(dú)立性
    13.5.2內(nèi)聚
    13.5.3耦合
    13.6針對(duì)有效模塊化的設(shè)計(jì)啟發(fā)
    13.7設(shè)計(jì)模型
    13.8設(shè)計(jì)文檔
    13.9小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第14章 設(shè)計(jì)方法
    14.1數(shù)據(jù)設(shè)計(jì)
    14.2體系結(jié)構(gòu)設(shè)計(jì)
    14.2.1貢獻(xiàn)者
    14.2.2應(yīng)用域
    14.3體系結(jié)構(gòu)設(shè)計(jì)過(guò)程
    14.3.1變換流
    14.3.2事務(wù)流
    14.4 變換映射
    14.4.1一個(gè)實(shí)例
    14.4.2設(shè)計(jì)步驟
    14.5事務(wù)映射
    14.5.1一個(gè)實(shí)例
    14.5.2 設(shè)計(jì)步驟
    14.6 設(shè)計(jì)的后處理
    14.7體系結(jié)構(gòu)設(shè)計(jì)優(yōu)化
    14.8接口設(shè)計(jì)
    14.8.1內(nèi)部和外部接口設(shè)計(jì)
    14.8.2用戶界面設(shè)計(jì)
    14.9人機(jī)界面設(shè)計(jì)
    14.9.1界面設(shè)計(jì)模型
    14.9.2任務(wù)分析和建模
    14.9.3設(shè)計(jì)問(wèn)題
    14.9.4實(shí)現(xiàn)工具
    14.9.5設(shè)計(jì)評(píng)估
    14.10界面設(shè)計(jì)指南
    14.10.1一般交互
    14.10.2信息顯示
    14.10.3數(shù)據(jù)輸入
    14.11過(guò)程設(shè)計(jì)
    14.11.1結(jié)構(gòu)化程序設(shè)計(jì)
    14.11.2圖形設(shè)計(jì)符號(hào)
    14.11.3表格設(shè)計(jì)符號(hào)
    14.11.4程序設(shè)計(jì)語(yǔ)言
    14.11.5一個(gè)PDL實(shí)例
    14.12小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第15章 實(shí)時(shí)系統(tǒng)的設(shè)計(jì)
    15.1系統(tǒng)考慮
    15.2實(shí)時(shí)系統(tǒng)
    15.2.1集成和性能問(wèn)題
    15.2.2中斷處理
    15.2.3實(shí)時(shí)數(shù)據(jù)庫(kù)
    15.2.4實(shí)時(shí)操作系統(tǒng)
    15.2.5實(shí)時(shí)語(yǔ)言
    15.2.6任務(wù)同步和通信
    15.3實(shí)時(shí)系統(tǒng)的分析和仿真
    15.3.1實(shí)時(shí)系統(tǒng)分析的數(shù)學(xué)工具
    15.3.2仿真和建模技術(shù)
    15.4實(shí)時(shí)設(shè)計(jì)
    15.5小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第16章 軟件測(cè)試技術(shù)
    16.1軟件測(cè)試基礎(chǔ)
    16.1.1測(cè)試目標(biāo)
    16.1.2測(cè)試原則
    16.1.3可測(cè)試性
    16.2測(cè)試用例設(shè)計(jì)
    16.3白盒測(cè)試
    16.4基本路徑測(cè)試
    16.4.1流圖符號(hào)
    16.4.2環(huán)形復(fù)雜性
    16.4.3導(dǎo)出測(cè)試用例
    16.4.4圖矩陣
    16.5控制結(jié)構(gòu)測(cè)試
    16.5.1條件測(cè)試
    16.5.2數(shù)據(jù)流測(cè)試
    16.5.3循環(huán)測(cè)試
    16.6黑盒測(cè)試
    16.6.1基于圖的測(cè)試方法
    16.6.2等價(jià)劃分
    16.6.3邊界值分析
    16.6.4比較測(cè)試
    16.7針對(duì)專(zhuān)門(mén)環(huán)境和應(yīng)用的測(cè)試
    16.7.1GUI測(cè)試
    16.7.2客戶/服務(wù)器體系結(jié)構(gòu)的測(cè)試
    16.7.3測(cè)試文檔和幫助設(shè)施
    16.7.4實(shí)時(shí)系統(tǒng)測(cè)試
    16.8小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第17章 軟件測(cè)試策略
    17.1軟件測(cè)試的策略途徑
    17.1.1驗(yàn)證和確認(rèn)
    17.1.2軟件測(cè)試的組織
    17.1.3一種軟件測(cè)試策略
    17.1.4測(cè)試完成的標(biāo)準(zhǔn)
    17.2策略問(wèn)題
    17.3單元測(cè)試
    17.3.1單元測(cè)試考慮
    17.3.2單元測(cè)試規(guī)程
    17.4集成測(cè)試
    17.4.1自頂向下集成
    17.4.2自底向上集成
    17.4.3回歸測(cè)試
    17.4.4關(guān)于集成測(cè)試的討論
    17.4.5集成測(cè)試文檔
    17.5確認(rèn)測(cè)試
    17.5.1確認(rèn)測(cè)試的標(biāo)準(zhǔn)
    17.5.2配置復(fù)審
    17.5.3Alpha和Beta測(cè)試
    17.6系統(tǒng)測(cè)試
    17.6.1恢復(fù)測(cè)試
    17.6.2安全測(cè)試
    17.6.3壓力測(cè)試
    17.6.4性能測(cè)試
    17.7調(diào)試的技巧
    17.7.1調(diào)試過(guò)程
    17.7.2心理考慮
    17.7.3調(diào)試方法
    17.8小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第18章 軟件的技術(shù)度量
    18.1軟件質(zhì)量
    18.1.1McCall的質(zhì)量因素
    18.1.2FURPS
    18.1.3到量化視圖的變遷
    18.2軟件技術(shù)度量框架
    18.2.1技術(shù)度量的挑戰(zhàn)
    18.2.2測(cè)度原則
    18.2.3有效軟件度量的屬性
    18.3分析模型的度量
    18.3.1基于功能的度量
    18.3.2“撞擊值”度量
    18.3.3規(guī)約質(zhì)量的度量
    18.4設(shè)計(jì)模型的度量
    18.4.1高層設(shè)計(jì)度量
    18.4.2構(gòu)件級(jí)設(shè)計(jì)度量
    18.4.3界面設(shè)計(jì)度量
    18.5源代碼度量
    18.6對(duì)測(cè)試的度量
    18.7對(duì)維護(hù)的度量
    18.8小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
   第四部分 面向?qū)ο蟮能浖こ?br />     第19章 面向?qū)ο蟮母拍詈驮瓌t
    19.1面向?qū)ο蟮姆缎?br />     19.2面向?qū)ο蟾拍?br />     19.2.1類(lèi)和對(duì)象
    19.2.2屬性
    19.2.3操作方法和服務(wù)
    19.2.4消息
    19.2.5封裝、繼承和多態(tài)
    19.3標(biāo)識(shí)對(duì)象模型的元素
    19.3.1標(biāo)識(shí)類(lèi)和對(duì)象
    19.3.2表示屬性
    19.3.3定義操作
    19.3.4完成對(duì)象定義
    19.4面向?qū)ο筌浖?xiàng)目的管理
    19.4.1OO的公共過(guò)程框架
    19.4.2面向?qū)ο箜?xiàng)目的度量和估算
    19.4.3一種OO估算和進(jìn)度安排方法
    19.4.4面向?qū)ο箜?xiàng)目的跟蹤過(guò)程
    19.5小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第20章 面向?qū)ο蠓治?br />     20.1面向?qū)ο蟮姆治?br />     20.1.1傳統(tǒng)方法和OO方法
    20.1.2OOA概述
    20.2領(lǐng)域分析
    20.2.1復(fù)用和領(lǐng)域分析
    20.2.2 領(lǐng)域分析過(guò)程
    20.300分析模型的類(lèi)屬成分
    20.4OOA過(guò)程
    20.4.1使用實(shí)例
    20.4.2類(lèi)—責(zé)任—協(xié)作者建模
    20.4.3定義結(jié)構(gòu)和層次
    20.4.4定義主題和子系統(tǒng)
    20.5對(duì)象—關(guān)系模型
    20.6對(duì)象—行為模型
    20.6.1用使用實(shí)例標(biāo)識(shí)事件
    20.6.2狀態(tài)表示
    20.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第21章 面向?qū)ο笤O(shè)計(jì)
    21.1面向?qū)ο笙到y(tǒng)的設(shè)計(jì)
    21.1.1傳統(tǒng)方法和OO方法
    21.1.2設(shè)計(jì)問(wèn)題
    21.1.3OOD概述
    21.2OO設(shè)計(jì)模型的類(lèi)屬成分
    21.3系統(tǒng)設(shè)計(jì)過(guò)程
    21.3.1劃分分析模型
    21.3.2并發(fā)性和子系統(tǒng)分配
    21.3.3任務(wù)管理構(gòu)件
    21.3.4數(shù)據(jù)管理構(gòu)件
    21.3.5資源管理構(gòu)件
    21.3.6人機(jī)界面構(gòu)件
    21.3.7子系統(tǒng)間通信
    21.4對(duì)象設(shè)計(jì)過(guò)程
    21.4.1對(duì)象描述
    21.4.2設(shè)計(jì)算法和數(shù)據(jù)結(jié)構(gòu)
    21.4.3程序構(gòu)件和接口
    21.5設(shè)計(jì)模式
    21.5.1描述設(shè)計(jì)模式
    21.5.2 在設(shè)計(jì)中使用設(shè)計(jì)模式
    21.6面向?qū)ο缶幊?br />     21.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第22章 面向?qū)ο鬁y(cè)試
    22.1擴(kuò)大測(cè)試的視角
    22.2測(cè)試OOA和OOD模型
    22.2.1OOA和OOD模型的正確性
    22.2.2OOA和OOD模型的一致性
    22.3面向?qū)ο蟮臏y(cè)試策略
    22.3.1在OO語(yǔ)境中的單元測(cè)試
    22.3.2在OO語(yǔ)境中的集成測(cè)試
    22.3.3在OO語(yǔ)境中的有效性測(cè)試
    22.4OO軟件的測(cè)試用例設(shè)計(jì)
    22.4.1OO概念的測(cè)試用例設(shè)計(jì)的含義
    22.4.2傳統(tǒng)測(cè)試用例設(shè)計(jì)方法的可用性
    22.4.3基于故障的測(cè)試
    22.4.4OO編程對(duì)測(cè)試的影響
    22.4.5測(cè)試用例和類(lèi)層次
    22.4.6基于場(chǎng)景的測(cè)試設(shè)計(jì)
    22.4.7測(cè)試表層結(jié)構(gòu)和深層結(jié)構(gòu)
    22.5在類(lèi)級(jí)別上可用的測(cè)試方法
    22.5.1對(duì)OO類(lèi)的隨機(jī)測(cè)試
    22.5.2在類(lèi)級(jí)別上的劃分測(cè)試
    22.6類(lèi)間測(cè)試用例設(shè)計(jì)
    22.6.1多個(gè)類(lèi)測(cè)試
    22.6.2從行為模型導(dǎo)出的測(cè)試
    22.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第23章 面向?qū)ο笙到y(tǒng)的技術(shù)度量
    23.1面向?qū)ο蠖攘康哪康?br />     23.2區(qū)別性的特征
    23.2.1局部化
    23.2.2封裝
    23.2.3信息隱蔽
    23.2.4繼承
    23.2.5抽象
    23.3對(duì)OO設(shè)計(jì)模型的度量
    23.4面向類(lèi)的度量
    23.4.1CK度量套件
    23.4.2Lorenz和Kidd建議的度量
    23.5面向操作的度量
    23.6對(duì)面向?qū)ο鬁y(cè)試的度量
    23.7對(duì)面向?qū)ο箜?xiàng)目的度量
    23.8小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
   第五部分 軟件工程高級(jí)課題
    第24章 形式化方法
    24.1基本概念
    24.1.1少量的形式化方法的不足
    24.1.2軟件開(kāi)發(fā)中的數(shù)學(xué)
    24.1.3形式化方法概念
    24.2數(shù)學(xué)預(yù)備知識(shí)
    24.2.1集合和構(gòu)造性規(guī)約
    24.2.2集合運(yùn)算符
    24.2.3邏輯運(yùn)算符
    24.2.4序列
    24.3應(yīng)用數(shù)學(xué)符號(hào)描述形式規(guī)約
    24.4形式化規(guī)約語(yǔ)言
    24.5用Z表示一個(gè)軟件構(gòu)件的例子
    24.6形式化方法的十條戒律
    24.7形式化方法——未來(lái)之路
    24.8小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第25章 凈室軟件工程
    25.1凈室方法
    25.1.1凈室策略
    25.1.2什么使得凈室獨(dú)特？
    25.2功能規(guī)約
    25.2.1黑盒規(guī)約
    25.2.2狀態(tài)盒規(guī)約
    25.2.3清晰盒規(guī)約
    25.3設(shè)計(jì)求精和驗(yàn)證的優(yōu)點(diǎn)
    25.3.1設(shè)計(jì)求精和驗(yàn)證
    25.3.2設(shè)計(jì)驗(yàn)證的優(yōu)點(diǎn)
    25.4凈室測(cè)試
    25.4.1統(tǒng)計(jì)的使用測(cè)試
    25.4.2認(rèn)證
    25.5小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第26章 軟件復(fù)用
    26.1管理問(wèn)題
    26.1.1復(fù)用的障礙
    26.1.2硬件類(lèi)比
    26.1.3建立復(fù)用途徑的一些建議
    26.2復(fù)用過(guò)程
    26.2.1可復(fù)用的軟件制品
    26.2.2一個(gè)過(guò)程模型
    26.3領(lǐng)域工程
    26.3.1領(lǐng)域分析過(guò)程
    26.3.2領(lǐng)域特征
    26.3.3結(jié)構(gòu)建模和結(jié)構(gòu)點(diǎn)
    26.4建造可復(fù)用構(gòu)件
    26.4.1為了復(fù)用的分析和設(shè)計(jì)
    26.4.2構(gòu)造方法
    26.4.3基于構(gòu)件的開(kāi)發(fā)
    26.5分類(lèi)和檢索構(gòu)件
    26.5.1描述可復(fù)用構(gòu)件
    26.5.2復(fù)用環(huán)境
    26.6軟件復(fù)用經(jīng)濟(jì)學(xué)
    26.6.1對(duì)質(zhì)量、生產(chǎn)率和成本的影響
    26.6.2使用結(jié)構(gòu)點(diǎn)的成本分析
    26.6.3復(fù)用度量
    26.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第27章 再工程
    27.1業(yè)務(wù)過(guò)程再工程
    27.1.1業(yè)務(wù)過(guò)程
    27.1.2業(yè)務(wù)過(guò)程再工程的原則
    27.1.3BPR模型
    27.1.4幾句警告
    27.2軟件再工程
    27.2.1軟件維護(hù)
    27.2.2軟件再工程過(guò)程模型
    27.3逆向工程
    27.3.1理解處理的逆向工程
    27.3.2理解數(shù)據(jù)的逆向工程
    27.3.3用戶界面的逆向工程
    27.4重構(gòu)
    27.4.1代碼重構(gòu)
    27.4.2數(shù)據(jù)重構(gòu)
    27.5正向工程
    27.5.1向客戶/服務(wù)器體系結(jié)構(gòu)的正向工程
    27.5.2向面向?qū)ο篌w系結(jié)構(gòu)的正向工程
    27.5.3用戶界面的正向工程
    27.6再工程經(jīng)濟(jì)學(xué)
    27.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第28章 客戶/服務(wù)器軟件工程
    28.1客戶/服務(wù)器系統(tǒng)的結(jié)構(gòu)
    28.1.1C/S系統(tǒng)的軟件構(gòu)件
    28.1.2軟件構(gòu)件的分布
    28.1.3分布應(yīng)用構(gòu)件的指南
    28.1.4連接C/S軟件構(gòu)件
    28.1.5中間件和對(duì)象請(qǐng)求代理體系結(jié)構(gòu)
    28.2對(duì)C/S系統(tǒng)的軟件工程
    28.3分析建模問(wèn)題
    28.4對(duì)C/S系統(tǒng)的設(shè)計(jì)
    28.4.1傳統(tǒng)設(shè)計(jì)方法
    28.4.2數(shù)據(jù)庫(kù)設(shè)計(jì)
    28.4.3某設(shè)計(jì)方法的概述
    28.4.4加工設(shè)計(jì)的迭代
    28.5測(cè)試問(wèn)題
    28.5.1整體C/S測(cè)試策略
    28.5.2C/S測(cè)試策略
    28.6小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第29章 計(jì)算機(jī)輔助軟件工程
    29.1什么是CASE？
    29.2構(gòu)造CASE的積木塊
    29.3CASE工具分類(lèi)
    29.4集成化CASE環(huán)境
    29.5集成體系結(jié)構(gòu)
    29.6CASE中心庫(kù)
    29.6.1在I－CASE中中心庫(kù)的角色
    29.6.2特征和內(nèi)容
    29.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第30章 未來(lái)之路
    30.1軟件的重要性——再論
    30.2變化的范圍
    30.3人及他們建造系統(tǒng)的方式
    30.4“新”的軟件過(guò)程
    30.5表示信息的新模式
    30.6技術(shù)作為推動(dòng)力
    30.7結(jié)束語(yǔ)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源