Outil de test de logiciels critiques embarqués

titleOutil de test de logiciels critiques embarqués
description

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.

done_for