Contract-Based Specification and Test Generation for Adaptive Systems
Title | Contract-Based Specification and Test Generation for Adaptive Systems |
Publication Type | Conference Paper |
Year of Publication | 2021 |
Authors | Graics, B., Molnár, V., and Majzik, I. |
Conference Name | 16th International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX) |
Date Published | 07/2021 |
Publisher | Springer |
Conference Location | Wrocław, Poland |
Abstract | Control systems in railway, automotive or industrial robotic applications are generally tightly integrated into their environment to allow adapting to environmental changes. This paper proposes a contract-based specification and testing approach for adaptive systems based on the combination of a high-level scenario language (LSC variant) and an adaptive contract language (statechart extension). The scenario language supports high-level modeling constructs as well as configurable options for test generation. The adaptive contract language supports the flexible definition of scenario contract activation and deactivation based on environmental changes or interactions. Tests can be derived from adaptive contract descriptions using the combination of graph-traversal algorithms and integrated model checker back-ends. The applicability of the approach is demonstrated in the context of the Gamma framework. |
DOI | 10.1007/978-3-030-76773-0 |
Refereed Designation | Refereed |