Craft of Model-Based Testing

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

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Teste de software e verificação

Garage Door Controller;Petri Nets;Model-based testing;Event Driven Petri Nets;UML;MBT;systems testing;Transition S1;software testing;UML Activity Diagram;Port Input Events;Windshield Wiper Controller;Port Output Events;Test Case Generation;Ordinary Petri Nets;MBT Tool;Abstract Test Case;Context Sensitive Input Events;Concrete Test Cases;SUT;Swim Lane;Finite State Machines;Test Selection Criteria;Input Events;Business Process;Insurance Premium Problem;Case Tool;State Machine Diagram;Event Quiescence