Librería Portfolio Librería Portfolio

Búsqueda avanzada

TIENE EN SU CESTA DE LA COMPRA

0 productos

en total 0,00 €

THE CRAFT OF MODEL-BASED TESTING
Título:
THE CRAFT OF MODEL-BASED TESTING
Subtítulo:
Autor:
JORGENSEN, P
Editorial:
CRC PRESS
Año de edición:
2017
Materia
CALIDAD DEL SOFTWARE
ISBN:
978-1-4987-1228-6
Páginas:
434
88,95 €

 

Sinopsis

Features

Gives introduction and overview of Model-Based Testing (MBT)
Provides guidance for choosing appropriate models to support MBT
Clarifies levels of MBT: manual, semi-automatic, and fully automated
Derives examples of manual, semi-automatic, and fully automated tests from corresponding models
Examines commercially available tools for MBT
Summary

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.



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