Mythily M

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

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: Edições Nosso Conhecimento
• Seitenzahl: 60
• Erscheinungstermin: 27. September 2021
• Portugiesisch
• Abmessung: 220mm x 150mm x 4mm
• Gewicht: 107g
• ISBN-13: 9786204076560
• ISBN-10: 6204076566
• Artikelnr.: 62646021

Autorenporträt

Dr.M. Mythily hat ihre Promotion in Softwaresicherheit abgeschlossen. Als Akademikerin sammelte sie mehr als zehn Jahre Erfahrung in der Industrie und im Unterrichten. Ihr Interessengebiet umfasst Software Engineering, Design Patterns und Problemlösungstechniken sowie Software.