Download Skript - Fachgebiet Echtzeitsysteme

SE II - Dynamische Programmanalysen und Testen
Fachgebiet
Echtzeitsysteme
Testplanung mit Transitionsbaum (Übergangsbaum) aus [Bi00]:
1. das gegebene Statechart wird in einen flachen Automaten übersetzt
2. Transitionen mit komplexen Boole’schen Bedingungen werden in mehrere 
Transitionen mit Konjunktion atomarer Bedingungen übersetzt 
(Transition mit [(a1 && a2) || (b1 && b2)] wird ersetzt durch Transition mit 
[a1 && a2] und Transition mit [b1 && b2]
3. ein Baum wird erzeugt, der
 initialen Zustand als Wurzelknoten (ersten, obersten Knoten) besitzt
 Zustandsknoten im Baum werden expandiert, indem alle Transitionen zu
anderen Zuständen (und sich selbst) als Kindknoten hinzugefügt werden
 jeder Zustand wird nur einmal als Knoten im Transitionsbaum expandiert
4. jeder Pfad in dem Baum (von Wurzel zu einem Blatt) entspricht einer Testsequenz
5. zusätzlich werden in jedem Zustand alle Ereignisse ausgelöst, die nicht im 
Transitionsbaum aufgeführt sind (spezifikationsverletzende Transitionen)
© Prof. Dr. Andy Schürr (TU Darmstadt, FB 18, Institut für Datentechnik)
Seite 341