基於模型的測試:一個軟件工藝師的方法
[美] 保羅·C.喬根森(Paul C. Jorgensen) 著
- 出版商: 機械工業
- 出版日期: 2019-07-01
- 定價: $474
- 售價: 8.5 折 $403
- 語言: 簡體中文
- ISBN: 7111628985
- ISBN-13: 9787111628989
-
相關分類:
軟體測試
- 此書翻譯自: The Craft of Model-Based Testing
立即出貨
買這商品的人也買了...
-
$1,098FXRuby: Create Lean and Mean GUIs with Ruby
-
$850$808 -
$450$405 -
$780$616 -
$1,411$1,337 -
$419$398 -
$332Web應變之道
-
$1,575$1,496 -
$580$406 -
$780$616 -
$474$450 -
$450$356 -
$352模型檢測
-
$331敏捷軟件開發:用戶故事實戰 (User Stories Applied: For Agile Software Developm)
-
$403電腦程序的構造和解釋, 2/e (典藏版) (Structure and Interpretation of Computer Programs, 2/e)
-
$354$336 -
$1,000$790 -
$474$450 -
$352軟件項目估算 Software Project Estimation
-
$474$450 -
$454松本行弘 編程語言的設計與實現
-
$474$450 -
$403精通 Selenium WebDriver 3.0 (第2版)
-
$740$703 -
$400$340
商品描述
本書是知名的“Craftsman”系列軟件測試書籍中的新作,主要討論基於模型的測試(MBT)技術。作為一門手藝而非藝術,其關鍵在於:對被測軟件或系統的理解,選擇合適工具的能力,以及使用這些工具的經驗。圍繞這三個方面,書中不僅綜合闡述了MBT的理論知識及工具,而且分享了作者的實戰經驗。
本書共兩個部分:第一部分講解理論知識,介紹了9種不同的測試模型,包括流程圖、決策表、有限狀態機、Petri網和UML等;第二部分關註工具及實踐,介紹了6個商用的MBT產品和6個開源的MBT工具,包括Yest、CertifyIt、TestOptimal和ModelJUnit 2.5等。書中設計了兩個貫穿各章的例子,一個簡單的保費計算系統,一個事件驅動的車庫門控系統,以幫助讀者深入理解建模過程和工具的應用技巧。
本書共兩個部分:第一部分講解理論知識,介紹了9種不同的測試模型,包括流程圖、決策表、有限狀態機、Petri網和UML等;第二部分關註工具及實踐,介紹了6個商用的MBT產品和6個開源的MBT工具,包括Yest、CertifyIt、TestOptimal和ModelJUnit 2.5等。書中設計了兩個貫穿各章的例子,一個簡單的保費計算系統,一個事件驅動的車庫門控系統,以幫助讀者深入理解建模過程和工具的應用技巧。