Evolutionärer Test des Zeitverhaltens von Realzeit-Systemen (Evolutionary Testing of the Temporal Behaviour of Real-Time Systems)

ZusammenfassungMit dem evolutionären Test steht eine neue Testmethode zur Verfügung, die eine systematische und weitgehend automatische Prüfung des Zeitverhaltens von Realzeit-Systemen ermöglicht. Der Test wird als ein Optimierungsproblem interpretiert, das mit evolutionären Algorithmen gelöst wird. Es werden die Eingabesituationen mit den längsten und kürzesten Ausführungszeiten gesucht, um dynamisch zu überprüfen, ob Verletzungen der für das zu testende Realzeit-System spezifizierten Zeitschranken auftreten.