Conte aos seus amigos sobre este item:
Correccao Automatizada de Violacoes de Regras de Desenho no Codigo Fonte Utilizando Rapto Logico
Mythily M
Correccao Automatizada de Violacoes de Regras de Desenho no Codigo Fonte Utilizando Rapto Logico
Mythily M
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.
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 27 de setembro de 2021 |
ISBN13 | 9786204076560 |
Editoras | Edicoes Nosso Conhecimento |
Páginas | 60 |
Dimensões | 152 × 229 × 4 mm · 99 g |
Idioma | Portuguese |