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.