NOV Practical Model-Based Testing: A Tools Approach

Publisher: Morgan Kaufmann
Language: English
ISBN: 0123725011
Paperback: 456 pages
Data: Nov 2006
Format: PDF
Description: 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.

Download

Link 2