Description: This work package will develop the principles and methods for model-based testing. The work package gets its requirements from industrial cases of WP 1 and develops theoretical solutions to be applied and evaluated in WP1 and WP3. Thus, most of the deliverables will be delivered in two versions. The first version will be submitted to tools/tool chain and applied in the industrial cases. The second one is developed with respect to the experiences along tool development and their application in industrial cases.

The work starts from existing, in particular also partial, models being requirements models, user profile/load/usage/scenario models, architectural models, defect models, behavioural models, process models or resource/cost models. The model-based tests will target component-level tests for compliance to component specifications and acceptance from components providers, integration-level tests for the composition of components, and system-level tests for the acceptance of the overall system. , functional tests for component and system features and their robustness as well as non-functional tests for component/system quality, performance and scalability will be investigated. The tests should be applied for the testing of component-based systems consisting of heterogeneous components, accessible via different interface technologies and being potentially at different locations, i.e. principles for distributed testing are to be investigated with respect to models and model-based testing.

Specifically this work package will

• develop model-based test generation principles that respect system evolution and enable tests for various deployment scenarios along system variants, configurations, and versions
• develop model-based test prioritization and selection principles based on requirements and risk assessment as well as considerations of defect and change impacts along system development
• develop model-based test validation principles that enable correctness and coverage analysis with respect to requirements, system, and risk models
• The resulting tests are to be applicable both for pre-deployment and production environment/online testing scenario. While pre-deployment testing along development is well understood, online testing is not, i.e. principles for online test methods for monitoring, auditing, and supervision are to be developed.
• Last but not least, the tests are to be applied in cooperative environments where different, potentially remote teams contribute to the development and execution of tests and to the evaluation of test results, i.e. principles for cooperative testing in relations to system and test models are to be investigated. Traceability of the relations between requirements, system models, test models, test results, and defects and to the impact analysis will be a basis for this.