The Craft of Model-Based Testing

Paul C. Jorgensen

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

商品描述

In his latest work, author Paul C Jorgensen takes his well-honed craftsman’s approach to mastering model-based testing (MBT). To be expert at MBT, a software tester has to understand it as a craft rather than an art. This means a tester should have deep knowledge of the underlying subject and be well practiced in carrying out modeling and testing techniques. Judgment is needed, as well as an understanding of MBT the tools.

The first part of the book helps testers in developing that judgment. It starts with an overview of MBT and follows with an in-depth treatment of nine different testing models with a chapter dedicated to each model. These chapters are tied together by a pair of examples: a simple insurance premium calculation and an event-driven system that describes a garage door controller. The book shows how simpler models―flowcharts, decision tables, and UML Activity charts―express the important aspects of the insurance premium problem. It also shows how transition-based models―finite state machines, Petri nets, and statecharts―are necessary for the garage door controller but are overkill for the insurance premium problem. Each chapter describes the extent to which a model can support MBT.

The second part of the book gives testers a greater understanding of MBT tools. It examines six commercial MBT products, presents the salient features of each product, and demonstrates using the product on the insurance premium and the garage door controller problems. These chapters each conclude with advice on implementing MBT in an organization. The last chapter describes six Open Source tools to round out a tester’s knowledge of MBT. In addition, the book supports the International Software Testing Qualifications Board’s (ISTQB®) MBT syllabus for certification.

商品描述(中文翻譯)

在他的最新作品中,作者Paul C Jorgensen以他熟練的工匠方法來探討模型驅動測試(MBT)。要成為MBT的專家,軟體測試人員必須將其視為一門技藝而非藝術。這意味著測試人員應該對底層主題有深入的了解,並熟練地進行建模和測試技術。需要判斷力,以及對MBT工具的理解。

本書的第一部分幫助測試人員培養判斷力。它首先概述了MBT,然後深入介紹了九種不同的測試模型,每個模型都有一章專門介紹。這些章節通過兩個示例相互關聯:一個簡單的保險費用計算和一個描述車庫門控制器的事件驅動系統。本書展示了更簡單的模型(流程圖、決策表和UML活動圖)如何表達保險費用問題的重要方面。它還展示了過渡模型(有限狀態機、Petri網絡和狀態圖)對於車庫門控制器是必需的,但對於保險費用問題來說過於繁瑣。每個章節描述了模型在支持MBT方面的程度。

本書的第二部分使測試人員更加了解MBT工具。它檢視了六種商業MBT產品,介紹了每個產品的重點功能,並演示了如何在保險費用和車庫門控制器問題上使用該產品。這些章節每個都以在組織中實施MBT的建議結束。最後一章描述了六種開源工具,以完善測試人員對MBT的了解。此外,本書支持國際軟體測試資格委員會(ISTQB®)的MBT課程大綱,用於認證。