Practical Model-Based Testing
eBook - PDF

Practical Model-Based Testing

A Tools Approach

  1. 456 pages
  2. English
  3. PDF
  4. Available on iOS & Android
eBook - PDF

Practical Model-Based Testing

A Tools Approach

Book details
Table of contents
Citations

About This Book

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

Frequently asked questions

Simply head over to the account section in settings and click on “Cancel Subscription” - it’s as simple as that. After you cancel, your membership will stay active for the remainder of the time you’ve paid for. Learn more here.
At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.
Both plans give you full access to the library and all of Perlego’s features. The only differences are the price and subscription period: With the annual plan you’ll save around 30% compared to 12 months on the monthly plan.
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, we’ve got you covered! Learn more here.
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Yes, you can access Practical Model-Based Testing by Mark Utting,Bruno Legeard in PDF and/or ePUB format, as well as other popular books in Informatik & Programmierung. We have over one million books available in our catalogue for you to explore.

Information

Year
2010
ISBN
9780080466484

Table of contents

  1. Front cover
  2. Title page
  3. Copyright page
  4. Table of Contents
  5. Preface
  6. About the authors
  7. Chapter 1 The challenge
  8. Chapter 2 The pain and the gain
  9. Chapter 3 A model of your system
  10. Chapter 4 Selecting your tests
  11. Chapter 5 Testing from finite state machines
  12. Chapter 6 Testing from pre/post models
  13. Chapter 7 Testing from UML transition-based models
  14. Chapter 8 Making tests executable
  15. Chapter 9 The gsm 11.11 case study
  16. Chapter 10 The atm case study
  17. Chapter 11 Putting it into practice
  18. Appendix A Summary of B abstract machine notation
  19. Appendix B Summary of common OCL constructs
  20. Appendix C Commercial tools
  21. Glossary
  22. Bibliography
  23. Index