AuthorsS. Ali, T. Yue and M. Zhang
TitleTackling Uncertainty in Cyber-Physical Systems with Automated Testing
AfilliationSoftware Engineering
Project(s)The Certus Centre (SFI), U-Test: Testing Cyber-Physical Systems under Uncertainty: Systematic, Extensible, and Configurable Model-based and Search-based Testing Methodologies
Publication TypeJournal Article
Year of Publication2016
JournalADA User Journal
KeywordsCyber-Physical Systems, Search-Based Software Engineering, Testing, Uncertainty

The U-Test-EU project aims at developing new methods and techniques for testing Cyber-Physical Systems (CPSs) under uncertainty. This paper aims to provide the current status of the results achieved in the project during the first one and half years. Our ultimate aim is to enable collaboration among several Horizon2020 projects focusing on CPSs. This paper focuses on the research results from the following four perspectives in the context of the project: 1) Understanding uncertainty in CPSs, 2) Modeling uncertainty in CPSs to support automated testing, 3) Discovering unspecified uncertainties, 4) Testing CPSs under the specified and discovered uncertainties. In addition to the research results, we also present a set of standardization activities that are planned in the project with the final goal of bringing results to a wider audience than the targeted projects and consortium of the project.



This work is supported by EU project (Testing Cyber-Physical Systems under Uncertainty).

Citation Key24649