|
Das Paper stellt eine domänenspezifische Sprache (DSL) vor, mit der entsprechende Tests für zeitgesteuerte Echtzeitsysteme beschrieben werden können. Diese Tests manipulieren das zu testende System und fügen absichtlich Fehler ein (sogenannte Fault Injections). Dies geschieht jedoch auf nicht-intrusive Weise. Nicht-intrusiv bedeutet, dass der Testvorgang das zu testende System (möglichst) nicht systemisch verändert. Denn sonst würde man prinzipiell ein anderes System testen als das, was letztlich in die Produktion geht.
|