軟件測(cè)試

第1章　緒論
1.1　軟件危機(jī)和軟件生存期
1.2　軟件測(cè)試的意義
1.3　什么是軟件測(cè)試
1.4　應(yīng)該怎樣認(rèn)識(shí)軟件測(cè)試
1.5　軟件測(cè)試發(fā)展的歷史回顧
1.5.1　歷史回顧
1.5.2　與軟件測(cè)試相關(guān)課題的發(fā)展
習(xí)題
第2章　軟件測(cè)試策略
2.1　測(cè)試的生命周期
2.2　測(cè)試步驟
2.2.1　單元測(cè)試
2.2.2　集成測(cè)試
2.2.3　確認(rèn)測(cè)試
2.2.4　系統(tǒng)測(cè)試
2.3　靜態(tài)方法與動(dòng)態(tài)方法
2.4　黑盒測(cè)試與白盒測(cè)試
2.4.1　黑盒測(cè)試
2.4.2　白盒測(cè)試
2.4.3　黑盒測(cè)試與白盒測(cè)試的比較
2.5　回歸測(cè)試方法
2.6　人工測(cè)試與自動(dòng)測(cè)試
2.6.1　人工測(cè)試技術(shù)概述
2.6.2　軟件審查
2.6.3　軟件審查的作用
2.6.4　自動(dòng)測(cè)試
習(xí)題
第3章　黑盒測(cè)試
3.1　等價(jià)類劃分
3.1.1　方法簡(jiǎn)介
3.1.2　應(yīng)用等價(jià)類劃分方法進(jìn)行測(cè)試用例設(shè)計(jì)的實(shí)例
3.2　因果圖
3.3　正交實(shí)驗(yàn)設(shè)計(jì)法
3.3.1　提取功能說明，構(gòu)造因子--狀態(tài)表
3.3.2　加權(quán)篩選，生成因素分析表
3.3.3　利用正交表構(gòu)造測(cè)試數(shù)據(jù)集
3.3.4　方法評(píng)價(jià)
3.4　邊值分析
3.4.1　單變量邊界值的選取
3.4.2　多個(gè)變量組合情況下邊界值的選取
3.5　判定表驅(qū)動(dòng)測(cè)試
3.5.1　什么是判定表
3.5.2　判定表在功能測(cè)試中的應(yīng)用
3.6　功能測(cè)試
3.6.1　功能測(cè)試的系統(tǒng)化
3.6.2　模塊功能的分解測(cè)試
習(xí)題
第4章　白盒測(cè)試
4.1　程序結(jié)構(gòu)分析
4.1.1　控制流分析
4.1.2　數(shù)據(jù)流分析
4.1.3　信息流分析
4.2　邏輯覆蓋
4.2.1　幾種常用的邏輯覆蓋測(cè)試方法
4.2.2　最少測(cè)試用例數(shù)計(jì)算
4.2.3　測(cè)試覆蓋準(zhǔn)則
4.3　域測(cè)試
4.4　符號(hào)測(cè)試
4.5　路徑分析
4.5.1　程序路徑表達(dá)式
4.5.2　程序中路徑數(shù)的計(jì)算
4.5.3　程序路徑的樹表示及路徑編碼
4.5.4　測(cè)試路徑枚舉
4.5.5　路徑測(cè)試系統(tǒng)
4.6　程序插裝
4.6.1　方法簡(jiǎn)介
4.6.2　斷言語句
4.7　程序變異
4.7.1　程序強(qiáng)變異
4.7.2　程序弱變異
習(xí)題
第5章　集成測(cè)試
5.1　集成測(cè)試的必要性
5.2　程序結(jié)構(gòu)分析
5.3　集成的方法
5.3.1　一次性集成
5.3.2　自頂向下集成
5.3.3　自底向上集成
5.3.4　協(xié)作集成
5.3.5　基干集成
5.3.6　層次集成
5.3.7　客戶/服務(wù)器集成
5.3.8　分布服務(wù)集成
5.3.9　高頻集成
5.3.10　基于調(diào)用圖集成
習(xí)題
第6章　系統(tǒng)測(cè)試
6.1　非功能測(cè)試
6.1.1　安裝測(cè)試
6.1.2　兼容性測(cè)試
6.1.3　安全性測(cè)試
6.1.4　恢復(fù)測(cè)試
6.2　性能測(cè)試
6.2.1　負(fù)載測(cè)試
6.2.2　壓力測(cè)試
6.2.3　容量測(cè)試
6.3　其他測(cè)試
6.3.1　α測(cè)試
6.3.2　β測(cè)試
6.3.3　文檔測(cè)試
6.3.4　界面測(cè)試
習(xí)題
第7章　測(cè)試組織和管理
7.1　測(cè)試準(zhǔn)備
7.1.1　測(cè)試需求分析和計(jì)劃
7.1.2　測(cè)試環(huán)境搭建
7.1.3　測(cè)試用例
7.2　測(cè)試實(shí)施
7.2.1　測(cè)試用例執(zhí)行
7.2.2　測(cè)試數(shù)據(jù)記錄
7.2.3　測(cè)試溝通
7.2.4　測(cè)試用例驗(yàn)證
7.3　測(cè)試總結(jié)
7.3.1　測(cè)試數(shù)據(jù)整理
7.3.2　測(cè)試用例修訂
7.3.3　用例庫的維護(hù)
7.3.4　配置管理
7.4　缺陷管理
7.4.1　缺陷描述
7.4.2　測(cè)試缺陷追蹤
7.4.3　缺陷統(tǒng)計(jì)分析
7.4.4　尋找薄弱環(huán)節(jié)
7.5　測(cè)試成熟度模型
7.6　測(cè)試度量
習(xí)題
第8章　測(cè)試工具
8.1　測(cè)試工具綜述
8.1.1　白盒測(cè)試工具
8.1.2　黑盒測(cè)試工具
8.1.3　測(cè)試管理工具
8.1.4　其他測(cè)試工具
8.2　JUnit(白盒測(cè)試工具)
8.2.1　JUnit簡(jiǎn)介
8.2.2　JUnit測(cè)試過程
8.2.3　JUnit斷言設(shè)置
8.2.4　JUnit測(cè)試用例
8.3　LoadRunner(黑盒測(cè)試工具)
8.3.1　創(chuàng)建Vuser腳本
8.3.2　定義方案場(chǎng)景
8.3.3　運(yùn)行方案場(chǎng)景
8.3.4　分析負(fù)載結(jié)果
8.4　TestDirector(測(cè)試管理工具)
8.4.1　測(cè)試需求定義
8.4.2　測(cè)試計(jì)劃
8.4.3　測(cè)試執(zhí)行
8.4.4　缺陷跟蹤
8.5　WAST(專用測(cè)試工具)
8.5.1　準(zhǔn)備測(cè)試腳本
8.5.2　設(shè)置測(cè)試腳本
8.5.3　運(yùn)行測(cè)試腳本
8.5.4　應(yīng)用側(cè)重點(diǎn)
8.6　Introscope(測(cè)試輔助工具)
8.6.1　Introscope工作模式
8.6.2　Introscope測(cè)試策略
8.6.3　Introscope測(cè)試過程
8.6.4　Introscope監(jiān)控指標(biāo)
8.7　開源測(cè)試工具解決方案
習(xí)題
第9章　軟件評(píng)審
9.1　軟件評(píng)審方法
9.1.1　軟件評(píng)審方法概述
9.1.2　軟件項(xiàng)目評(píng)審應(yīng)用舉例
9.1.3　軟件評(píng)審的定義
9.1.4　相關(guān)國(guó)際標(biāo)準(zhǔn)及能力成熟度模型中對(duì)軟件評(píng)審的要求
9.2　軟件評(píng)審的作用
9.2.1　軟件評(píng)審的意義
9.2.2　代碼評(píng)審的成功實(shí)例
9.2.3　評(píng)審與其他驗(yàn)證方法的比較
9.3　軟件評(píng)審的實(shí)施
9.3.1　正式評(píng)審
9.3.2　需求評(píng)審
9.3.3　設(shè)計(jì)評(píng)審
9.3.4　代碼評(píng)審
9.4　如何做好軟件評(píng)審
9.4.1　軟件評(píng)審中經(jīng)常出現(xiàn)的問題
9.4.2　做好軟件評(píng)審工作的建議
9.4.3　一個(gè)軟件需求規(guī)格說明書的評(píng)審用檢查單
習(xí)題
第10章　軟件質(zhì)量與軟件質(zhì)量管理
10.1　軟件質(zhì)量問題的挑戰(zhàn)
10.1.1　軟件質(zhì)量問題引發(fā)的系統(tǒng)事故屢見不鮮
10.1.2　軟件質(zhì)量事故問題分析
10.1.3　解決軟件質(zhì)量問題的途徑
10.2　軟件錯(cuò)誤類型分析
10.3　程序中隱藏錯(cuò)誤數(shù)量估計(jì)
10.3.1　撒播模型
10.3.2　回歸模型
10.4　軟件質(zhì)量特性
10.5　與軟件質(zhì)量管理相關(guān)的若干過程
10.5.1　軟件質(zhì)量保證過程
10.5.2　軟件驗(yàn)證過程
10.5.3　軟件確認(rèn)過程
10.5.4　軟件評(píng)審過程
10.5.5　軟件審核過程
10.5.6　軟件問題解決過程
10.6　軟件質(zhì)量因素和質(zhì)量特性
10.7　軟件質(zhì)量保證的任務(wù)
10.8　程序排錯(cuò)
10.8.1　排錯(cuò)工作概述
10.8.2　排錯(cuò)方法
10.8.3　排錯(cuò)策略
習(xí)題
第11章　測(cè)試可靠性與軟件可靠性
11.1　測(cè)試可靠性理論
11.1.1　測(cè)試可靠性的奠基性理論
11.1.2　路徑測(cè)試可靠性理論
11.1.3　暴露子域理論
11.1.4　測(cè)試的數(shù)學(xué)符號(hào)系統(tǒng)
11.2　軟件可靠性概念
11.3　軟件可靠性模型
11.4　軟件可靠性在軟件測(cè)試中的應(yīng)用
11.5　近幾年的發(fā)展?fàn)顩r
習(xí)題
第12章　程序正確性證明
12.1　程序正確性證明概述
12.2　以公理語義學(xué)為基礎(chǔ)的正確性證明技術(shù)
12.2.1　程序規(guī)范
12.2.2　程序及其運(yùn)行狀態(tài)
12.2.3　程序正確性與部分正確性
12.2.4　公理正確性證明
12.2.5　FLOY D的歸納斷言法
12.2.6　HOARE的公理方法
12.2.7　E. W. Dijkstra的最弱前置條件法
12.2.8　程序正確性證明技術(shù)存在的問題
12.3　程序綜合
12.3.1　面向目標(biāo)的程序推導(dǎo)
12.3.2　不變式推導(dǎo)技術(shù)
12.4　進(jìn)一步研究的方向
習(xí)題
參考文獻(xiàn)