Intervention du CETIC à AVOCS2014

Intervention du CETIC à AVOCS2014

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.