Correction automatique de travaux binaires : de la découverte de code à la génération de tests

Pépos-Petitclerc, Philippe (2019). « Correction automatique de travaux binaires : de la découverte de code à la génération de tests » Mémoire. Montréal (Québec, Canada), Université du Québec à Montréal, Maîtrise en informatique.

Fichier(s) associé(s) à ce document :

Prévisualisation	PDF Télécharger (1MB)

Résumé

Dans la foulée des événements entourant le Cyber Grand Challenge, organisé par le DARPA, un regain d'énergie s'est fait sentir dans le domaine de l'analyse de programmes binaires. De nouvelles techniques ont fait surface lors de la préparation des équipes pour cette compétition d'exploitation automatique et un effort remarquable d'implémentation a permis l'émergence de nouvelles stratégies et de nouveaux outils d'analyse de programmes binaires. Dans cette étude, nous étudions différentes techniques d'analyse de programmes. Nous explorons comment les techniques traditionnelles se transposent vers l'analyse de programmes binaires et comment surmonter les complexités additionnelles que ces programmes présentent. Nous mettons l'accent sur les techniques modernes d'exécution symbolique de programmes binaires. Nous nous penchons également sur les méthodes de génération automatique de tests. En se basant sur ces recherches, nous proposons une stratégie de génération de suites de tests couvrantes sans accès au code source du programme testé ni à sa spécification. Nous validons l'efficacité de la stratégie proposée en l'implémentant dans l'optique de la correction automatique de travaux universitaires soumis par des étudiants. Nous analysons ensuite la performance de la solution au travers plusieurs métriques récoltées lors de la correction de travaux. Nous enrichissons ses métriques avec de l'information extraites du code source assembleur des programmes. _____________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Analyse de programme, programmes binaires, génération de tests, exécution symbolique

Type:	Mémoire accepté
Informations complémentaires:	Le mémoire a été numérisé tel que transmis par l'auteur.
Directeur de thèse:	Privat, Jean
Mots-clés ou Sujets:	Analyse de programmes informatiques / Programme binaire / Informatique -- Travaux pratiques
Unité d'appartenance:	Faculté des sciences > Département d'informatique
Déposé par:	Service des bibliothèques
Date de dépôt:	09 juill. 2019 10:39
Dernière modification:	09 juill. 2019 10:39
Adresse URL :	http://archipel.uqam.ca/id/eprint/12595

Modifier les métadonnées (propriétaire du document)

Statistiques