Diagnosis and Semi-automatic Correction of Detected Design Inconsistencies in Source Code

Authors
Sergio Castro, Johan Brichau, Kim Mens
Tags
, , , , , , , , , ,
Title
Diagnosis and Semi-automatic Correction of Detected Design Inconsistencies in Source Code
Authors
Sergio Castro, Johan Brichau, Kim Mens
 Castro-Brichau-Mens_ESUG09.pdf Δ   769Kb   04 Oct 2011
Type
In Proceedings
Book title
IWST'09: Proceedings of the International Workshop on Smalltalk Technologies (IWST 2009)
Pages
8-17
Publisher
ACM
Address
Brest, France
Year
2009
Note
ISBN 978-1-60558-899-5. DOI 10.1145/1735935.1735938

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.

Tags Tags: , , , , , , , , , ,


BibTeX Record
  @inproceedings{RELEASeD-2009-230767,
    title = {Diagnosis and Semi-automatic Correction of Detected Design Inconsistencies in Source Code},
    author = {Sergio Castro and Johan Brichau and Kim Mens},
    year = {2009},
    pages =  {8-17},
    booktitle = {IWST'09: Proceedings of the International Workshop on Smalltalk Technologies (IWST 2009)},
    publisher = {ACM},
    address = {Brest, France},
    note = {ISBN 978-1-60558-899-5. DOI 10.1145/1735935.1735938 },
  }