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.
Originalsprache | englisch |
---|---|
Titel | Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016 |
Herausgeber (Verlag) | Institute of Electrical and Electronics Engineers |
Seiten | 305-310 |
Seitenumfang | 6 |
ISBN (elektronisch) | 9781509037131 |
DOIs | |
Publikationsstatus | Veröffentlicht - 21 Sept. 2016 |
Veranstaltung | 2nd IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016 - Vienna, Österreich Dauer: 1 Aug. 2016 → 3 Aug. 2016 |
Konferenz
Konferenz | 2nd IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2016 |
---|---|
Land/Gebiet | Österreich |
Ort | Vienna |
Zeitraum | 1/08/16 → 3/08/16 |
ASJC Scopus subject areas
- Software
- Sicherheit, Risiko, Zuverlässigkeit und Qualität
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Basic - Fundamental (Grundlagenforschung)