Titre

Reproduction de bugs sauvages: une application � Android (projet de recherche)

Encadrants

Romain Rouvoy <romain.rouvoy@univ-lille1.fr>, Martin Monperrus <martin.monperrus@univ-lille1.fr>, Nicolas Haderer <nicolas.haderer@inria.fr>

HDR

Lionel Seinturier <lionel.seinturier@univ-lille1.fr>

Contexte:

L'�quipe-projet ADAM est une �quipe de recherche mixte LIFL/Inria sp�cialis�e dans la conception d'infrastructures permettant le d�ploiement de syst�mes complexes � diff�rentes �chelles (depuis les environnements de type Cloud/Grid vers les environnements Mobiles/Ubiquitaires et les r�seaux de capteurs). L'originalit� des solutions logicielles d�velopp�es par les membres de l'�quipe-projet ADAM r�side dans leurs capacit�s � �voluer �� chaud� pour r�pondre dynamiquement aux �volutions des besoins des utilisateurs et du contexte d'ex�cution.

Probl�matique:

Avec l'av�nement des smartphones et des app stores, le d�veloppement d'applications mobiles connait un engouement sans pr�c�dent. Cependant, d�velopper une application mobile capable de s'ex�cuter sans la moindre erreur sur une grande vari�t� d'�quipements mobiles demeure une t�che tr�s fastidieuse. En effet, ni l'utilisation de simulateurs d'environnements ni le d�ploiement sur quelques �quipements repr�sentatifs ne permet d'avoir une confiance suffisante sur le bon fonctionnement des applications d�velopp�es.

La d�tection et l'analyse de bugs sauvage [1,2,3] consiste � collecter des donn�es d'ex�cution d'applications. Cela peut se aussi se faire sur les applications des t�l�phones du grand public [4,5]. Ces donn�es permettent d'identifier des traces d'ex�cution anormales. Ces traces peuvent alors servir � reproduire artificielement les bugs, dans le but de les corriger.

Objectif:

Dans le cadre de ce projet (5-7 mois), vous �tudierez 1) comment collecter et analyser des exceptions et messages d'erreur produits par les applications mobiles, et 2) comment obtenir suffisament d'information pour permettre la reproduction de certains bugs (par exemple par instrumentation de code).

Ce projet dans un environnement de recherche et d'innovation vous permettra la fois de vous former dans les technologies mobiles, et de vous ouvrir les portes de la recherche en g�nie logiciel.

Possibilit� de poursuite en stage.

R�f�rences:

1. Adam J. Oliner, Archana Ganapathi, Wei Xu: Advances and challenges in log analysis. Commun. ACM 55(2): 55-61 (2012). http://doi.acm.org/10.1145/2076450.2076466
2. Milan Jovic, Andrea Adamoli, Matthias Hauswirth: Catch me if you can: performance bug detection in the wild. OOPSLA 2011:155-170. http://doi.acm.org/10.1145/2048066.2048081
3. Wei Jin, Alessandro Orso: BugRedux: Reproducing field failures for in-house debugging. ICSE 2012: 474-484. http://dx.doi.org/10.1109/ICSE.2012.6227168
4. Nicolas Haderer, Romain Rouvoy, Lionel Seinturier: AntDroid: A distributed platform for mobile sensing. Inria research report RR-7885 (2012). http://hal.inria.fr/hal-00671164
5. BugSense. Quality Metrics for Mobile. http://www.bugsense.com