ISBN-13: 9781439818459 / Angielski / Twarda / 2011 / 688 str.
This book explores model-based testing from a number of different perspectives. Combining various aspects of embedded systems and software--and their how they are applied--it covers theory and practice concerning the test specification and validation of complex software-intensive embedded systems. Model-based testing refers to software testing in which test cases are either wholly or partially derived from a model, illustrating selected aspects of a system under test. Detailed examples from industry provide solutions that are applicable in real-world testing practices. The text provides a better understanding of system and software quality problems, as well as the entire test process.