DocumentCode :
2700319
Title :
VADA: a transformation-based system for variable dependence analysis
Author :
Harman, Mark ; Fox, Chris ; Hierons, Rob ; Hu, Lin ; Danicic, Sebastian ; Wegener, Joachim
Author_Institution :
Brunel Univ., Uxbridge, UK
fYear :
2002
fDate :
2002
Firstpage :
55
Lastpage :
64
Abstract :
Variable dependence is an analysis problem in which the aim is to determine the set of input variables that can affect the values stored in a chosen set of intermediate program variables. This paper shows the relationship between the variable dependence analysis problem and slicing and describes VADA, a system that implements variable dependence analysis. In order to cover the full range of C constructs and features, a transformation to a core language is employed Thus, the full analysis is required only for the core language, which is relatively simple. This reduces the overall effort required for dependency analysis. The transformations used need preserve only the variable dependence relation, and therefore need not be meaning preserving in the traditional sense. The paper describes how this relaxed meaning further simplifies the transformation phase of the approach. Finally, the results of an empirical study into the performance of the system are presented.
Keywords :
program slicing; program testing; C constructs; VADA; core language; input variables; intermediate program variables; slicing; transformation-based system; variable dependence analysis; Conferences; Educational institutions; Evolutionary computation; Input variables; Performance analysis; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Source Code Analysis and Manipulation, 2002. Proceedings. Second IEEE International Workshop on
Print_ISBN :
0-7695-1793-5
Type :
conf
DOI :
10.1109/SCAM.2002.1134105
Filename :
1134105
Link To Document :
بازگشت