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