Quality Software, International Conference on (2004)
Sept. 8, 2004 to Sept. 10, 2004
Jian Zhang , Chinese Academy of Sciences, China
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.
J. Zhang, "Symbolic Execution of Program Paths Involving Pointer and Structure Variables," Quality Software, International Conference on(QSIC), Braunshweig, Germany, 2004, pp. 87-92.