Testmustergenerierung mit Hilfe von ... - ihmor.de

3.4. Methoden zur Testfallerstellung
werden der Generation durch Mutation neue Testdaten zufallsbasiert hinzugefügt. Die
durch diese Schritte entstandene Generation geht als Population in den nächsten Zyklus
ein. Pro Zyklus entsteht durch dieses Verfahren eine Population von Testmustern, welche
die besten Eigenschaften der vorherigen Generation beibehält.
Aufgrund eines Abbruchkriteriums erfolgt am Ende des Verfahrens die Ausgabe der besten
Testmuster. Hierzu kann beispielsweise die Menge der insgesamt im Verfahren erzeugten
Testmuster als obere Schranke herangezogen werden. Sollte als Testziel ein Abdeckungskriterium
dienen, kann das Verfahren bereits zwischenzeitlich terminieren, sobald ein
Testmuster erzeugt wurde, welches zu hundertprozentiger Abdeckung führt.
3.4.4 Analytische Testmustergenerierung
Während die drei zuvor behandelten Verfahren vom grundsätzlichen Vorgehen her ohne
Systemwissen Testdaten erzeugen, wird in diesem Abschnitt ein Verfahrensansatz behandelt,
welcher direkt aus dem Aufbau eines Systems durch Analyse und Berechnung
Testdaten bestimmt. Hierbei werden andere Strukturmerkmale als die in Kapitel 3.3
vorgestellten Abdeckungskriterien als Testziele verwendet.
Als Testbasis dient wie in den zuvor beschriebenen Verfahren ebenfalls eine Systemrepräsentation
in Form eines Modells. Für jeden Block wird anhand von festgelegten Regeln
eine Menge von Wertebereichen bestimmt, aus denen der Block mit jeweils mindestens
einem Wert während der Testdurchführung ausgeführt werden muss, um diesen abzudecken
[Her05]. Um dieses Vorgehen zu verdeutlichen, ist in Abbildung 3-19 ein Beispielsystem
gegeben. Dieses berechnet mithilfe eines Blocks Gain das Dreifache des Eingangssignals
In1 und begrenzt durch einen Saturation-Block den errechneten Wert auf minimal
sieben und maximal hundert.
Abbildung 3-19: Propagierung von Wertebereichen [Her05]
Die analytische Testmustergenerierung bestimmt anhand von festen Regeln, die pro
Blocktyp vorgegeben sind, für jeden Block die Wertebereiche, anhand derer die
Abdeckung gemessen wird. Im Beispiel ergeben sich für den Saturation-Block die Wertebereiche
D S1 = {x | x ≤ 7}, D S2 = {x | 7 < x < 100} und D S3 = {x | x ≥ 100}, welche die
Wertebereiche oberhalb der oberen Schranke und unterhalb der unteren Schranke und den
Wertebereich innerhalb der Schranken des Saturation-Blocks beschreiben. Für den Gain-
40