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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.