Bonjour à tous,
La prochaine séance du GdT Prog est jeudi 17/03/2011
Thomas Quinot (Adacore) parlera de
Fondations théoriques de l'analyse de couverture source à partir
de traces d'exécution
Le résumé est attaché à la suite de ce mail.
L'exposé aura lieu à l'IRILL, salle Algorithme, 23 avenue d'Italie 75013 Paris
Présentez-vous à l'accueil pour avoir le code et prenez l'ascenceur tout au fond du couloir jusqu'au 3e étage.
Toutes les informations concernant ce GdT sont sur :
http://www-apr.lip6.fr/~chaillou/Public/programmation/index.html
À bientôt,
Vincent
Fondations théoriques de l'analyse de couverture source à partir
de traces d'exécution
Thomas Quinot
Le projet Couverture a produit une suite d'outils d'analyse de
couverture source et objet utilisant des traces de flot de contrôle
lors de l'exécution d'un programme dans un environnement de simulation.
Cet exposé présente les fondements théoriques des techniques de
reconstitution de mesures de couverture source à partir de ces traces
d'exécution. Nous justifions l'emploi de ces traces pour établir
la couverture source selon les critères SC, DC et MC/DC. Dans le cas de
MC/DC, nous présentons une caractérisation des cas où la couverture peut
être établie au moyen de traces de taille bornée.