En savoir plus
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 probabilistes. Les techniques de sélection fournies sont les objectifs de test, le chemin aléatoire et le chemin le plus probable. En outre, ce livre présente également la technique de sélection appelée probabilité minimale de chemin, dans laquelle l'outil sélectionne les cas de test qui ont une probabilité d'occurrence supérieure ou égale à une valeur indiquée par l'utilisateur.
A propos de l'auteur
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.
