Enforcing Structural Regularities in Software using IntensiVE

Authors
Johan Brichau, Andy Kellens, Sergio Castro, Theo D'Hondt
Tags
, ,
Title
Enforcing Structural Regularities in Software using IntensiVE
Authors
Johan Brichau, Andy Kellens, Sergio Castro, Theo D'Hondt
 intensive-2010.pdf Δ   701Kb   04 Oct 2011
Type
Article
Journal
Science of Computer Programming: Experimental Software and Toolkits (EST 3)
Volume
75
Number
4
Pages
232-246
Year
2010

Abstract

The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-called structural regularities. To prevent a deterioration of the system's source code, it is important that these regularities are verified and enforced upon evolution of the system. The Intensional Views Environment (IntensiVE), presented in this article, is a tool suite for specifying relevant structural regularities in an (object-oriented) software system and verifying them against the current and later versions of the system. At the heart of the IntensiVE tool suite are (logic) program queries and the model of intensional views and relations, through which regularities are expressed. Upon verification of these regularities in the source code of the system, IntensiVE reports the code entities (i.e. classes, methods, variables, statements, etc.) that violate these constraints. We present IntensiVE and illustrate its application to the verification of an Abstract Factory design pattern in the implementation of a software system.

Tags Tags: , ,


BibTeX Record
  @article{RELEASeD-2010-865477,
    title = {Enforcing Structural Regularities in Software using IntensiVE},
    author = {Johan Brichau and Andy Kellens and Sergio Castro and Theo {DHondt}'},
    year = {2010},
    journal = {Science of Computer Programming: Experimental Software and Toolkits (EST 3)},
    volume = {75},
    number = {4},
    pages =  {232-246},
  }