本書是的“Craftsman”系列軟體測試書籍中的新作，主要討論基於模型的測試（MBT）技術。
第一部分講解理論知識，介紹了9種不同的測試模型。
第二部分關注實踐方法，涵蓋6個商用的MBT產品和6個開源工具。書中設計了兩個貫穿各章的例子，一個簡單的保費計算系統，一個事件驅動的車庫門控系統，以説明讀者深入理解建模過程和工具的應用技巧。
第一部分講解理論知識，介紹了9種不同的測試模型。
第二部分關注實踐方法，涵蓋6個商用的MBT產品和6個開源工具。書中設計了兩個貫穿各章的例子，一個簡單的保費計算系統，一個事件驅動的車庫門控系統，以説明讀者深入理解建模過程和工具的應用技巧。