Titre : Fondations théoriques de l'analyse de couverture source à partir 
        de traces d'exécution

Auteur : Thomas Quinot (Adacore)

Abstract : 

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.