Improved Method to Generate Path—Wise Test Data  

作　　者：单锦辉 王戟 齐治昌 吴建平 

机构地区：[1]School of Computer, National University of Defense Technology, Changsha 410073, P.R. China

出　　处：《Journal of Computer Science & Technology》2003年第2期235-240,共6页计算机科学技术学报（英文版）

基　　金：国家自然科学基金，国家高技术研究发展计划(863计划)，教育部霍英东教育基金

摘　　要：Gupta et al., proposed a method, which is referred to as the Iterative RelaxationMethod, 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 depen-dencies are investigated. The notions in the Iterative Relaxation Method are defined formally. Thepredicate slice proposed by Gupta et al. is extended to path-wise static slice. The correctness ofthe constructional algorithm is proved afterward. The improvement shows that the constructionsof predicate slice and input dependency set can be omitted. The equivalence of systems of con-straints generated by both methods is proved. The prototype of path-wise test data generator ispresented in this paper. The experiments show that our method is practical, and fits the path-wiseautomatic generation of test data for both white-box testing and black-box testing.

分 类 号：TP311.51[自动化与计算机技术—计算机软件与理论]