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

[美] 保羅·C.喬根森(Paul C. Jorgensen) 著

立即出貨

買這商品的人也買了...

商品描述

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

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