This project focuses on test automation driven by models of the system's structure and behavior. This approach to testing is often referred to as model-based testing. In this project we focus on model-based testing methods in the context of state-driven systems, modeled in part as UML state machines. Such systems are common in the telecom, manufacturing, aerospace, automotive, and energy industry sectors, for example. The project scope includes the definition of effective and scalable models for important aspects of dependability (e.g., functional correctness, performance and robustness), and the automated generation of test cases, test oracles and test scripts. This project includes four main threads: (1) The design of a flexible, adaptable, and extensible tool suite for model-based testing, (2) Wide scale comparisons of test strategies based on state machine models in terms of cost and fault detection effectiveness, (3) The definition, automation, and evaluation of test suite reduction strategies to increase (model-based) testing scalability, (4) Devising and assessing effective support for robustness behavior modeling through aspect modeling in order to reduce the overall modeling effort when accounting for non-nominal behavior.
This project is a Norwegian sub-consortium within a European ITEA 2 project on the deployment of model-based technologies to industrial testing, called D-MINT. As a D-MINT partner we will contribute to the development and assessment of model-based testing approaches in a variety of domains such as transportation, telecommunications, industrial engineering, manufacturing engineering and financial services through an international consortium of 31 partners, consisting of small and large companies such as Daimler, ABB and Nokia, tool vendors and research institutes from Germany, Finland, Netherlands, Spain, Estonia, and Norway.