Improved method to generate path-wise test data

  title={Improved method to generate path-wise test data},
  author={Jinhui Shan and Ji Wang and Zhichang Qi and Jianping Wu},
  journal={Journal of Computer Science and Technology},
Guptet al., proposed a method, which is referred to as the Iterative Relaxation Method, to generate test data for a given path in a program by linearizing the predicate functions. In this paper, a model language is presented and the properties of static and dynamic data dependencies are investigated. The notions in the Iterative Relaxation Method are defined formally. The predicate slice proposed by Guptaet al. is extended to path-wise static slice. The correctness of the constructional… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 11 references

Computat ion of interprocedural control dependence

  • M 3Harrold, G Rothermel, S. Sinha
  • In Proc. the A C M SIGSOFT ISSTA '98,
  • 1998
1 Excerpt

Similar Papers

Loading similar papers…