Model-based Testing in Practice.

The current industrial trend to increasing complexity and functionality in software and electronic components leads to an ever-growing demand for software quality - combined with an increasing error-proneness which is also related to shortened development times. In order to remain competitive, an early and continuous consideration and assurance of system quality becomes an asset of ever-increasing importance in industrial software development. Model-based approaches help not only in effective quality assurance, but help also to evaluate and control the coverage, costs, and risks related to the testing efforts. Both - the effectiveness and the efficiency of testing - can be handled by model-based approaches within integrated system and test development for software-intense systems. Currently, model-based testing considers selected aspects of system models in isolation, e.g. structural or behavioural models. This means that the methods are of limited applicability and that they also do not scale with respect to the size and conceptual complexity of real systems. The Testing Workshop at ECMDA seeks to provide answers to the many open issues related to model-driven testing.