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...