Practical Model-Based Testing A Tools Approach Utting Legeard Hardback

Description: Practical Model-Based Testing A Tools Approach The first developer guide to Model-Based Testing Mark Utting (Author), Bruno Legeard (Author) 9780123725011 Hardback, published 14 March 2007 456 pages 23.5 x 19 x 2.8 cm, 1.09 kg "This topic is hot...and both authors are well known experts in the community of model-based testing." —Wolfgang Grieskamp, Microsoft Research 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 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 Subject Areas: Programming & scripting languages: general [UMX], Object-oriented programming [OOP UMN], Computer programming / software development [UM]

Price: 50.99 GBP

Location: AL7 1AD

End Time: 2024-08-24T11:15:28.000Z

Shipping Cost: 129.31 GBP