The Craft of Model-Based Testing

ISBN-13: 9781032339672 / Angielski / Miękka / 2022 / 456 str.

Paul C. Jorgensen

Opis

Model-based testing has long been used in Europe and is becoming more popular in the U.S. and the rest of the world. This book examines systems and software models, provides guidance on model selection, and explains how to test models. Readers also learn how to implement model-based testing in their development organizations. The book follows th

Spis treści

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

O autorze

Paul C. Jorgensen