Diagnosis and semi-automatic correction of detected design inconsistencies in source code

Castro Mejia, Sergio;Brichau, Johan;Mens, Kim
(2009) International workshop on smalltalk technology - Proceedings of the international workshop on smalltalk technologies — Location: Brest, France (31.August.2009)

Files

Diagnosis.pdf
  • Restricted Access
  • Adobe PDF
  • 769.31 KB
Request a copy

Details

Authors
  • Castro Mejia, SergioUCLouvain
    Author
  • Brichau, JohanUCLouvain
    Author
  • Mens, Kimorcid-logoUCLouvain
    Author
Abstract
In order to alleviate design decay, different program design documentation techniques are used for the specification and detection of design inconsistencies in code. However, these design documentation techniques do not always provide support for the diagnosis and (semi-) automatic correction of such inconsistencies. In case they do, corrective solutions are typically targeted to a reduced set of pre-defined inconsistency problems, and they are not easily customizable to new kinds of consistency checks defined by a user. In particular, they cannot infer possible corrective actions to solve new user-defined inconsistency problems. In this paper, we present a technique for the diagnosis and (semi-) automatic correction of inconsistencies in the context of an existing tool for inconsistency management: IntensiVE. Our technique uses logic abductive reasoning to infer solutions to detected user-defined inconsistencies, starting from basic composable corrective actions. A first prototype implementing our technique on top of IntensiVE is shown
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Castro Mejia, S., Brichau, J., & Mens, K. (2009). Diagnosis and semi-automatic correction of detected design inconsistencies in source code. Proceedings of the International Workshop on Smalltalk Technologies, 8-17. https://doi.org/10.1145/1735935.1735938