基于模型的测试

书籍简介:

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

书籍规格:

书籍信息归属:

基于模型的测试是机械工业出版社于2019.7出版的中图分类号为 TP311.5 的主题关于 软件－测试 的书籍。