Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Static Conformance Checking of Runtime Architectural Structure1
 

Summary: Static Conformance Checking of Runtime
Architectural Structure1
Marwan Abi-Antoun Jonathan Aldrich
September 2008
CMU-ISR-08-132
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Abstract
It is hard to statically check a system's conformance to its runtime architectural structure. Previous ap-
proaches address the code architecture, change the language radically, mandate implementation frameworks,
or use dynamic analyses that cannot check all possible program runs.
We propose a static approach that supports existing object-oriented implementations, but relies on program
annotations to encode architectural intent. We statically extract a hierarchical view of the runtime object
graph from the annotated program and map it into an as-built runtime architecture. We then check and
measure the structural conformance of the as-built and the as-designed architectures.
An evaluation on several systems showed that the approach can identify interesting structural non-
conformities.
1This technical report supersedes the earlier technical report CMU-ISRI-07-119, entitled Checking and Measuring the Ar-
chitectural Structural Conformance of Object-Oriented Systems.

  

Source: Abi-Antoun, Marwan - Department of Computer Science, Wayne State University
Carnegie Mellon University, School of Computer Science

 

Collections: Computer Technologies and Information Sciences