Constraint-based test scenario description language

Testing as main quality assurance activity in industrial software intensive systems development constitutes up to 50% of development effort. In contrast to traditional office software development practice the specification and running of test suites for distributed and embedded systems sets even higher cost margin and motivates an active research on better test specification languages and tools in test automation domain. Another motivator of this study is practical test engineering that covers both the usability aspects as well as solid theoretical foundations to provide algorithmic support and trustable results. We focus on the design and implementation issues of a test scenario specification language that together with a language for modelling Systems Under Test constitutes the core of our model-based testing framework.