Model-Based Testing for Embedded Systems

Preface

The ever-growing pervasion of software-intensive systems into technical, business, and social

areas not only consistently increases the number of requirements on system functionality

and features but also puts forward ever-stricter demands on system quality and reliability.

In order to successfully develop such software systems and to remain competitive on top of

that, early and continuous consideration and assurance of system quality and reliability are

becoming vitally important.

To achieve effective quality assurance, model-based testing has become an essential ingre-

dient that covers a broad spectrum of concepts, including, for example, ...