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

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