Fiche Logiciel - COSTO

COSTO toolbox est une plate-forme Eclipse qui comprend : un module de base avec un analyseur basé sur ANTLR et une API pour accéder au modèle Kmelia (interne), plusieurs modules de vérification et d’exportation, un ensemble de plugins Eclipse. Extension de la plateforme expérimentale COSTO de l’équipe avec un module de génération de harnais de test (CostoTest) pour les composants Kmelia (le langage de modélisation à composants défini dans l’équipe). Le travail autour de ce nouvel environnement de test des composants a fait l’objet d’une présentation au Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa’2013) par P. André, J.-M. Mottu et G. Ardourel.