La réparation automatisée de programmes (APR) est un domaine de recherche émergent qui vise à développer des méthodes de correction automatique des bogues logiciels, sans intervention de programmeurs humains. Après développement, Les techniques APR sont généralement évaluées sur plusieurs benchmarks, procédures qui évaluent les performances d'un programme ou d'un système informatique en exécutant une série de tests standard.

Des chercheurs de l'Universidade Federal de Goias et d'I4Soft ont récemment développé un benchmark introductif basé sur les analyses de 360 ​​projets ouverts pour Android, chacun d'eux avec plus de 5, 000 téléchargements. Cette référence, présenté dans une étude prépubliée sur arXiv, contient 13 bogues individuels classés par type de test qui les a effectivement exposés.

"Notre travail se situe dans le contexte d'un domaine de recherche très récent appelé réparation automatique de programmes, " Celso Camilo, l'un des chercheurs qui a mené l'étude, a déclaré TechXplore. « Certaines solutions de réparation automatique ont déjà été proposées et évaluées à l'aide de benchmarks spécialisés. Cependant, malgré l'utilisation massive des applications Android, il n'y a pas de référence conçue pour évaluer les techniques de réparation de programmes automatisés pour les projets mobiles."

Pour pallier cette lacune, les chercheurs ont développé des DroidBugs, une nouvelle référence avec des bugs réels et reproductibles issus de projets mobiles. Cette référence pourrait aider à évaluer de nouveaux programmes de réparation automatique de programmes pour les applications Android.

"DroidBugs est un ensemble de profils de bugs bien définis dans de vraies applications Android open source, " expliqua Camilo. " Il organise et fournit 13 bugs, sept révélés en simulant un appareil Android et six en analysant uniquement le code source. Le benchmark présente l'emplacement du bug dans le code source, les versions boguées et corrigées du code source, et la suite de tests utilisée pour exposer les erreurs."

En utilisant Astor4Android, un outil APR développé par le groupe de recherche de Camilo à I4Soft, ainsi que deux stratégies communes de localisation des défauts, les chercheurs ont essayé de localiser et de corriger les bogues dans les applications Android. En faisant cela, ils ont rencontré un certain nombre de défis qui pourraient être résolus par des études futures.

"Nous avons fourni le premier benchmark public pour la réparation automatisée de programmes dans le contexte du développement Android, " a déclaré Camilo. " Nous avons également appliqué les algorithmes APR existants et rapporté les résultats sur la localisation et la réparation automatiques des bogues dans le benchmark. Avec de telles découvertes, nous avons pu mettre en évidence des défis importants pour produire un benchmark pertinent basé sur des projets Android open source, ce qui peut être utile pour les efforts futurs dans ce domaine de recherche.

L'étude menée par Camilo et ses collègues pourrait jeter les bases du développement d'autres références pour évaluer les techniques APR pour les applications mobiles Android. Les chercheurs prévoient maintenant d'élargir leurs recherches et d'explorer de nouvelles façons d'améliorer les DroidBugs.

"Nous comptons étendre les types de bugs en augmentant le nombre d'applications couvertes par le benchmark, " a déclaré Camilo. " Nous prévoyons également d'effectuer une enquête approfondie sur les défis des techniques APR actuelles dans la correction des bogues des applications Android. "

© 2018 Tech Xplore