Improved Method to Generate Path-Wise Test Data

Gupta et al., proposed a method, which is referred to asthe Iterative Relaxation Method, to generate test data for agiven path in a program by linearizing the predicate functions.In this paper, a model language is presented and the properties ofstatic and dynamic data dependencies are investigated. The notions inthe Iterative Relaxation Method are defined formally. The predicateslice proposed by Gupta et al. is extended to path-wise staticslice. The correctness of the constructional algorithm is provedafterward. The improvement shows that the constructions of predicateslice and input dependency set can be omitted. The equivalence of systems ofconstraints generated by both methods is proved. The prototype ofpath-wise test data generator is presented in this paper. The experimentsshow that our method is practical, and fits the path-wise automaticgeneration of test data for both white-box testing and black-box testing.