21世纪大学计算机专业教材 UML自动化测试技术2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

21世纪大学计算机专业教材 UML自动化测试技术PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 软件测试及自动化1

1.1 软件测试1

1.2 软件测试的目的3

1.3 软件测试方法4

1.3.1 白盒测试4

1.3.2 黑盒测试5

1.3.3 ALAC测试5

1.3.4 单元测试5

1.3.5 集成测试6

1.3.6 系统测试8

1.4.1 自动化测试及分类9

1.4 自动化测试9

1.4.2 自动化测试过程10

本章小结21

习题21

第2章 UML建模语言22

2.1 UML简介22

2.1.1 面向对象的开发方法22

2.1.2 UML的发展23

2.1.3 UML的含义24

2.1.4 UML组成25

2.2 测试使用的模型27

2.2.1 用例图27

2.2.2 顺序图30

2.2.3 协作图32

2.2.4 状态图33

2.2.5 活动图35

2.3 对象约束语言37

2.3.1 初识OCL37

2.3.2 OCL与UML模型元素38

2.3.3 基本类型和值41

2.3.4 对象及其属性44

2.3.5 集合操作45

本章小结47

习题47

2.3.6 消息47

第3章 基于规格说明的测试和UML方法48

3.1 基于代码与基于规格说明48

3.2 基于规格说明的测试49

3.2.1 方法分类49

3.2.2 响应系统的测试50

3.2.3 基于断言的方法50

3.3 基于UML的测试方法55

3.3.1 测试阶段与方法56

3.3.2 测试过程58

3.3.3 UML自动化测试架构59

3.4.2 测试预言、期望结果的自动生成60

3.4 基于UML测试中的若干问题60

3.4.1 面向路径的测试数据自动生成60

3.4.3 回归测试和测试选择61

本章小结61

习题62

第4章 基于UML的单元测试63

4.1 单元测试概述63

4.1.1 单元测试63

4.1.2 极限编程中的单元测试64

4.2 传统的单元测试64

4.2.1 路径测试64

4.2.2 条件测试路径选择69

4.3 面向对象的单元测试71

4.3.1 类测试模型71

4.3.2 构建类测试用例71

4.3.3 根据类图和OCL生成测试用例72

4.3.4 根据状态转换图构建测试用例77

4.4 往返路径测试方法79

4.4.1 基于状态的测试方法概述79

4.4.2 往返路径测试80

4.4.3 测试生成例子81

4.5.1 状态转换测试序列84

4.5.2 调用序列树84

4.5 基于状态图的自动化单元测试84

4.5.3 构造调用序列树87

4.5.4 获得测试约束条件90

4.5.5 OrderSet例子90

本章小结93

习题93

第5章 基于UML的集成测试94

5.1 集成测试概述94

5.1.1 集成测试的目的和意义94

5.1.2 集成测试的方案95

5.2.1 方法概述98

5.2 基于UML协作图的集成测试98

5.2.2 UML协作图回顾99

5.2.3 基于协作图的协作集成测试模式103

5.2.4 使用UML协作图生成测试用例104

5.2.5 基于协作图的集成测试方法相关工作112

5.3 基于UML状态图的集成测试113

5.3.1 UML建模组件113

5.3.2 建立全局动作模型115

5.3.3 测试的生成和执行131

5.3.4 TnT的执行134

本章小结137

习题137

6.1 系统测试与方法138

第6章 基于UML的系统测试138

6.2 判定表法140

6.2.1 建立判定表140

6.2.2 判定表法举例141

6.3 场景测试法143

6.3.1 从用例模型生成测试用例143

6.3.2 ATM例子144

6.4 基于用例图和活动图的测试方法149

6.4.1 方法简介149

6.4.2 在线书店例子149

6.5.1 概述157

6.5 TOTEM方法157

6.5.2 产生用例序列159

6.5.3 确定用例场景166

6.5.4 变量序列的产生172

6.5.5 自动化的实现173

本章小结177

习题178

第7章 基于UML的Web应用系统测试179

7.1 Web应用的测试179

7.1.1 Web应用的特点和故障源179

7.1.2 Web系统的测试内容180

7.2 Web应用和UML建模181

7.2.1 Web应用的框架181

7.1.3 Web应用的测试方法181

7.2.2 Web应用的组成182

7.2.3 Web应用的建模183

7.3 基于OOWTM的测试方法189

7.3.1 对象模型和测试方法189

7.3.2 行为模型和测试方法190

7.3.3 结构模型和测试方法194

7.4 Webcomp测试方法194

7.4.1 Web Records实例介绍194

7.4.2 系统建模195

7.4.3 基于优先权的场景测试198

7.4.4 Webcomp单元测试199

本章小结200

习题201

第8章 基于UML的可靠性测试202

8.1 软件的可靠性测试和方法202

8.1.1 软件可靠性测试概念202

8.1.2 软件可靠性测试过程203

8.1.3 基于功能分解的软件可靠性测试方法204

8.1.4 软件可靠性评估206

8.2 基于使用模型的测试206

8.2.1 使用模型和基于使用的测试206

8.2.2 使用模型的创建过程207

8.3.1 用例的精化213

8.3 基于用例模型的测试方法213

8.3.2 从用例到状态图215

8.3.3 从状态图到使用图217

8.3.4 从使用图到使用模型217

8.3.5 从使用模型到测试用例218

8.4 一种改进的测试方法219

8.4.1 模型的定义219

8.4.2 生成使用模型220

8.4.3 测试举例222

本章小结226

习题226

9.1.1 回归测试的策略227

9.1 回归测试227

第9章 回归测试和测试用例优选227

9.1.2 回归测试的类型和一般步骤229

9.1.3 选择性回归测试的3种标准230

9.1.4 结构化软件回归测试技术230

9.1.5 面向对象软件的回归测试231

9.1.6 自动回归测试工具232

9.2 跟踪性和测试选择233

9.3 完全测试覆盖准则236

9.3.1 白盒测试覆盖准则237

9.3.2 基于UML的覆盖准则237

9.4.2 基于缺陷探测率的优选技术239

9.4 测试用例优选技术239

9.4.1 测试用例的优选问题239

9.4.3 基于风险的优选技术246

本章小结248

习题248

第10章 基于UML的自动测试架构和工具249

10.1 AGFDTS249

10.1.1 AGEDIS的测试方法250

10.1.2 AGEDIS的体系结构250

10.1.3 AGEDIS的接口252

10.1.4 AGEDIS的工具集254

10.1.5 AGEDIS测试实例255

10.2 PrUDE257

10.2.1 PrUDE简介257

10.2.2 PrUDE平台的体系结构和自动化258

10.2.3 PrUDE应用举例259

10.3 TDE/UML269

10.3.1 TDE/UML软件测试环境框架269

10.3.2 TDE/UML设计与执行272

本章小结276

习题276

参考文献277