.png){kind=icon}
Return
Adaptive testing for specification coverage and refinement in CPS models
.png){kind=icon}
OA
AI
DOI：10.1016/j.nahs.2022.101254.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
Design of correct cyber-physical systems (CPS) is of uttermost importance for safety -critical applications. This crucial yet extremely challenging property is often addressed in practice by simulation-based methods. The simulation activity can be made more systematic and rigorous by using formal specifications to express requirements and guide the testing of the system.In this paper, we develop a procedure for generating tests from formal specifi-cations given in Signal Temporal Logic (STL), a declarative language used to express CPS requirements. The proposed test generation method is adaptive with the aim at achieving specification coverage. We devise to this goal cooperative reachability games, which we enhance with numerical optimization to facilitate exercising various parts of specifications. The resulting approach is effective in finding specification violations, but also in increasing confidence (via coverage) that the specification is satisfied. In the latter case, we also propose a method for automatically refining the specification into its part that is actually implemented, thus gaining additional insight into the system-under-test.(c) 2022 The Authors. Published by Elsevier Ltd. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).
Keywords:
Game based testing
Falsification testing
Specification coverage
Specification refinement
Signal temporal logic
Cyber-physical systems
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
N
IF:
4.1
Papers:
1.4K
Citations:
3.1K
Organization
Cited Papers
ShareSaveShareSaveSurvey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions.png)
IEEE ACCESSOAAI
IEEE ACCESSIF3.6
OAAIShareSaveIncrease in ATPase activity in red cell membranes as a function of freezing regimenCryobiology
CryobiologyIF0
PREAI
ShareSaveShareSaveShareSaveShareSave
View more