Institute for Software Research
School of Computer Science, Carnegie Mellon University
Static Conformance Checking of Runtime
Marwan Abi-Antoun, Jonathan Aldrich
This report supersedes CMU-ISRI-07-119 and CMU-ISRI-07-119R
We propose a static approach that supports existing object-oriented implementations, but relies on program nnotations 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.