An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code
In practice, inconsistencies between architectural documentation and the code might arise due to improper implementation of the architecture or the separate, uncontrolled evolution of the code. Several approaches have been proposed to detect the inconsistencies between the architecture and the code but these tend to be limited for capturing inconsistencies that might occur at runtime. We present a runtime verification approach for detecting inconsistencies between the dynamic behavior of the architecture and the actual code. The approach is supported by a set of tools that implement the architecture and the code patterns in Prolog, and support the automatic generation of runtime monitors for detecting inconsistencies. We illustrate the approach and the toolset for a Crisis Management System case study.
- Research Organization:
- Pacific Northwest National Lab. (PNNL), Richland, WA (United States)
- Sponsoring Organization:
- USDOE
- DOE Contract Number:
- AC05-76RL01830
- OSTI ID:
- 1092027
- Report Number(s):
- PNNL-SA-85848
- Resource Relation:
- Conference: IEEE 36th Annual Computer Software and Applications Conference (COMPSAC 2012), July 16-20, 2012, Izmir, Turkey, 257-266
- Country of Publication:
- United States
- Language:
- English
Similar Records
Data Locality Enhancement of Dynamic Simulations for Exascale Computing (Final Report)
SU-F-J-72: A Clinical Usable Integrated Contouring Quality Evaluation Software for Radiotherapy