Practical model-based testing : a tools approach /

This book 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 ac...

Full description

Bibliographic Details
Main Author: Utting, Mark
Corporate Author: ScienceDirect (Online service)
Other Authors: Legeard, Bruno
Format: eBook
Language:English
Published: Amsterdam ; Boston : Morgan Kaufmann Publishers, [2007]
Subjects:
Online Access:Connect to the full text of this electronic book
Table of contents only
Publisher description
Table of Contents:
  • 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.