Model-based testing is a technique for automatically generating a set of test cases using models extracted from software artifacts. It is an approach that aims to improve software quality and reduce the costs inherent in the testing process. This book is intended for professionals, researchers, and students in the field of software engineering and aims to present TCG, a tool for generating and selecting functional and statistical test cases that accepts probabilistic and non-probabilistic models as input. The selection techniques provided are test purposes, random path, and most probable...

Le test basé sur un modèle consiste en une technique permettant de générer automatiquement un ensemble de cas de test à partir de modèles extraits d'artefacts logiciels. Il s'agit d'une approche visant à améliorer la qualité des logiciels et à réduire les coûts inhérents au processus de test. Ce livre s'adresse aux professionnels, chercheurs et étudiants dans le domaine du génie logiciel et a pour objectif de présenter le TCG, un outil pour la génération et la sélection de cas de test fonctionnels et statistiques qui accepte comme entrée des modèles probabilistes et non...

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...