基於模型的測試：一個軟件工藝師的方法

本書是知名的“Craftsman”系列軟件測試書籍中的新作，主要討論基於模型的測試（MBT）技術。作為一門手藝而非藝術，其關鍵在於：對被測軟件或系統的理解，選擇合適工具的能力，以及使用這些工具的經驗。圍繞這三個方面，書中不僅綜合闡述了MBT的理論知識及工具，而且分享了作者的實戰經驗。

本書共兩個部分：第一部分講解理論知識，介紹了9種不同的測試模型，包括流程圖、決策表、有限狀態機、Petri網和UML等；第二部分關註工具及實踐，介紹了6個商用的MBT產品和6個開源的MBT工具，包括Yest、CertifyIt、TestOptimal和ModelJUnit 2.5等。書中設計了兩個貫穿各章的例子，一個簡單的保費計算系統，一個事件驅動的車庫門控系統，以幫助讀者深入理解建模過程和工具的應用技巧。