Abstract
Verifying and validating systems that can adapt their behavior at runtime is still a research challenge that deserves great attention. In order to assure a certain behavior, we might prove that a self-adaptive system always fulfills certain properties, e.g., always behaving as specified in a given range. Such verification and validation techniques, however, assume the good case, i.e., that the system's environment is working as expected, i.e., that no fault occurs. In this paper, we relax this assumption, and consider testing self-adaptive systems in case of faults. In particular, we show how fault injection techniques and combinatorial testing can be used together for generating tests for self-adaptive systems.
Original language | English |
---|---|
Title of host publication | Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016 |
Publisher | IEEE |
Pages | 305-310 |
Number of pages | 6 |
ISBN (Electronic) | 9781509037131 |
DOIs | |
Publication status | Published - 21 Sept 2016 |
Event | 2nd IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016 - Vienna, Austria Duration: 1 Aug 2016 → 3 Aug 2016 |
Conference
Conference | 2nd IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016 |
---|---|
Country/Territory | Austria |
City | Vienna |
Period | 1/08/16 → 3/08/16 |
Keywords
- combinatorial testing
- fault injection
- self-adaptive systems
- test automation
- testing
ASJC Scopus subject areas
- Software
- Safety, Risk, Reliability and Quality
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Basic - Fundamental (Grundlagenforschung)