Die CETES-Komponente Testdesign stützt sich auf das Werkzeug MBTsuite. Dies ist ein Tool zur Auswahl und automatischen Generierung von Testfällen aus Modellen.
CETES verwendet MBTsuite als Verbindungsstück zwischen Testmodellen und der CETES-Komponente Testmanagement.
MBTsuite unterstützt verschiedene Testfallgenerierungsstrategien und Filter, da sich Testziele von Fall zu Fall sehr unterscheiden können. Angefangen von im Modell vorgegebenen Pfaden bis hin zu vollständigen Abdeckungsmaßen, wie Kanten- oder kompletter Pfadabdeckung bietet MBTsuite eine große Vielfalt an Strategien an.
Um eine Testfall-Explosion zu Vermeiden, werden intelligente Mechanismen, wie zum Beispiel Schleifenbegrenzung, dedizierte Steuerungsgrößen und auch systematische Testfallfilterung von MBTsuite zur Verfügung gestellt.
An CETES beteiligte Partner
-
-
-
