Generation and Composition of Corrective Actions to Structural Design Problems in Code with Heal

Authors
Sergio Castro, Andy Kellens, Coen De Roover, Kim Mens
Tags
, ,
Title
Generation and Composition of Corrective Actions to Structural Design Problems in Code with Heal
Authors
Sergio Castro, Andy Kellens, Coen De Roover, Kim Mens
Type
In Proceedings
Book title
9th BElgian-NEtherlands EVOLution Workshop (BENEVOL). Lille, France
Year
2010

Abstract

Maintaining consistency between design and implementation is a fundamental issue in software evolution. Although a certain number of existing tools and techniques provide support for correcting inconsistencies when found, they target generally-applicable design rules. Unfortunately, in addition to these common design rules, any software system has an abundance of custom design rules that are very specific to the system at hand. For such custom design rules, verification and correction are often left to the developer or require a considerable investment in the implementation of specific verification and correction metaprograms. HEAL is a framework that alleviates the problem of diagnosing and correcting violations of custom design rules in code. It supports the implementation and automatic inference of corrective actions (i.e. a program transformation) that may solve a detected design inconsistency. Using an abductive logic reasoner, HEAL infers these corrective actions from the design rules themselves and the code over which these rules are verified. In a previous work we show how simple solutions are generated from a repository of corrective actions to low level structural problems. In this work, we give one additional step showing that multiple solutions affecting the same source code element can be composed, presenting to the programmer the complete vision of how the source code would look like after executing a set of corrective actions.

Tags Tags: , ,


BibTeX Record
  @inproceedings{RELEASeD-2010-537933,
    title = {Generation and Composition of Corrective Actions to Structural Design Problems in Code with Heal},
    author = {Sergio Castro and Andy Kellens and Coen {De Roover} and Kim Mens},
    year = {2010},
    booktitle = {9th BElgian-NEtherlands EVOLution Workshop (BENEVOL). Lille, France},
  }