Dans le cadre du projet RNTL COTE
nous avons développé un prototype basé sur CASTING
pour générer des tests à partir de modèles
UML.
Ce prototype est intégré via une interface graphique dans le logiciel Objecteering de Softeam.
Le prototype est principalement réalisé avec la bibliothèque de résolution de contrainte sur les domaines finis clpfd de Sicstus Prolog.
Le prototype n'est pas encore disponible mais vous pouvez consulter ici-même quelques copies d'écran et autres informations sur l'état d'avancement de ce projet.
Document(s) disponible(s) :