IntensiVE, a Toolsuite for Documenting and Checking Structural Source-Code Regularities

Authors
Kim Mens, Andy Kellens
Tags
,
Title
IntensiVE, a Toolsuite for Documenting and Checking Structural Source-Code Regularities
Authors
Kim Mens, Andy Kellens
 csmr06.pdf Δ   600Kb   19 Oct 2011
Type
In Proceedings
Book title
Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006)
Pages
237-246
Publisher
IEEE Computer Society
Year
2006

Abstract

As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvability of the system. However, due to constant changes, the implementation structure and its documentation tend to dilute over time. To address this problem, we developed IntensiVE: a toolsuite for documenting and checking structural source-code regularities. Building on the underlying models of intensional views and relations, the toolsuite helps a developer in documenting structural source-code regularities, verifying them and offering fine-grained feedback when the source-code does not satisfy those regularities. By illustrating our tools on a Smalltalk application, we show that violations of the source code against the structural regularities can be detected easily and that our toolsuite provides useful feedback for a developer to refine the regularities or to fix the code so that it does satisfy the regularities.

Tags Tags: ,


BibTeX Record
  @inproceedings{RELEASeD-2006-149748,
    title = {IntensiVE, a Toolsuite for Documenting and Checking Structural Source-Code Regularities},
    author = {Kim Mens and Andy Kellens},
    year = {2006},
    pages =  {237-246},
    booktitle = {Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006)},
    publisher = {IEEE Computer Society},
  }