%0 Journal Article
%T Improved Method to Generate Path-Wise Test Data
%A JinHui Shan
%A Ji Wang
%A ZhiChang Qi
%A JianPing Wu
%A <br>单锦辉
%A 王戟
%A 齐治昌
%A 吴建平
%J 计算机科学技术学报
%D 2003
%I 
%X Gupta et 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 Gupta et al. is extended to path-wise static slice. The correctness of the constructional algorithm is proved afterward. The improvement shows that the constructions of predicate slice and input dependency set can be omitted. The equivalence of systems of constraints generated by both methods is proved. The prototype of path-wise test data generator is presented in this paper. The experiments show that our method is practical, and fits the path-wise automatic generation of test data for both white-box testing and black-box testing.
%K automated test data generation
%K program path
%K software testing
%K data-flow analysis
%K program slice<br>软件测试
%K 程序路径
%K 分段程序
%K 自动测试数据
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=6CA7973BEBD6A22BA09F8066C92A2BC5&yid=D43C4A19B2EE3C0A&vid=13553B2D12F347E8&iid=0B39A22176CE99FB&sid=2B25C5E62F83A049&eid=2B25C5E62F83A049&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=4&reference_num=13