• Outil de test de logiciels critiques embarqués

    Logilab a réalisé pour Areva un outil de test de logiciels critiques embarqués. Cet outil, écrit en Python, permet de définir des cas de tests puis de les valider sur un modèle exécutable généré à partir de spécifications graphiques.