|Authors||S. Ali, T. Yue and M. Zhang|
|Title||Tackling Uncertainty in Cyber-Physical Systems with Automated Testing|
|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 Type||Journal Article|
|Year of Publication||2016|
|Journal||ADA User Journal|
|Keywords||Cyber-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).