Practical Model-Based Testing
-24 %

Practical Model-Based Testing

A Tools Approach, Academic/professional/technical: Research and professional
 Buch
Sofort lieferbar | Lieferzeit:3-5 Tage I

Unser bisheriger Preis:ORGPRICE: 79,30 €

Jetzt 60,28 €*

Alle Preise inkl. MwSt. | zzgl. Versand
ISBN-13:
9780123725011
Einband:
Buch
Erscheinungsdatum:
01.01.2007
Seiten:
456
Autor:
Mark Utting
Gewicht:
1156 g
Format:
246x194x32 mm
Serie:
Morgan Kaufmann
Sprache:
Englisch
Beschreibung:

Gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. This book is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.
1 The Challenge; 2 The Pain and the Gain; 3 A Model of your System; 4 Selecting your Tests; 5 Testing from Finite State Machines; 6 Testing from Pre/Post Models; 7 Testing from UML Models; 8 Making Tests Executable; 9 The GSM 11.11 Case Study; 10 The ATM Case Study; 11 Putting it into Practice; Appendix; Index 1 The Challenge; 2 The Pain and the Gain; 3 A Model of your System; 4 Selecting your Tests; 5 Testing from Finite State Machines; 6 Testing from Pre/Post Models; 7 Testing from UML Models; 8 Making Tests Executable; 9 The GSM 11.11 Case Study; 10 The ATM Case Study; 11 Putting it into Practice; Appendix; Index
Practical Model-Based Testing gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics.
The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems.

From this book you will learn:

The basic principles and terminology of model-based testing
How model-based testing differs from other testing processes
How model-based testing fits into typical software lifecycles such as agile methods and the Unified Process
The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market
A step-by-step process for applying model-based testing
How to write good models for model-based testing
How to use a variety of test selection criteria to control the tests that are generated from your models
How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments

Presents the basic principles and terminology of model-based testing
Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market
Offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies