Correction automatique des violations des règles de conception dans le code source à l'aide de l'abduction logique

La correction des d嶨auts de conception dans le code source n'est pas une t歊he triviale. Diagnostiquer puis corriger les incoh廨ences entre le code d'un syst鋗e logiciel et ses r銶les de conception (par exemple, les requ皻es de base de donn嶪s ne sont autoris嶪s que dans la couche de persistance) et ses conventions de codage peut 皻re 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廨er des actions correctives de base pour des probl鋗es d'impl幦entation simplistes (comme le ''d嶰larer une variable locale pour une variable non d嶰lar嶪'' sugg廨?par Eclipse). Cet article se concentre sur une approche de raisonnement abductif pour r嶮uire la correction des incoh廨ences qui consiste en (1) un moyen pour les d憝eloppeurs de documenter et de v廨ifier les r銶les de conception et de codage d'un syst鋗e, (2) un raisonneur logique abductif qui 幦et des hypoth鋊es sur les causes possibles des incoh廨ences entre le code du syst鋗e et les r銶les document嶪s et (3) une biblioth鋂ue d'actions correctives pour chaque cause hypoth彋ique (4) un m嶰anisme de retour en arri鋨e pour restaurer l'彋ape pr嶰嶮ente.