Auteur
ALEB, Nassima
Directeur de thèse
Nadjet, Kamel (Maitre de conférence)
Filière
Informatique
Diplôme
Magister
Titre
Exécution symbolique arrière pour la vérification, le test et la génération automatique, de programmes
Mots clés
Logiciels : Vérification ; Logiciels ; Filtres (informatique) ; Logiciels : Essais
Résumé
Dans cette thèse, nous nous intéressons à la vérification, la génération automatique de cas de test, et à la génération automatique de programmes. Nous utilisons une méthode d’exécution statique : l’exécution symbolique pour tous ces objectifs. A l’inverse des méthodes usuellement développées dans ces contextes, nous adoptons une démarche arrière, où l’analyse est effectuée de la fin jusqu’au début d’un programme. Ce choix est justifié par la propriété de localité qui stipule que les évènements les plus récents sont généralement les plus pertinents pour une analyse. Nous considérons les programmes écrits en langage C.
Date de soutenance
21/04/2013
Cote
005.14
Pagination
14 p.
Illusatration
ill.
Format
30 cm.
Notes
Support papier accompagné d'un CD-Rom ; Bibliogr. p. 104-114
Statut
Traitée