Enforcing structural regularities in software using IntensiVE

13 years 2 months ago

Download soft.vub.ac.be

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 veriﬁed 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 veriﬁcation 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. nt IntensiVE and illustrate i...

Johan Brichau, Andy Kellens, Sergio Castro, Theo D

Real-time Traffic