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

La correction des défauts de conception dans le code source n'est pas une tâche triviale. Diagnostiquer puis corriger les incohérences entre le code d'un système logiciel et ses règles de conception (par exemple, les requêtes de base de données ne sont autorisées 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 suggérer des actions correctives de base pour des problèmes d'implémentation simplistes (comme le ''déclarer une variable locale pour une variable non déclarée'' suggéré par Eclipse). Cet article se concentre sur une approche de raisonnement abductif pour réduire la correction des incohérences qui consiste en (1) un moyen pour les développeurs de documenter et de vérifier les règles de conception et de codage d'un système, (2) un raisonneur logique abductif qui émet des hypothèses sur les causes possibles des incohérences entre le code du système et les règles documentées et (3) une bibliothèque d'actions correctives pour chaque cause hypothétique (4) un mécanisme de retour en arrière pour restaurer l'étape précédente.