The Community for Technology Leaders
Quality Software, International Conference on (2004)
Braunshweig, Germany
Sept. 8, 2004 to Sept. 10, 2004
ISBN: 0-7695-2207-6
pp: 87-92
Jian Zhang , Chinese Academy of Sciences, China
ABSTRACT
Many white-box testing methods are based on the analysis of program paths. For these methods, an important problem is to determine the feasibility of a given path, and find appropriate input data to execute the path if it is feasible. In this paper, the symbolic execution of program paths is studied. An approach is presented, which translates a path involving pointer and structure variables to a path involving simple variables and array variables only. The later is then analyzed with constraint solving techniques. An implemention of the translation tool is described with some examples. Preliminary experimental results show that the approach is quite efficient and applicable to paths in typical programs.
INDEX TERMS
null
CITATION

J. Zhang, "Symbolic Execution of Program Paths Involving Pointer and Structure Variables," Quality Software, International Conference on(QSIC), Braunshweig, Germany, 2004, pp. 87-92.
doi:10.1109/QSIC.2004.1357948
96 ms
(Ver 3.3 (11022016))