The logo image filename. You will have to upload it by clicking on the Attach link after saving this page.
The screenshot image filename. You will have to upload it by clicking on the Attach link after saving this page. Do not forget to fill the caption below.
The list of contributors to the project. The best is to link towards their profile page on this site
Ex. Kim Mens
A list of tags separated by blank spaces.
Correcting design decay in source code is not a trivial task. Diagnosing and subsequently correcting inconsistencies between a software systemsís code and its design rules (e.g., database queries are only allowed in the persistence layer) and coding conventions can be complex, time-consuming and error-prone. Providing support for this process is therefore highly desirable, but of a far greater complexity than suggesting basic corrective actions for simplistic implementation problems (like the "declare a local variable for non-declared variable" suggested by Eclipse).
HEAL uses an abductive reasoning approach to inconsistency correction by offering (1) a means for developers to document and verify a systemís design and coding rules, (2) an abductive logic reasoner that hypothesizes possible causes of inconsistencies between the systemís code and the documented rules and (3) a library of corrective actions for each hypothesized cause.
- Current state
- research prototype
- Sergio Castro
- Related Publications
- Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction. Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo DíHondt. Science of Computer Programming.
- Diagnosis and Semi-automatic Correction of Detected Design Inconsistencies in Source Code. Sergio Castro, Johan Brichau, Kim Mens. IWST'09: Proceedings of the International Workshop on Smalltalk Technologies (IWST 2009).