Testing Self-Adaptive Systems Using Fault Injection and Combinatorial Testing

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.