AuthorsS. Ali and T. Yue
TitleU-Test: Evolving, Modelling and Testing Realistic Uncertain Behaviours of Cyber-Physical Systems
AfilliationSoftware Engineering
Project(s)U-Test: Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies, The Certus Centre (SFI)
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2015
Conference NameAbstract for the Testing in Practice track of International Conference on Software Testing (ICST)
PublisherIEEE
Place PublishedGraz, Austria
Abstract

Short Abstract:

The goal of the U-Test project (a recently funded project under the EU Horizon2020 program (http://ec.europa.eu/programmes/horizon2020/) is to improve the dependability of Cyber-Physical Systems (CPSs), via cost-effective, model-based and search-based testing of CPSs under unknown uncertainty. Unknown uncertainty is the state of a CPS that can only be determined at the runtime as opposed to known uncertainty that is known at the design time and outcome from uncertainty is undesirable. To achieve our goal, we will advance the current state-of-art of testing CPSs by developing a novel- solution based on sound theoretical foundation for uncertainty testing in the following steps: 1) Developing a light-weight modelling solution with rich formalism to support minimal modelling of known uncertainty with risk information; 2) Intelligently evolving known uncertainty models towards realistic and risky unknown uncertainty models (evolved models) using search algorithms (e.g., genetic algorithms mimicking natural selection); and 3) Automatically generating test cases from the evolved models to test a CPS under unknown uncertainty to ensure that the CPS continues to operate properly and possibly at a reduced quality of operation, rather than failing completely.

 

Notes

Extended abstract for industry track presentation 

Citation Key23473