Corrección automatizada de las violaciones de las reglas de diseño en el código fuente mediante la abducción lógica

Španielsky jazyk

Corrección automatizada de las violaciones de las reglas de diseño en el código fuente mediante la abducción lógica

Vydavateľstvo: Ediciones Nuestro Conocimiento
Rok vydania: 2021
Formát: Paperback
Rozmer: 220 x 150 mm
Jazyk: Španielsky jazyk
ISBN: 9786204076539

Na objednávku

36.99 €

bežná cena: 41.10 €

O knihe

Corregir el deterioro del diseño en el código fuente no es una tarea trivial. Diagnosticar y, posteriormente, corregir las incoherencias entre el código de un sistema de software y sus reglas de diseño (por ejemplo, las consultas a la base de datos sólo se permiten en la capa de persistencia) y las convenciones de codificación puede ser complejo, llevar mucho tiempo y ser propenso a errores. Por lo tanto, es muy deseable proporcionar apoyo a este proceso, pero de una complejidad mucho mayor que la de sugerir acciones correctivas básicas para los problemas de implementación simplistas (como el ''declarar una variable local para la variable no declarada'' sugerido por Eclipse). Esto se centra en el enfoque de razonamiento abductivo para reducir la corrección de inconsistencias que consiste en (1) un medio para que los desarrolladores documenten y verifiquen las reglas de diseño y codificación de un sistema, (2) un razonador lógico abductivo que hipotetiza las posibles causas de las inconsistencias entre el código del sistema y las reglas documentadas y (3) una biblioteca de acciones correctivas para cada causa hipotetizada (4) un mecanismo de retroceso para restaurar la etapa anterior.