(sujet PFE technique) Développement pour un outil de réparation automatique de programmes

Cette page présente un sujet de projet “technique” pour les master 2 de l’Université de Lille 1 (2015-2016)

Titre : Développement pour un outil de réparation automatique de programmes

Equipe : Spirals https://team.inria.fr/spirals

Lieu d’accueil : Inria Lille, Parc de la Haute Borne, Villeneuve d’Ascq

Encadrant : Martin Monperrus http://www.monperrus.net/martin/

Adresse mail de contact : martin.monperrus@univ-lille1.fr

Contexte : Un outil de réparation automatique des logiciels résout des bugs automatiquement. Par exemple, l’on peut générer un patch quand un test passe au rouge [Weimer2009]. Il est aussi possible d’éviter des crashes en production. La réparation automatique peut donc se passer à tous les moments du cycle de vie: du développement à la maintenance et la production. La réparation automatique manipule soit du code (source ou binaire) soit des données (l’état à l’exécution, comme la pile ou le tas).

Automated software repair is the process of fixing software bugs automatically. It may be automatically generate patches when a test case fails [Weimer2009]. It also consists of avoiding crashes at runtime in production [qin2005rx]. Automated software repair can address all phases of the software life cycle from development time to maintenance and production time (to survive failures). Automated software repair can manipulate behavior (by manipulating code — whether source or binary) or data (e.g. by manipulating the running state of programs).

Problématique : Les patches générés par les outils actuels ne fixent que les bugs simples. Il y a besoin de nouvelles approches pour fixer des bugs plus complexes.

The patches generated by the current tools only fix simple bugs. There is a need for new algorithms to automatically fix more complex bugs.

Contributions attendues : Vous participerez au développement d’un des outils de réparation automatique de bug de l’équipe Spirals:

• https://github.com/SpoonLabs/nopol
• https://github.com/SpoonLabs/astor

Compétences requises : Développement Java

Bibliographie :

[Weimer2009] W. Weimer, T. Nguyen, C. L. Goues, and S. Forrest. Automatically finding patches using genetic programming. In Proceedings of the International Conference on Software Engineering, 2009.

[qin2005rx] F. Qin, J. Tucek, J. Sundaresan, and Y. Zhou. Rx: treating bugs as allergies — a safe method to survive software failures. In ACM SIGOPS Operating Systems Review, volume 39, pages 235–248. ACM, 2005.

[DeMarco2014] Favio DeMarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus. Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT, In Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014)

[Monperrus14] Martin Monperrus. “A Critical Review of “Automatic Patch Generation Learned from Human-Written Patches”: Essay on the Problem Statement and the Evaluation of Automatic Software Repair”, In Proceedings of the International Conference on Software Engineering, 2014.