TCG: Ein modellbasiertes Testwerkzeug: Testwerkzeug zur Generierung und Auswahl funktionaler statistischer Testfälle

Das modellbasierte Testen ist eine Technik zur automatischen Generierung einer Reihe von Testfällen unter Verwendung von Modellen, die aus Software-Artefakten extrahiert werden. Es handelt sich um einen Ansatz, der darauf abzielt, die Softwarequalität zu verbessern und die mit einem Testprozess verbundenen Kosten zu senken. Dieses Buch richtet sich an Fachleute, Forscher und Studenten aus dem Bereich Software-Engineering und hat zum Ziel, TCG vorzustellen, ein Werkzeug zur Generierung und Auswahl von funktionalen und statistischen Testfällen, das probabilistische und nicht-probabilistische Modelle als Eingabe akzeptiert. Die bereitgestellten Auswahltechniken sind Testzwecke, zufälliger Pfad und wahrscheinlichster Pfad. Darüber hinaus stellt dieses Buch auch die Auswahltechnik namens minimale Pfadwahrscheinlichkeit vor, bei der das Tool die Testfälle auswählt, deren Auftreten mit einer Wahrscheinlichkeit größer oder gleich einem vom Benutzer angegebenen Wert erfolgt.