Le CETIC présentera un résultat de recherche innovant en matière de test lors de la conférence AVOCS’2014 à Twente (Pays-Bas) consacré à la vérification de systèmes critiques.
Date: 24 septembre 2014
Evènement: Interventions CETIC ⊕
A propos du projet: INOGRAMS ⊕
Renaud De Landtsheer présentera une contribution dans le domaine de la génération de couvertures optimales en test logiciel. L’approche basée sur des techniques de résolution de contraintes permet de minimiser la taille des suites de tests mais aussi de minimiser le nombre d’opération coûteuse de type "reset" rencontrée notamment en test de logiciel embarqués. L’approche a été validée dans le domaine des cartes à puces.