Correcção Automatizada de Violações de Regras de Desenho no Código Fonte Utilizando Rapto Lógico

Corrigir a deterioração do design no código fonte não é uma tarefa trivial. Diagnosticar e subsequentemente corrigir inconsistências entre o código de um sistema de software e suas regras de projeto (por exemplo, consultas a bancos de dados só são permitidas na camada de persistência) e as convenções de codificação podem ser complexas, demoradas e propensas a erros. Fornecer suporte para este processo é, portanto, altamente desejável, mas de uma complexidade muito maior do que sugerir ações corretivas básicas para problemas simplistas de implementação (como a ''declarar uma variável local para variável não declarada'' sugerida pelo Eclipse). Isto se concentra na abordagem de raciocínio abdutivo para reduzir a correção de inconsistências que consiste em (1) um meio para os desenvolvedores documentarem e verificarem o projeto e as regras de codificação de um sistema, (2) um raciocinador lógico abdutivo que faz hipóteses sobre possíveis causas de inconsistências entre o código do sistema e as regras documentadas e (3) uma biblioteca de ações corretivas para cada causa hipotética (4) um mecanismo de retrocesso para restaurar o estágio anterior.