UML自動(dòng)化測試技術(shù)

前言.
第1章軟件測試及自動(dòng)化
1.1軟件測試
1.2軟件測試的目的
1.3軟件測試方法
1.3.1白盒測試
1.3.2黑盒測試
1.3.3ALAC測試
1.3.4單元測試
1.3.5集成測試
1.3.6系統(tǒng)測試
1.4自動(dòng)化測試
1.4.1自動(dòng)化測試及分類
1.4.2自動(dòng)化測試過程
本章小結(jié)
習(xí)題
第2章UML建模語言
2.1UML簡介
2.1.1面向?qū)ο蟮拈_發(fā)方法
2.1.2UMI的發(fā)展
2.1.3UML的含義
2.1.4UML組成
2.2測試使用的模型
2.2.1用例圖
2.2.2順序圖
2.2.3協(xié)作圖
2.2.4狀態(tài)圖
2.2.5活動(dòng)圖
2.3對象約束語言
2.3.1初識(shí)OCL
2.3.2OCL與UML模型元素
2.3.3基本類型和值
2.3.4對象及其屬性
2.3.5集合操作
2.3.6消息
本章小結(jié)
習(xí)題
第3章基干規(guī)格說明的測試和UML方法
3.1基于代碼與基于規(guī)格說明
3.2基于規(guī)格說明的測試
3.2.1方法分類
3.2.2響應(yīng)系統(tǒng)的測試
3.2.3基于斷言的方法
3.3基于UML的測試方法
3.3.1測試階段與方法
3.3.2測試過程
3.3.3UML自動(dòng)化測試架構(gòu)
3.4基于UML測試中的若干問題
3.4.1面向路徑的測試數(shù)據(jù)自動(dòng)生成
3.4.2測試預(yù)言.期望結(jié)果的自動(dòng)生成
3.4.3回歸測試和測試選擇
本章小結(jié)
習(xí)題
第4章基于UML的單元測試
4.1單元測試概述
4.1.1單元測試
4.1.2極限編程中的單元測試
4.2傳統(tǒng)的單元測試
4.2.1路徑測試
4.2.2條件測試路徑選擇
4.3面向?qū)ο蟮膯卧獪y試
4.3.1類測試模型
4.3.2構(gòu)建類測試用例
4.3.3根據(jù)類圖和OCL生成測試用例
4.3.4根據(jù)狀態(tài)轉(zhuǎn)換圖構(gòu)建測試用例
4.4往返路徑測試方法
4.4.1基于狀態(tài)的測試方法概述
4.4.2往返路徑測試
4.4.3測試生成例子
4.5基于狀態(tài)圖的自動(dòng)化單元測試
4.5.1狀態(tài)轉(zhuǎn)換測試序列
4.5.2調(diào)用序列樹
4.5.3構(gòu)造調(diào)用序列樹
4.5.4獲得測試約束條件
4.5.5OrderSet例子
本章小結(jié)
習(xí)題
第5章基于UML的集成測試
5.1集成測試概述
5.1.1集成測試的目的和意義
5.1.2集成測試的方案
5.2基于UML協(xié)作圖的集成測試
5.2.1方法概述
5.2.2UML協(xié)作圖回顧
5.2.3基于協(xié)作圖的協(xié)作集成測試模式
5.2.4使用UML協(xié)作圖生成測試用例
5.2.5基于協(xié)作圖的集成測試方法相關(guān)工作
5.3基于UML狀態(tài)圖的集成測試..
5.3.1UML建模組件
5.3.2建立全局動(dòng)作模型
5.3.3測試的生成和執(zhí)行
5.3.4TnT的執(zhí)行
本章小結(jié)
習(xí)題
第6章基于UML的系統(tǒng)測試
6.1系統(tǒng)測試與方法
6.2判定表法
6.2.1建立判定表
6.2.2判定表法舉例
6.3場景測試法
6.3.1從用例模型生成測試用例
6.3.2ATM例子
6.4基于用例圖和活動(dòng)圖的測試方法
6.4.1方法簡介
6.4.2在線書店例子
6.5TOTEM方法
6.5.1概述
6.5.2產(chǎn)生用例序列
6.5.3確定用例場景
6.5.4變量序列的產(chǎn)生
6.5.5自動(dòng)化的實(shí)現(xiàn)
本章小結(jié)
習(xí)題
第7章基于UML的Web應(yīng)用系統(tǒng)測試
7.1Web應(yīng)用的測試
7.1.1Web應(yīng)用的特點(diǎn)和故障源
7.12Web系統(tǒng)的測試內(nèi)容
7.1.3Web應(yīng)用的測試方法
7.2Web應(yīng)用和UML建模
7.2.1Web應(yīng)用的框架
7.2.2Web應(yīng)用的組成
7.2.3Web應(yīng)用的建模
7.3基于OOWTM的測試方法
7.3.1對象模型和測試方法
7.3.2行為模型和測試方法
7.3.3結(jié)構(gòu)模型和測試方法
7.4Webcomp測試方法
7.4.1WebRecords實(shí)例介紹
7.4.2系統(tǒng)建模
7.4.3基于優(yōu)先權(quán)的場景測試
7.4.4Webcomp單元測試
本章小結(jié)
習(xí)題
第8章基于UML的可靠性測試
8.1軟件的可靠性測試和方法
8.1.1軟件可靠性測試概念
8.1.2軟件可靠性測試過程
8.1.3基于功能分解的軟件可靠性測試方
8.1.4軟件可靠性評估
8.2基于使用模型的測試
8.2.1使用模型和基于使用的測試
8.2.2使用模型的創(chuàng)建過程
8.3基于用例模型的測試方法
8.3.1用例的精化
8.3.2從用例到狀態(tài)圖
8.3.3從狀態(tài)圖到使用圖
8.3.4從使用圖到使用模型
8.3.5從使用模型到測試用例
8.4一種改進(jìn)的測試方法
8.4.1模型的定義
8.4.2生成使用模型
8.4.3測試舉例
本章小結(jié)
習(xí)題
第9章回歸測試和測試用例優(yōu)選
9.1回歸測試
9.1.1回歸測試的策略
9.1.2回歸測試的類型和一般步驟
9.1.3選擇性回歸測試的3種標(biāo)準(zhǔn)
9.1.4結(jié)構(gòu)化軟件回歸測試技術(shù)
9.1.5面向?qū)ο筌浖幕貧w測試
9.1.6自動(dòng)回歸測試工具
9.2跟蹤性和測試選擇
9.3完全測試覆蓋準(zhǔn)則
9.3.1白盒測試覆蓋準(zhǔn)則
9.3.2基于UML的覆蓋準(zhǔn)則
9.4測試用例優(yōu)選技術(shù)
9.4.1測試用例的優(yōu)選問題
9.4.2基于缺陷探測率的優(yōu)選技術(shù)
9.4.3基于風(fēng)險(xiǎn)的優(yōu)選技術(shù)
本章小結(jié)
習(xí)題
第10章基于UML的自動(dòng)測試架構(gòu)和工具
10.1AGEDlS
10.1.1AGEDIS的測試方法
10.1.2AGEDIS的體系結(jié)構(gòu)
10.1.3AGEDIS的接口
10.1.4AGEDIS的工具集
10.1.5AGEDIS測試實(shí)例
10.2PRUDE
10.2.1PRUDE簡介
10.2.2PRUDE平臺(tái)的體系結(jié)構(gòu)和自動(dòng)化
10.2.3PRUDE應(yīng)用舉例
10.3TDE／UML
10.3.1TDE／UML軟件測試環(huán)境框架
10.3.2TDE／UML設(shè)計(jì)與執(zhí)行
本章小結(jié)
習(xí)題
參考文獻(xiàn)...