作者：
出版社： 机械工业出版社
CIP号：2019110945
书号：978-7-111-62898-9
出版地：北京
出版时间：2019.7
定价：￥79.0
本书是知名的“Craftsman”系列软件测试书籍中的新作，主要讨论基于模型的测试（MBT）技术。第一部分讲解理论知识，介绍了9种不同的测试模型。第二部分关注实践方法，涵盖6个商用的MBT产品和6个开源工具。书中设计了两个贯穿各章的例子，一个简单的保费计算系统，一个事件驱动的车库门控系统，以帮助读者深入理解建模过程和工具的应用技巧。