Authors | T. Ma, S. Ali and T. Yue |
Title | Modeling Foundations for Executable Model-Based Testing of Self-Healing Cyber-Physical Systems |
Afilliation | Software Engineering |
Project(s) | MBT4CPS: Model-Based Testing For Cyber-Physical Systems , Department of Engineering Complex Software Systems |
Status | Published |
Publication Type | Journal Article |
Year of Publication | 2018 |
Journal | Software and Systems Modeling |
Pagination | 1-31 |
Date Published | 11/2018 |
Publisher | Springer |
Place Published | Berlin Heidelberg |
ISSN | 1619-1374 |
Abstract | Self-healing Cyber-Physical Systems (SH-CPSs) detect and recover from faults by themselves at runtime. Testing such systems is challenging due to the complex implementation of self-healing behaviors and their interaction with the physical environment, both of which are uncertain. To this end, we propose an executable model-based approach to test self-healing behaviors under environmental uncertainties. The approach consists of a Modeling Framework of SH-CPSs (MoSH) and an accompanying Test Model Executor (TM-Executor). MoSH provides a set of modeling constructs and a methodology to specify executable test models, which capture expected system behaviors and environmental uncertainties. TM-Executor executes the test models together with the systems under test, to dynamically test their self-healing behaviors under uncertainties. We demonstrated the successful application of MoSH to specify 11 self-healing behaviors and 17 uncertainties for three SH-CPSs. The time spent by TM-Executor to perform testing activities was in the order of milliseconds, though the time spent was strongly correlated with the complexity of test models. |
DOI | 10.1007/s10270-018-00703-y |
Citation Key | 26183 |