Testmustergenerierung mit Hilfe von ... - ihmor.de

3.4. Methoden zur Testfallerstellung
Die Übertragung der Abdeckungskriterien von Codeabdeckung zu Modellabdeckung oder
auch umgekehrt ist demzufolge prinzipiell möglich; die Werte der Abdeckungsgrade
können sich dennoch deutlich unterscheiden [ConSad02].
Abbildung 3-15: Modell zur Berechnung des Maximums von drei Werten
Die von Programmen berechneten Abdeckungsgrade hängen zusätzlich auch von deren
Implementierung ab. Die in den vorherigen Kapiteln eingeführten Vorschriften für die
Berechnung der Abdeckungsgrade sind nur beispielhaft und werden in der Literatur unterschiedlich
ausgelegt. Zusätzlich ist der Inhalt eines Kontrollflussgraphen nicht allgemein
festgelegt. Ein Knoten kann beispielsweise aus einer einzelnen Anweisung bestehen oder
gleich aus einer ganzen Abfolge.
Je nach Implementierung des Kontrollflussgraphen wird Abdeckungsgrad unterschiedlich
berechnet. Der in Abbildung 3-11 vorgestellte Kontrollflussgraph kann auf acht Knoten
reduziert werden, da der erste Knoten für den Kontrollfluss nicht wichtig ist und in den
zweiten mit einfließen kann. Der Wert für die Zweigabdeckung aus dem vorherigen Absatz
würde sich somit von 8
3 auf 7
3 erhöhen, da im reduzierten Graphen eine Kante weniger
vorkommt. Wichtig für den Kontrollflussgraphen ist an dieser Stelle, dass nur die letzte
Anweisung eines Knotens, der eine Sequenz von Anweisungen repräsentiert, eine
Verzweigung sein darf.
3.4 Methoden zur Testfallerstellung
In diesem Unterkapitel erfolgt eine Beschreibung verschiedener Methoden zur Testfallerstellung.
An dieser Stelle wird nicht nur auf die Verfahren eingegangen, die im modellbasierten
Entwicklungsprozess Anwendung finden, sondern auch auf verwandte Verfahren
aus dem Hardware- und Softwaretest. Diese können wie auch das in dieser Arbeit entwickelte
Verfahren (siehe Kapitel 4) der Erzeugung von Back-to-Back-Tests aus einer
Systemrepräsentation zur Überprüfung einer daraus erzeugten Repräsentation. In dieser
Arbeit handelt es sich hierbei um ein Modell, aus dem Testfälle zur Überprüfung einer
daraus entwickelten Implementierung. Diese kann entweder in Gestalt eines Implementierungsmodells
oder auch als Programmcode vorliegen.
Die Generierung von Testmustern für Back-to-Back-Tests aus einem Modell erfordert,
dass dieses in einem validierten Zustand vorliegt. Dadurch eignen sich auf diese Weise
erzeugte Referenzdaten zur Überprüfung späterer Systemrepräsentationen. Der Vergleich
34