Paper Info
Title
A Connection-Based Signature Approach for Control Flow Error Detection
Abstract
Control Flow Errors (CFEs) are major impairments of software system correctness. These CFEs can be caused by operational faults with respect to the execution environment of a software system. Several techniques are proposed to monitor the control flow using signature-based approaches. These techniques partition a software program into branch-free blocks and assign a unique signature for each block. They detect CFEs by comparing the runtime signatures of these blocks with pre-computed signatures based on the program Control Flow Graph (CFG). Unfortunately, branch-free block partitioning does not completely include all the program connections. Consequently, these techniques may fail to detect some invalid transitions due to lack of signatures associated with those missing connections. In this paper, we propose a connection-based signature approach for CFE detection. We first describe our connection-based signature structure in which we partition the program components into Connection Implementation Blocks (CIBs). Each CIB is associated with a Connection-based CFG (CCFG) to represent the control structure of its code segment. We present our control flow monitor structure and CFE checking algorithm using these CCFGs. The error detection approach is evaluated using PostgreSQL open-source database. The results show that this technique is capable of detecting CFEs in different software versions with variable numbers of randomly injected faults.
Year
DOI
Venue
2011
10.1109/DASC.2011.44
DASC
Keywords
Field
DocType
data structures,error detection,formal verification,graphs,handwriting recognition,object-oriented programming,software architecture,CFE checking algorithm,CFE detection,PostgreSQL open source database,branch-free block,branch-free block partitioning,code segment control structure,connection implementation block,connection-based CFG,connection-based signature approach,control flow error detection,control flow graph,control flow monitor structure,operational fault,program connection,software system correctness,software version,unique signature,Connection Dependency Graph (CDG),component-based software,control flow error detection,runtime monitoring,software architectures
Control flow graph,Computer science,Code segment,Control flow,Correctness,Algorithm,Error detection and correction,Software system,Real-time computing,Software,Formal verification
Conference
Citations 
PageRank 
References 
2
0.37
12
Authors
2
Name
Order
Citations
PageRank
Atef Mohamed1606.50
Mohammad Zulkernine294588.88