所有分类
  • 所有分类
  • 机械工业
  • 人民邮电
  • 清华大学
  • 电子工业

基于模型的测试 一个软件工艺师的方法 PDF下载

基于模型的测试 一个软件工艺师的方法 PDF下载插图

基于模型的测试 一个软件工艺师的方法封面

基于模型的测试 一个软件工艺师的方法 PDF下载插图1

基于模型的测试 一个软件工艺师的方法书签

基本信息
作者: [美]保罗·C. 乔根森(Paul C. Jorgensen)
丛书名: 计算机科学丛书
出版社:机械工业出版社
ISBN:9787111628989
上架时间:2019-7-12
出版日期:2019 年6月
开本:16开
页码:280
版次:1-1
所属分类:计算机 > 软件工程及软件方法学 > 软件方法/软件工程

内容简介
书籍
计算机书籍
本书第一部分讲解相关理论,帮助测试人员形成概念并培养判断能力。首先简要介绍什么是基于模型的测试(MBT),然后分别用9个章节介绍了9种不同的测试模型。这些章节是通过两个例子联系在一起的:一个简单的保险费计算系统,一个描述车库门控制器的事件驱动系统。每一章都详细描述了模型如何应用于MBT。本书的第二部分强调实践,使测试人员对MBT工具有更深入的了解。讨论了6个商业MBT产品,展示了每个产品的显著特点,并演示了在保险费和车库门控制器实例中如何使用这些产品。这些章节的结尾都给出了在组织中实施MBT的建议,最后一章还介绍了六种开源工具。

目录
出版者的话
译者序
前言
致谢
作者简介
第一部分 基于模型测试的模型理论
第1章 基于模型测试概述 2
1.1 基本术语 2
1.2 事件 3
1.3 测试用例 4
1.4 测试用例的执行框架 4
1.5 MBT中的模型 4
1.6 ISTQB中的MBT扩展 5
1.7 MBT的形式 5
1.8 案例集 5
1.8.1 单元级问题:保费计算 5
1.8.2系统级问题:车库门控系统 6
1.8.3 其他案例 7
1.9 MBT的技术现状 8
参考文献 9
第2章 流程图 10
2.1 定义与表示法 10
2.2 技术详解 10
2.3 案例分析 12
2.3.1 日期计算函数 12
2.3.2 风寒指数表 12
2.3.3 保费计算流程图 13
2.3.4 车库门控系统流程图 13
2.4 基于流程图派生的测试用例 15
2.4.1 保费计算问题的测试用例 15
2.4.2 车库门控系统的测试用例 17
2.5 优势与局限 18
2.6 经验教训 20
参考文献 20
第3章 决策表 21
3.1 定义与表示法 21
3.2 技术详解 22
3.2.1 决策表的精简 22
3.2.2 有互斥条件的决策表 22
3.2.3 冗余和不一致的决策表 24
3.2.4 决策表引擎 24
3.3 案例分析 25
3.3.1 日期计算函数 25
3.3.2 汽车刮水器控制器 26
3.3.3 铁路道口门控制器 27
3.4 基于决策表派生的测试用例 28
3.4.1 保费计算问题的决策表 28
3.4.2 车库门控系统的决策表 30
3.4.3 车库门控系统的测试用例 31
3.5 优势与局限 32
3.6 经验教训 32
参考文献 33
第4章 有限状态机 34
4.1 定义与表示法 34
4.1.1 有限状态机的矩阵表达 35
4.1.2 有限状态机的文本表达 36
4.1.3 有限状态机的惯例与约束 36
4.2 技术详解 38
4.2.1 有限状态机的解释 38
4.2.2 有限状态机的实践 40
4.2.3 有限状态机引擎 40
4.3 案例分析 41
4.3.1 汽车刮水器控制器 41
4.3.2 铁路道口门控制器 43
4.4 基于有限状态机派生的测试用例 44
4.4.1 保费计算问题 45
4.4.2 车库门控系统 46
4.5 经验教训 47
4.6 优势与局限 48
参考文献 49
第5章 Petri网 50
5.1 定义与表示法 50
5.1.1 可变迁与可点火 51
5.1.2 惯例 51
5.1.3 非图形化的表达方式 52
5.2 技术详解 53
5.2.1 顺序、选择和循环 54
5.2.2 可用、不可用和激活 55
5.2.3 触发 55
5.2.4 挂起、恢复和暂停 55
5.2.5 冲突和优先级 56
5.2.6 互斥 56
5.2.7 同步 56
5.2.8 标记和可用序列 57
5.2.9 Petri网和有限状态机 58
5.2.10 Petri网引擎 58
5.3 案例分析 59
5.3.1 生产者-消费者问题 59
5.3.2 汽车刮水器控制器 61
5.4 基于Petri网派生的测试用例 62
5.4.1 保费计算问题 63
5.4.2 车库门控系统 65
5.5 经验教训 69
5.6 优势与局限 70
参考文献 71
第6章 事件驱动的Petri网 72
6.1 定义与表示法 73
6.1.1 可变迁与可点火 74
6.1.2 惯例 76
6.1.3 非图形化的表达方式 76
6.2 技术详解 77
6.2.1 上下文敏感输入事件 78
6.2.2 多原因输出事件 78
6.2.3 事件静默 78
6.2.4 事件驱动Petri网的引擎 78
6.2.5事件驱动Petri网的优势与局限 79
6.3 案例分析 79
6.3.1 铁路道口门控制器 79
6.3.2 汽车刮水器控制器 80
6.4基于事件驱动Petri网派生的测试用例 82
6.4.1 保费计算问题 83
6.4.2 车库门控系统 83
6.5 经验教训 89
6.6 优势与局限 91
参考文献 92
第7章 状态图 93
7.1 定义与表示法 93
7.2 技术详解 95
7.2.1 基于广播机制的交互 96
7.2.2 状态图引擎 96
7.2.3基于状态图派生的测试用例 97
7.3 案例分析 98
7.3.1 铁路道口门控制器 98
7.3.2 汽车刮水器控制器 98
7.4 后续问题 99
7.4.1 保费计算问题 99
7.4.2 车库门控系统 99
7.5 经验教训 104
7.6 优势与局限 105
参考文献 105
第8章 泳道型事件驱动的Petri网 106
8.1 定义与表示法 106
8.1.1 可变迁与可点火 106
8.1.2泳道型事件驱动的Petri网中的事件 107
8.2 技术详解 107
8.2.1 使用泳道模型 107
8.2.2 “模型检验” 109
8.2.3基于泳道型事件驱动的Petri网派生的测试用例 110
8.3 后续问题 112
8.3.1 保费计算问题 112
8.3.2 车库门控系统 112
8.4泳道型事件驱动的Petri网派生的测试用例 120
8.5 经验教训 120
参考文献 121
第9章 面向对象的模型 122
9.1 定义与表示法 123
9.1.1 用例图 124
9.1.2 活动图 125
9.1.3 状态图 126
9.1.4 顺序图 126
9.2 案例分析 127
9.3 后续问题 127
9.3.1 保费计算问题 127
9.3.2 车库门控系统 128
9.4基于UML模型派生的测试用例 138
9.4.1 基于活动图的测试用例 138
9.4.2 基于用例的测试用例 138
9.4.3 基于用例图的测试用例 139
9.4.4 基于顺序图的测试用例 139
9.4.5 基于状态图的测试用例 139
9.5 优势与局限 139
参考文献 141
第10章 业务流程建模和标识 142

资源下载此资源下载价格为3积分点击检测网盘有效后购买,VIP免费
客服QQ:3599229794
资源下载
下载价格3 积分
客服QQ:3599229794
0

评论0

请先

显示验证码
没有账号? 注册  忘记密码?