TCG: un outil de test basé sur un modèle

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.