軟件測(cè)試與質(zhì)量保證：理論與實(shí)踐

目錄

第1章基本概念和預(yù)備知識(shí)
1.1質(zhì)量革命
1.2軟件質(zhì)量
1.3軟件測(cè)試的作用
1.4驗(yàn)證和確認(rèn)
1.5失敗、錯(cuò)誤、故障和缺陷
1.6軟件可靠性的概念
1.7測(cè)試的目標(biāo)
1.8什么是測(cè)試用例
1.9期望結(jié)果
1.10完備測(cè)試的概念
1.11測(cè)試的核心問(wèn)題
1.12測(cè)試活動(dòng)
1.13測(cè)試階段
1.14測(cè)試用例選擇的信息來(lái)源
1.15白盒測(cè)試與黑盒測(cè)試
1.16測(cè)試計(jì)劃和設(shè)計(jì)
1.17監(jiān)測(cè)并度量測(cè)試執(zhí)行
1.18測(cè)試工具和自動(dòng)化
1.19測(cè)試團(tuán)隊(duì)的組織和管理
1.20本書概述
參考文獻(xiàn)
習(xí)題

第2章程序測(cè)試?yán)碚?br /> 2.1測(cè)試?yán)碚撝械幕靖拍?br /> 2.2Goodenough和Gerhart理論
2.2.1基本概念
2.2.2測(cè)試?yán)碚?br /> 2.2.3程序錯(cuò)誤
2.2.4可靠性條件
2.2.5理論的缺點(diǎn)
2.3Weyuker和Ostrand理論
2.4Gourlay理論
2.4.1幾個(gè)定義
2.4.2測(cè)試方法的能力
2.5測(cè)試的足夠性
2.6測(cè)試的局限性
2.7總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)

習(xí)題
第3章單元測(cè)試
3.1單元測(cè)試的概念
3.2靜態(tài)單元測(cè)試
3.3缺陷預(yù)防
3.4動(dòng)態(tài)單元測(cè)試
3.5變異測(cè)試
3.6調(diào)試
3.7極限編程中的單元測(cè)試
3.8JUnit:單元測(cè)試框架
3.9單元測(cè)試工具
3.10總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)

習(xí)題
第4章控制流測(cè)試
4.1基本概念
4.2控制流測(cè)試概述
4.3控制流圖
4.4控制流圖中的路徑
4.5路徑選擇標(biāo)準(zhǔn)
4.5.1全路徑覆蓋原則
4.5.2語(yǔ)句覆蓋原則
4.5.3分支覆蓋原則
4.5.4謂詞覆蓋原則
4.6生成測(cè)試輸入
4.7選擇測(cè)試數(shù)據(jù)的示例
4.8包含無(wú)效路徑
4.9總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)

習(xí)題
第5章數(shù)據(jù)流測(cè)試
5.1一般概念
5.2數(shù)據(jù)流異常
5.3動(dòng)態(tài)數(shù)據(jù)流測(cè)試概述
5.4數(shù)據(jù)流圖
5.5數(shù)據(jù)流術(shù)語(yǔ)
5.6數(shù)據(jù)流測(cè)試標(biāo)準(zhǔn)
5.7數(shù)據(jù)流測(cè)試選擇標(biāo)準(zhǔn)的比較
5.8可行路徑和測(cè)試選擇標(biāo)準(zhǔn)
5.9測(cè)試技術(shù)的比較
5.10總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

第6章域測(cè)試
6.1域錯(cuò)誤
6.2域錯(cuò)誤測(cè)試
6.3域的源
6.4域錯(cuò)誤的類型
6.5ON點(diǎn)和OFF點(diǎn)
6.6測(cè)試選擇標(biāo)準(zhǔn)
6.7總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

第7章系統(tǒng)集成測(cè)試
7.1集成測(cè)試的概念
7.2接口的不同類型和接口錯(cuò)誤
7.3系統(tǒng)集成測(cè)試的粒度
7.4系統(tǒng)集成技術(shù)
7.4.1增量法
7.4.2自頂向下
7.4.3自底向上
7.4.4三明治方式和大爆炸方式
7.5軟件和硬件的集成
7.5.1硬件設(shè)計(jì)驗(yàn)證測(cè)試
7.5.2硬件/軟件兼容性矩陣
7.6系統(tǒng)集成的測(cè)試計(jì)劃
7.7現(xiàn)成組件集成
7.7.1現(xiàn)成組件的測(cè)試
7.7.2內(nèi)置測(cè)試
7.8總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

第8章系統(tǒng)測(cè)試分類
8.1系統(tǒng)測(cè)試分類法
8.2基礎(chǔ)測(cè)試
8.2.1啟動(dòng)測(cè)試
8.2.2升級(jí)/降級(jí)測(cè)試
8.2.3發(fā)光二極管測(cè)試
8.2.4診斷程序測(cè)試
8.2.5命令行界面測(cè)試
8.3功能性測(cè)試
8.3.1通信系統(tǒng)測(cè)試
8.3.2模塊測(cè)試
8.3.3記錄和跟蹤測(cè)試
8.3.4元素管理系統(tǒng)（EMS）測(cè)試
8.3.5管理信息基礎(chǔ)測(cè)試
8.3.6圖形用戶界面測(cè)試
8.3.7安全性測(cè)試
8.3.8特征測(cè)試
8.4健壯性測(cè)試
8.4.1邊界值測(cè)試
8.4.2電力循環(huán)測(cè)試
8.4.3在線插入和刪除測(cè)試
8.4.4高可用性測(cè)試
8.4.5降級(jí)節(jié)點(diǎn)測(cè)試
8.5互操作性測(cè)試
8.6性能測(cè)試
8.7可擴(kuò)展性測(cè)試
8.8壓力測(cè)試
8.9負(fù)載和穩(wěn)定性測(cè)試
8.10可靠性測(cè)試
8.11回歸測(cè)試
8.12文檔測(cè)試
8.13規(guī)章測(cè)試
總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

第9章功能測(cè)試
9.1Howden的功能測(cè)試的概念
9.1.1變量的不同類型
9.1.2測(cè)試向量
9.1.3在上下文中測(cè)試一個(gè)函數(shù)
9.2應(yīng)用功能測(cè)試的復(fù)雜度
9.3成對(duì)測(cè)試
9.3.1正交矩陣
9.3.2參數(shù)順序算法
9.4等價(jià)類劃分
9.5邊界值分析
9.6判定表
9.7隨機(jī)測(cè)試
9.8錯(cuò)誤猜測(cè)
9.9范疇劃分
9.10總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

第10章從有限狀態(tài)機(jī)模型生成測(cè)試
10.1面向狀態(tài)的模型
10.2控制和觀察點(diǎn)
10.3有限狀態(tài)機(jī)
10.4從一個(gè)FSM中產(chǎn)生測(cè)試
10.5遷移遍歷方法
10.6帶有狀態(tài)驗(yàn)證的測(cè)試
10.7輸入輸出序列
10.8區(qū)分序列
10.9表征序列
10.10測(cè)試架構(gòu)
10.10.1本地架構(gòu)
10.10.2分布式架構(gòu)
10.10.3協(xié)調(diào)架構(gòu)
10.10.4遠(yuǎn)程架構(gòu)
10.11測(cè)試和測(cè)試控制標(biāo)記法第3版（TTCN?3）
10.11.1模塊
10.11.2數(shù)據(jù)聲明
10.11.3端口及組件
10.11.4測(cè)試用例裁定
10.11.5測(cè)試用例
10.12擴(kuò)展的有限狀態(tài)機(jī)
10.13從EFSM模型中生成測(cè)試用例
10.14為系統(tǒng)測(cè)試增加的覆蓋標(biāo)準(zhǔn)
10.15總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

第11章系統(tǒng)測(cè)試設(shè)計(jì)
11.1測(cè)試設(shè)計(jì)要點(diǎn)
11.2需求識(shí)別
11.3可測(cè)需求的特征
11.4測(cè)試目標(biāo)識(shí)別
11.5示例
11.6建立測(cè)試設(shè)計(jì)流程模型
11.7建立測(cè)試結(jié)果模型
11.8測(cè)試設(shè)計(jì)準(zhǔn)備度量
11.9測(cè)試用例設(shè)計(jì)有效性
11.10總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

第12章系統(tǒng)測(cè)試計(jì)劃與自動(dòng)化
12.1系統(tǒng)測(cè)試計(jì)劃的結(jié)構(gòu)
12.2導(dǎo)言與特征描述
12.3假設(shè)前提
12.4測(cè)試方法
12.5測(cè)試套件結(jié)構(gòu)
12.6測(cè)試環(huán)境
12.7測(cè)試執(zhí)行策略
12.7.1多周期系統(tǒng)測(cè)試策略
12.7.2測(cè)試周期特性
12.7.3首次測(cè)試周期的準(zhǔn)備
12.7.4終測(cè)試周期的測(cè)試用例選擇
12.7.5測(cè)試用例優(yōu)先級(jí)排序
12.7.6三個(gè)測(cè)試周期的細(xì)節(jié)
12.8測(cè)試工作量評(píng)估
12.8.1測(cè)試用例數(shù)量
12.8.2創(chuàng)建測(cè)試用例工作量
12.8.3測(cè)試用例執(zhí)行工作量
12.9安排進(jìn)度與測(cè)試?yán)锍瘫?br /> 12.10系統(tǒng)測(cè)試自動(dòng)化
12.11評(píng)價(jià)和選擇自動(dòng)化測(cè)試工具
12.12自動(dòng)化測(cè)試選擇指南
12.13自動(dòng)化測(cè)試用例的特性
12.14自動(dòng)化測(cè)試用例的結(jié)構(gòu)
12.15測(cè)試自動(dòng)化的基礎(chǔ)設(shè)施
12.16總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

第13章系統(tǒng)測(cè)試的執(zhí)行
13.1基本觀點(diǎn)
13.2缺陷建模
13.3系統(tǒng)測(cè)試開始前的準(zhǔn)備工作
13.4跟蹤系統(tǒng)測(cè)試的度量指標(biāo)
13.4.1監(jiān)測(cè)測(cè)試用例執(zhí)行的度量指標(biāo)
13.4.2測(cè)試執(zhí)行度量指標(biāo)的示例
13.4.3監(jiān)測(cè)缺陷報(bào)告的度量指標(biāo)
13.4.4缺陷報(bào)告度量指標(biāo)示例
13.5正交缺陷分類
13.6缺陷原因分析
13.7beta測(cè)試
13.8首次客戶運(yùn)送
13.9系統(tǒng)測(cè)試報(bào)告
13.10產(chǎn)品支持
13.11測(cè)量測(cè)試的有效性
13.12總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

第14章驗(yàn)收測(cè)試
14.1驗(yàn)收測(cè)試的類型
14.2驗(yàn)收標(biāo)準(zhǔn)
14.3驗(yàn)收標(biāo)準(zhǔn)的選擇
14.4驗(yàn)收測(cè)試計(jì)劃
14.5驗(yàn)收測(cè)試的執(zhí)行
14.6驗(yàn)收測(cè)試報(bào)告
14.7極限編程中的驗(yàn)收測(cè)試
14.8總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

第15章軟件可靠性
15.1什么是可靠性
15.1.1缺陷和故障
15.1.2時(shí)間
15.1.3故障之間的時(shí)間間隔
15.1.4在周期性時(shí)間間隔中的故障計(jì)數(shù)
15.1.5故障密度
15.2軟件可靠性的定義
15.2.1軟件可靠性的個(gè)定義
15.2.2軟件可靠性的第二個(gè)定義
15.2.3比較軟件可靠性的定義
15.3影響軟件可靠性的因素
15.4軟件可靠性的應(yīng)用
15.4.1比較軟件工程技術(shù)
15.4.2衡量系統(tǒng)測(cè)試的進(jìn)度
15.4.3控制運(yùn)行中的系統(tǒng)
15.4.4深入洞察軟件開發(fā)過(guò)程
15.5操作概要
15.5.1操作
15.5.2操作概要的表示
15.6可靠性模型
15.7總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

第16章測(cè)試團(tuán)隊(duì)的組織結(jié)構(gòu)
16.1測(cè)試團(tuán)隊(duì)
16.1.1集成測(cè)試組
16.1.2系統(tǒng)測(cè)試組
16.2軟件質(zhì)量保證組
16.3系統(tǒng)測(cè)試團(tuán)隊(duì)的組織結(jié)構(gòu)
16.4有效的測(cè)試工程師人員編制
16.5招聘測(cè)試工程師
16.5.1職位需求
16.5.2職位概要
16.5.3瀏覽簡(jiǎn)歷
16.5.4協(xié)調(diào)面試團(tuán)隊(duì)
16.5.5面試
16.5.6決策
16.6保留測(cè)試工程師
16.6.1職業(yè)前景
16.6.2培訓(xùn)
16.6.3獎(jiǎng)勵(lì)制度
16.7團(tuán)隊(duì)建設(shè)
16.7.1期望
16.7.2一致性
16.7.3信息共享
16.7.4標(biāo)準(zhǔn)化
16.7.5測(cè)試環(huán)境
16.7.6酬謝
16.8總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

第17章軟件質(zhì)量
17.1軟件質(zhì)量的5個(gè)觀點(diǎn)
17.2McCall的質(zhì)量因子和標(biāo)準(zhǔn)
17.2.1質(zhì)量因子
17.2.2質(zhì)量標(biāo)準(zhǔn)
17.2.3質(zhì)量因子和質(zhì)量標(biāo)準(zhǔn)之間的關(guān)系
17.2.4質(zhì)量度量
17.3ISO 9126質(zhì)量特性
17.4ISO 90002000軟件質(zhì)量標(biāo)準(zhǔn)
17.4.1ISO 90002000基本法則
17.4.2ISO 90012000需求
17.5總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

第18章成熟度模型
18.1軟件過(guò)程中的基本概念
18.2能力成熟度模型
18.2.1CMM架構(gòu)
18.2.25個(gè)成熟度級(jí)別和核心過(guò)程領(lǐng)域
18.2.3核心實(shí)踐的公共特性
18.2.4CMM應(yīng)用
18.2.5能力成熟度集成（CMMI）
18.3測(cè)試過(guò)程改進(jìn)
18.4測(cè)試成熟度模型
18.5總結(jié)
文獻(xiàn)綜述
參考文獻(xiàn)
習(xí)題

術(shù)語(yǔ)表