Description
Book SynopsisIn 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 modelsflowcharts, decision tables, and UML Activity chartsexpress the important aspects of the insurance premium problem. It also shows how transition-based
Table of Contents
Preface
Acknowledgments
About the Author
Part 1 THEORY OF MODELS FOR MODEL-BASED TESTING
1 Overview of Model-Based Testing
2 Flowcharts
3 Decision Tables
4 Finite State Machines
5 Petri Nets
6 Event-Driven Petri Nets
7 Statecharts
8 Swim Lane Event-Driven Petri Nets
9 Object-Oriented Models
10 Business Process Modeling and Notation
Part 2 THE PRACTICE OF MODEL-BASED TESTING
11 About the International Software Testing Qualification Board
12 Implementing MBT in an Organization
13 Information Provided to Model-Based Testing Tool Vendors
14 Smartesting Yest and CertifyIt
15 TestOptimal
16 Conformiq, Inc.
17 Elvior
18 sepp.med GmbH
19 Verified Systems International GmbH
20 Open-Source Model-Based Testing Tools
Index
