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