軟件測試

第1章　緒論
1.1　軟件危機(jī)和軟件生存期
1.2　軟件測試的意義
1.3　什么是軟件測試
1.4　應(yīng)該怎樣認(rèn)識軟件測試
1.5　軟件測試發(fā)展的歷史回顧
1.5.1　歷史回顧
1.5.2　與軟件測試相關(guān)課題的發(fā)展
習(xí)題
第2章　軟件測試策略
2.1　測試的生命周期
2.2　測試步驟
2.2.1　單元測試
2.2.2　集成測試
2.2.3　確認(rèn)測試
2.2.4　系統(tǒng)測試
2.3　靜態(tài)方法與動態(tài)方法
2.4　黑盒測試與白盒測試
2.4.1　黑盒測試
2.4.2　白盒測試
2.4.3　黑盒測試與白盒測試的比較
2.5　回歸測試方法
2.6　人工測試與自動測試
2.6.1　人工測試技術(shù)概述
2.6.2　軟件審查
2.6.3　軟件審查的作用
2.6.4　自動測試
習(xí)題
第3章　黑盒測試
3.1　等價(jià)類劃分
3.1.1　方法簡介
3.1.2　應(yīng)用等價(jià)類劃分方法進(jìn)行測試用例設(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)造測試數(shù)據(jù)集
3.3.4　方法評價(jià)
3.4　邊值分析
3.4.1　單變量邊界值的選取
3.4.2　多個(gè)變量組合情況下邊界值的選取
3.5　判定表驅(qū)動測試
3.5.1　什么是判定表
3.5.2　判定表在功能測試中的應(yīng)用
3.6　功能測試
3.6.1　功能測試的系統(tǒng)化
3.6.2　模塊功能的分解測試
習(xí)題
第4章　白盒測試
4.1　程序結(jié)構(gòu)分析
4.1.1　控制流分析
4.1.2　數(shù)據(jù)流分析
4.1.3　信息流分析
4.2　邏輯覆蓋
4.2.1　幾種常用的邏輯覆蓋測試方法
4.2.2　最少測試用例數(shù)計(jì)算
4.2.3　測試覆蓋準(zhǔn)則
4.3　域測試
4.4　符號測試
4.5　路徑分析
4.5.1　程序路徑表達(dá)式
4.5.2　程序中路徑數(shù)的計(jì)算
4.5.3　程序路徑的樹表示及路徑編碼
4.5.4　測試路徑枚舉
4.5.5　路徑測試系統(tǒng)
4.6　程序插裝
4.6.1　方法簡介
4.6.2　斷言語句
4.7　程序變異
4.7.1　程序強(qiáng)變異
4.7.2　程序弱變異
習(xí)題
第5章　集成測試
5.1　集成測試的必要性
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)測試
6.1　非功能測試
6.1.1　安裝測試
6.1.2　兼容性測試
6.1.3　安全性測試
6.1.4　恢復(fù)測試
6.2　性能測試
6.2.1　負(fù)載測試
6.2.2　壓力測試
6.2.3　容量測試
6.3　其他測試
6.3.1　α測試
6.3.2　β測試
6.3.3　文檔測試
6.3.4　界面測試
習(xí)題
第7章　測試組織和管理
7.1　測試準(zhǔn)備
7.1.1　測試需求分析和計(jì)劃
7.1.2　測試環(huán)境搭建
7.1.3　測試用例
7.2　測試實(shí)施
7.2.1　測試用例執(zhí)行
7.2.2　測試數(shù)據(jù)記錄
7.2.3　測試溝通
7.2.4　測試用例驗(yàn)證
7.3　測試總結(jié)
7.3.1　測試數(shù)據(jù)整理
7.3.2　測試用例修訂
7.3.3　用例庫的維護(hù)
7.3.4　配置管理
7.4　缺陷管理
7.4.1　缺陷描述
7.4.2　測試缺陷追蹤
7.4.3　缺陷統(tǒng)計(jì)分析
7.4.4　尋找薄弱環(huán)節(jié)
7.5　測試成熟度模型
7.6　測試度量
習(xí)題
第8章　測試工具
8.1　測試工具綜述
8.1.1　白盒測試工具
8.1.2　黑盒測試工具
8.1.3　測試管理工具
8.1.4　其他測試工具
8.2　JUnit(白盒測試工具)
8.2.1　JUnit簡介
8.2.2　JUnit測試過程
8.2.3　JUnit斷言設(shè)置
8.2.4　JUnit測試用例
8.3　LoadRunner(黑盒測試工具)
8.3.1　創(chuàng)建Vuser腳本
8.3.2　定義方案場景
8.3.3　運(yùn)行方案場景
8.3.4　分析負(fù)載結(jié)果
8.4　TestDirector(測試管理工具)
8.4.1　測試需求定義
8.4.2　測試計(jì)劃
8.4.3　測試執(zhí)行
8.4.4　缺陷跟蹤
8.5　WAST(專用測試工具)
8.5.1　準(zhǔn)備測試腳本
8.5.2　設(shè)置測試腳本
8.5.3　運(yùn)行測試腳本
8.5.4　應(yīng)用側(cè)重點(diǎn)
8.6　Introscope(測試輔助工具)
8.6.1　Introscope工作模式
8.6.2　Introscope測試策略
8.6.3　Introscope測試過程
8.6.4　Introscope監(jiān)控指標(biāo)
8.7　開源測試工具解決方案
習(xí)題
第9章　軟件評審
9.1　軟件評審方法
9.1.1　軟件評審方法概述
9.1.2　軟件項(xiàng)目評審應(yīng)用舉例
9.1.3　軟件評審的定義
9.1.4　相關(guān)國際標(biāo)準(zhǔn)及能力成熟度模型中對軟件評審的要求
9.2　軟件評審的作用
9.2.1　軟件評審的意義
9.2.2　代碼評審的成功實(shí)例
9.2.3　評審與其他驗(yàn)證方法的比較
9.3　軟件評審的實(shí)施
9.3.1　正式評審
9.3.2　需求評審
9.3.3　設(shè)計(jì)評審
9.3.4　代碼評審
9.4　如何做好軟件評審
9.4.1　軟件評審中經(jīng)常出現(xiàn)的問題
9.4.2　做好軟件評審工作的建議
9.4.3　一個(gè)軟件需求規(guī)格說明書的評審用檢查單
習(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　軟件評審過程
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章　測試可靠性與軟件可靠性
11.1　測試可靠性理論
11.1.1　測試可靠性的奠基性理論
11.1.2　路徑測試可靠性理論
11.1.3　暴露子域理論
11.1.4　測試的數(shù)學(xué)符號系統(tǒng)
11.2　軟件可靠性概念
11.3　軟件可靠性模型
11.4　軟件可靠性在軟件測試中的應(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)