计算机科学丛书基于模型的测试:一个软件工艺师的方法
本书特色
[
本书是知名的“Craftsman”系列软件测试书籍中的新作，主要讨论基于模型的测试（MBT）技术。第壹部分讲解理论知识，介绍了9种不同的测试模型。第二部分关注实践方法，涵盖6个商用的MBT产品和6个开源工具。书中设计了两个贯穿各章的例子，一个简单的保费计算系统，一个事件驱动的车库门控系统，以帮助读者深入理解建模过程和工具的应用技巧。
]
内容简介
[
本书是知名的“Craftsman”系列软件测试书籍中的新作，主要讨论基于模型的测试（MBT）技术。第壹部分讲解理论知识，介绍了9种不同的测试模型。第二部分关注实践方法，涵盖6个商用的MBT产品和6个开源工具。书中设计了两个贯穿各章的例子，一个简单的保费计算系统，一个事件驱动的车库门控系统，以帮助读者深入理解建模过程和工具的应用技巧。
]
作者简介
[
作者简介
The Craft of Model-Based Testing
Paul C. Jorgensen博士从事电话交换系统软件开发工作20年，这是他的第一份职业。他于1986年开始了大学教学工作，先在位于亚利桑那州坦佩市的亚利桑那州立大学教授研究生的软件工程课程，后于1988年在位于密歇根州阿伦达尔的大峡谷州立大学担任正教授。在从事学术工作之余，他还短暂从事过“软件范型”的咨询业务。他曾服务于数据系统语言会议（CODASYL）、计算机协会（ACM）、电气和电子工程师协会（IEEE）标准委员会。2012年，他所在大学以“杰出学科贡献奖”表彰了他这一生的成就。
除了他的软件测试书籍《Software Testing: A Craftsman’s Approach》（第4版）之外，他还是《Modeling Software Behavior: A Craftsman’s Approach》一书的作者，以及《Mathematics for Data Processing》（McGraw-Hill，1970）一书和《Structured Methods—Merging Models, Techniques, and CASE》（McGraw-Hill, 1993）一书的合著者。*近，Jorgensen博士参与了国际软件测试评定委员会（ISTQB）的工作，他与人合作编写了相关工作的高级教学大纲，并担任了ISTQB术语工作组的副主席。他是ISTQB“基于模型的测试”教学大纲的审阅者。作者简介
The Craft of Model-Based Testing
Paul C. Jorgensen博士从事电话交换系统软件开发工作20年，这是他的第一份职业。他于1986年开始了大学教学工作，先在位于亚利桑那州坦佩市的亚利桑那州立大学教授研究生的软件工程课程，后于1988年在位于密歇根州阿伦达尔的大峡谷州立大学担任正教授。在从事学术工作之余，他还短暂从事过“软件范型”的咨询业务。他曾服务于数据系统语言会议（CODASYL）、计算机协会（ACM）、电气和电子工程师协会（IEEE）标准委员会。2012年，他所在大学以“杰出学科贡献奖”表彰了他这一生的成就。
除了他的软件测试书籍《Software Testing: A Craftsman’s Approach》（第4版）之外，他还是《Modeling Software Behavior: A Craftsman’s Approach》一书的作者，以及《Mathematics for Data Processing》（McGraw-Hill，1970）一书和《Structured Methods—Merging Models, Techniques, and CASE》（McGraw-Hill, 1993）一书的合著者。*近，Jorgensen博士参与了国际软件测试评定委员会（ISTQB）的工作，他与人合作编写了相关工作的高级教学大纲，并担任了ISTQB术语工作组的副主席。他是ISTQB“基于模型的测试”教学大纲的审阅者。
在意大利生活和工作的三年，使他成为一个坚定的“Italophile”（喜爱意大利的人）。他和妻子Carol以及女儿Kirsten和Katia曾多次访问那里的朋友。自2000年以来，Paul和Carol每年夏天都会在南达科他州Pine Ridge保护区的Porcupine学校做志愿者。他的大学电子邮件地址是jorgensp@gvsu.edu，他在2017年夏天成为荣誉退休教授，也可以通过pauljorgensen42@gmail.com联系他。
]
目录
目 录The Craft of Model-Based Testing出版者的话译者序前言致谢作者简介**部分 基于模型测试的模型理论第1章 基于模型测试概述 21.1 基本术语 21.2 事件 31.3 测试用例 41.4 测试用例的执行框架 41.5 MBT中的模型 41.6 ISTQB中的MBT扩展 51.7 MBT的形式 51.8 案例集 51.8.1 单元级问题：保费计算 51.8.2系统级问题：车库门控系统 61.8.3 其他案例 71.9 MBT的技术现状 8参考文献 9第2章 流程图 102.1 定义与表示法 102.2 技术详解 102.3 案例分析 122.3.1 日期计算函数 122.3.2 风寒指数表 122.3.3 保费计算流程图 132.3.4 车库门控系统流程图 132.4 基于流程图派生的测试用例 152.4.1 保费计算问题的测试用例 152.4.2 车库门控系统的测试用例 172.5 优势与局限 182.6 经验教训 20参考文献 20第3章 决策表 213.1 定义与表示法 213.2 技术详解 223.2.1 决策表的精简 223.2.2 有互斥条件的决策表 223.2.3 冗余和不一致的决策表 243.2.4 决策表引擎 243.3 案例分析 253.3.1 日期计算函数 253.3.2 汽车刮水器控制器 263.3.3 铁路道口门控制器 273.4 基于决策表派生的测试用例 283.4.1 保费计算问题的决策表 283.4.2 车库门控系统的决策表 303.4.3 车库门控系统的测试用例 313.5 优势与局限 323.6 经验教训 32参考文献 33第4章 有限状态机 344.1 定义与表示法 344.1.1 有限状态机的矩阵表达 354.1.2 有限状态机的文本表达 364.1.3 有限状态机的惯例与约束 364.2 技术详解 384.2.1 有限状态机的解释 384.2.2 有限状态机的实践 404.2.3 有限状态机引擎 404.3 案例分析 414.3.1 汽车刮水器控制器 414.3.2 铁路道口门控制器 434.4 基于有限状态机派生的测试用例 444.4.1 保费计算问题 454.4.2 车库门控系统 464.5 经验教训 474.6 优势与局限 48参考文献 49第5章 Petri网 505.1 定义与表示法 505.1.1 可变迁与可点火 515.1.2 惯例 515.1.3 非图形化的表达方式 525.2 技术详解 535.2.1 顺序、选择和循环 545.2.2 可用、不可用和激活 555.2.3 触发 555.2.4 挂起、恢复和暂停 555.2.5 冲突和优先级 565.2.6 互斥 565.2.7 同步 565.2.8 标记和可用序列 575.2.9 Petri网和有限状态机 585.2.10 Petri网引擎 585.3 案例分析 595.3.1 生产者-消费者问题 595.3.2 汽车刮水器控制器 615.4 基于Petri网派生的测试用例 625.4.1 保费计算问题 635.4.2 车库门控系统 655.5 经验教训 695.6 优势与局限 70参考文献 71第6章 事件驱动的Petri网 726.1 定义与表示法 736.1.1 可变迁与可点火 746.1.2 惯例 766.1.3 非图形化的表达方式 766.2 技术详解 776.2.1 上下文敏感输入事件 786.2.2 多原因输出事件 786.2.3 事件静默 786.2.4 事件驱动Petri网的引擎 786.2.5事件驱动Petri网的优势与局限 796.3 案例分析 796.3.1 铁路道口门控制器 796.3.2 汽车刮水器控制器 806.4基于事件驱动Petri网派生的测试用例 826.4.1 保费计算问题 836.4.2 车库门控系统 836.5 经验教训 896.6 优势与局限 91参考文献 92第7章 状态图 937.1 定义与表示法 937.2 技术详解 957.2.1 基于广播机制的交互 967.2.2 状态图引擎 967.2.3基于状态图派生的测试用例 977.3 案例分析 987.3.1 铁路道口门控制器 987.3.2 汽车刮水器控制器 987.4 后续问题 997.4.1 保费计算问题 997.4.2 车库门控系统 997.5 经验教训 1047.6 优势与局限 105参考文献 105第8章 泳道型事件驱动的Petri网 1068.1 定义与表示法 1068.1.1 可变迁与可点火 1068.1.2泳道型事件驱动的Petri网中的事件 1078.2 技术详解 1078.2.1 使用泳道模型 1078.2.2 “模型检验” 1098.2.3基于泳道型事件驱动的Petri网派生的测试用例 1108.3 后续问题 1128.3.1 保费计算问题 1128.3.2 车库门控系统 1128.4泳道型事件驱动的Petri网派生的测试用例 1208.5 经验教训 120参考文献 121第9章 面向对象的模型 1229.1 定义与表示法 1239.1.1 用例图 1249.1.2 活动图 1259.1.3 状态图 1269.1.4 顺序图 1269.2 案例分析 1279.3 后续问题 1279.3.1 保费计算问题 1279.3.2 车库门控系统 1289.4基于UML模型派生的测试用例 1389.4.1 基于活动图的测试用例 1389.4.2 基于用例的测试用例 1389.4.3 基于用例图的测试用例 1399.4.4 基于顺序图的测试用例 1399.4.5 基于状态图的测试用例 1399.5 优势与局限 139参考文献 141第10章 业务流程建模和标识 142
封面
书名:计算机科学丛书基于模型的测试:一个软件工艺师的方法
作者:[美]保罗·C. 乔根森（Paul C.
页数:268
定价:¥79.0
出版社:机械工业出版社
出版日期:2018-05-01
ISBN:9787111628989
PDF电子书大小:139MB 高清扫描完整版