Project goals of U-Test
U-Test aims to improve the reliability of cyber-physical systems by provoking, analyzing and evaluating uncertainties that can occur in the systems or their environment. For this purpose, a model-based, search-based test approach is chosen. This achieves a high degree of automation, thus enabling cost savings in the quality assurance of such systems. In detail, U-Test will:
- provide a comprehensive and extensible taxonomy of uncertainties, classifying uncertainties, their properties, and their relationships.
- create an Uncertainty Modeling Framework (UMF) based on existing modeling and testing standards. Using this UMF, uncertainties at various architectural levels as well as a test evaluation function for critical system functionality can be modeled.
- develop an intelligent, search-based method to uncover previously unknown uncertainties. This method is based on a functional model of the system under test as well as uncertainty models in the system or its environment.
- generate test cases that are automated and highly scalable based on the reaction of the system under test. These test cases provoke previously unknown uncertainties in the system and detect impairments to the critical system functionality.
The feasibility and applicability of the methods and concepts developed in the U-Test project will be demonstrated in two industrial case studies: a Geo Sports Case Study (athlete health monitoring during training and match) and Handling Systems Case Study (warehouse logistics).
Contribution from the business unit Quality Engineering
The business unit Quality Engineering adapts its experiences in developing advanced modelling and testing methods for safety-critical systems to uncover unknown uncertainties of cyber-physical systems. In addition, technologies developed by the business unit Quality Engineering are used. This includes:
- ModelBus®: An open source framework for tool integration in software and systems development that automates the execution of complex and error-prone development tasks.
- Focus! MBT: A test modeling methodology and test automation platform focused on automation of dynamic test processes – including automated test design, automated execution as well as automated test evaluation.
U-Test is funded by the European Union's funding program Horizon 2020.