Correco Automatizada de Violaes de Regras de Desenho no Cdigo Fonte Utilizando Rapto Lgico

Corrigir a deteriorao do design no cdigo fonte no uma tarefa trivial. Diagnosticar e subsequentemente corrigir inconsistncias entre o cdigo de um sistema de software e suas regras de projeto (por exemplo, consultas a bancos de dados s so permitidas na camada de persistncia) e as convenes de codificao podem ser complexas, demoradas e propensas a erros. Fornecer suporte para este processo , portanto, altamente desejvel, mas de uma complexidade muito maior do que sugerir aes corretivas bsicas para problemas simplistas de implementao (como a ''declarar uma varivel local para varivel no declarada'' sugerida pelo Eclipse). Isto se concentra na abordagem de raciocnio abdutivo para reduzir a correo de inconsistncias que consiste em (1) um meio para os desenvolvedores documentarem e verificarem o projeto e as regras de codificao de um sistema, (2) um raciocinador lgico abdutivo que faz hipteses sobre possveis causas de inconsistncias entre o cdigo do sistema e as regras documentadas e (3) uma biblioteca de aes corretivas para cada causa hipottica (4) um mecanismo de retrocesso para restaurar o estgio anterior.