Improving the Preciseness of Dependence Analysis Using Exception Analysis

Authors:
Shujuan Jiang;Shengwu Zhou;Yuqin Shi;Yuanpeng Jiang
Affiliations:
China University of Mining & Technology, China/ Southeast University, China;China University of Mining & Technology, China;Xuzhou Medicine Vocational College, China;China University of Mining & Technology, China
Venue:
CIC '06 Proceedings of the 15th International Conference on Computing
Year:
2006

Citing 0
Cited 2

A model-based regression test selection approach for embedded applications

ACM SIGSOFT Software Engineering Notes
A regression test selection technique for embedded software

ACM Transactions on Embedded Computing Systems (TECS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Program dependence analysis is an analysis technique to identify and determine various program dependences in program source codes. It is an important approach for testing, understanding, maintaining programs. Exception handling mechanism in modern programming languages is a technology that can improve software robustness, but failures to account for the effects of exception handling mechanism in dependence analysis can result in incorrect analysis result. In this paper, we extend previous work on dependences analysis using exception analysis to analyze the dependences of C++ programs with exception handling constructs. The Improved Exception Control Flow Graph we propose, IECFG, is a novel representation of C++ program's intra-functional control flow. The IECFG is more precise than traditional CFG in representing the programs with exception handling constructs. We introduce how to construct the Program Dependence Graph(PDG) and the System Dependence Graph(SDG) based on the IECFG. With the help of this representation, we can obtain more precise information than most previous methods we know.