TCG: Ein modellbasiertes Testwerkzeug

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.

Autorentext
Sie hat einen Abschluss in Telematik (2013) und eine Spezialisierung in Software-Engineering (2015). Derzeit ist sie Masterstudentin in Informatik an der Staatlichen Universität von Ceará - UECE. Sie verfügt über Erfahrung im Bereich Informatik mit Schwerpunkt Informationssysteme. Ihr Schwerpunkt liegt auf modellbasierten Tests (MBT), einem Teilbereich, in dem sie sich spezialisiert hat.