基于模型的测试:一个软件工艺师的方法 [美]保罗· 专业科技 软硬件技术 计算机软件工程（新） 新华书店正版图书籍机械工业出版社.

●目  录The Craft of Model-Based Testing出版者的话译者序前言致谢作者简介部分  基于模型测试的模型理论章  基于模型测试概述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参考文献1410章  业务流程建模和标识142