Paper Info
Title
A Control Flow Representation for Component-Based Software Reliability Analysis
Abstract
Current reliability analysis techniques encounter a prohibitive challenge with respect to the control flow representation of large software systems with intricate control flow structures. Some techniques use a component-based Control Flow Graph (CFG) structure which represents only inter-component control flow transitions. This CFG structure disregards the dependencies among multiple outward control flow transitions of a system component and does not provide any details about a component internal control flow structure. To overcome these problems, some techniques use statement-based or block-based CFGs. However, these CFG structures are remarkably complex and difficult to use for large software systems. In this paper, we propose a simple CFG structure called Connection Dependency Graph (CDG) that represents inter-component and intra-component control flow transitions and preserves the dependencies among them. We describe the CDG structure and explain how to derive it from a program source code. Our derivation exploits a number of architectural patterns to capture the control flow transitions and identify the execution paths among connections. We provide a case study to examine the effect of program size on the CDG, the statement-based, and the block-based CFGs by comparing them with respect to complexity using the PostgreSQL open source database system.
Year
DOI
Venue
2012
10.1109/SERE.2012.33
SERE
Keywords
Field
DocType
inter-component control flow transition,multiple outward control flow,control flow transition,block-based cfgs,component internal control flow,control flow representation,large software system,component-based software reliability analysis,intricate control flow structure,intra-component control flow transition,cfg structure,object oriented programming,control flow graph,public domain software,computational complexity,software systems,reliability analysis,sql,graph theory,software reliability
Graph theory,Control flow graph,Source code,Computer science,Control flow,Theoretical computer science,Software system,Software quality,Dependency graph,Architectural pattern
Conference
Citations 
PageRank 
References 
2
0.41
26
Authors
2
Name
Order
Citations
PageRank
Atef Mohamed1606.50
Mohammad Zulkernine294588.88