UML自動化測試技術

前言.
第1章軟件測試及自動化
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自動化測試
1.4.1自動化測試及分類
1.4.2自動化測試過程
本章小結
習題
第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活動圖
2.3對象約束語言
2.3.1初識OCL
2.3.2OCL與UML模型元素
2.3.3基本類型和值
2.3.4對象及其屬性
2.3.5集合操作
2.3.6消息
本章小結
習題
第3章基干規(guī)格說明的測試和UML方法
3.1基于代碼與基于規(guī)格說明
3.2基于規(guī)格說明的測試
3.2.1方法分類
3.2.2響應系統(tǒng)的測試
3.2.3基于斷言的方法
3.3基于UML的測試方法
3.3.1測試階段與方法
3.3.2測試過程
3.3.3UML自動化測試架構
3.4基于UML測試中的若干問題
3.4.1面向路徑的測試數(shù)據(jù)自動生成
3.4.2測試預言.期望結果的自動生成
3.4.3回歸測試和測試選擇
本章小結
習題
第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構建類測試用例
4.3.3根據(jù)類圖和OCL生成測試用例
4.3.4根據(jù)狀態(tài)轉(zhuǎn)換圖構建測試用例
4.4往返路徑測試方法
4.4.1基于狀態(tài)的測試方法概述
4.4.2往返路徑測試
4.4.3測試生成例子
4.5基于狀態(tài)圖的自動化單元測試
4.5.1狀態(tài)轉(zhuǎn)換測試序列
4.5.2調(diào)用序列樹
4.5.3構造調(diào)用序列樹
4.5.4獲得測試約束條件
4.5.5OrderSet例子
本章小結
習題
第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é)作圖的集成測試方法相關工作
5.3基于UML狀態(tài)圖的集成測試..
5.3.1UML建模組件
5.3.2建立全局動作模型
5.3.3測試的生成和執(zhí)行
5.3.4TnT的執(zhí)行
本章小結
習題
第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基于用例圖和活動圖的測試方法
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自動化的實現(xiàn)
本章小結
習題
第7章基于UML的Web應用系統(tǒng)測試
7.1Web應用的測試
7.1.1Web應用的特點和故障源
7.12Web系統(tǒng)的測試內(nèi)容
7.1.3Web應用的測試方法
7.2Web應用和UML建模
7.2.1Web應用的框架
7.2.2Web應用的組成
7.2.3Web應用的建模
7.3基于OOWTM的測試方法
7.3.1對象模型和測試方法
7.3.2行為模型和測試方法
7.3.3結構模型和測試方法
7.4Webcomp測試方法
7.4.1WebRecords實例介紹
7.4.2系統(tǒng)建模
7.4.3基于優(yōu)先權的場景測試
7.4.4Webcomp單元測試
本章小結
習題
第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一種改進的測試方法
8.4.1模型的定義
8.4.2生成使用模型
8.4.3測試舉例
本章小結
習題
第9章回歸測試和測試用例優(yōu)選
9.1回歸測試
9.1.1回歸測試的策略
9.1.2回歸測試的類型和一般步驟
9.1.3選擇性回歸測試的3種標準
9.1.4結構化軟件回歸測試技術
9.1.5面向?qū)ο筌浖幕貧w測試
9.1.6自動回歸測試工具
9.2跟蹤性和測試選擇
9.3完全測試覆蓋準則
9.3.1白盒測試覆蓋準則
9.3.2基于UML的覆蓋準則
9.4測試用例優(yōu)選技術
9.4.1測試用例的優(yōu)選問題
9.4.2基于缺陷探測率的優(yōu)選技術
9.4.3基于風險的優(yōu)選技術
本章小結
習題
第10章基于UML的自動測試架構和工具
10.1AGEDlS
10.1.1AGEDIS的測試方法
10.1.2AGEDIS的體系結構
10.1.3AGEDIS的接口
10.1.4AGEDIS的工具集
10.1.5AGEDIS測試實例
10.2PRUDE
10.2.1PRUDE簡介
10.2.2PRUDE平臺的體系結構和自動化
10.2.3PRUDE應用舉例
10.3TDE／UML
10.3.1TDE／UML軟件測試環(huán)境框架
10.3.2TDE／UML設計與執(zhí)行
本章小結
習題
參考文獻...