Correction automatique des violations des rgles de conception dans le code source l'aide de l'abduction logique

La correction des dfauts de conception dans le code source n'est pas une tche triviale. Diagnostiquer puis corriger les incohrences entre le code d'un systme logiciel et ses rgles de conception (par exemple, les requtes de base de donnes ne sont autorises que dans la couche de persistance) et ses conventions de codage peut tre complexe, long et source d'erreurs. Fournir un support pour ce processus est donc hautement souhaitable, mais d'une complexit bien plus grande que de suggrer des actions correctives de base pour des problmes d'implmentation simplistes (comme le ''dclarer une variable locale pour une variable non dclare'' suggr par Eclipse). Cet article se concentre sur une approche de raisonnement abductif pour rduire la correction des incohrences qui consiste en (1) un moyen pour les dveloppeurs de documenter et de vrifier les rgles de conception et de codage d'un systme, (2) un raisonneur logique abductif qui met des hypothses sur les causes possibles des incohrences entre le code du systme et les rgles documentes et (3) une bibliothque d'actions correctives pour chaque cause hypothtique (4) un mcanisme de retour en arrire pour restaurer l'tape prcdente.