一种基于双约束传播的面向路径自动随机测试方法  

Path-oriented automatic random testing method based on double constraint propagation

作　　者：黄远东[1] 卢江[1] 赵瑞莲[1] 

机构地区：[1]北京化工大学计算机科学系,长安大学信息工程学院,北京100029,西安710064

出　　处：《计算机应用》2008年第4期1032-1034,1064,共4页journal of Computer Applications

摘　　要：随机测试是一种常用的软件测试自动化方法。该方法随机地从程序输入域中选取测试输入,其自动测试实现容易。但随机地从输入域中选取满足某种测试准则的输入数据,测试生成效率较低。为此提出了一种基于双约束传播的面向路径自动随机测试方法,通过对输入变量的取值范围进行切分,执行两次约束传播来求取指定路径的输入域,在此基础上开发了一个自动随机测试生成系统,并与PRT方法进行了实验对比分析。结果表明,该方法计算出的路径输入域更加精确,可有效地减少对无效域的测试生成,提高了随机测试的效率。Random testing is a widely used method of automatic software testing. It selects test data from the input domain at random, so it is easy to actualize automatically. However, the likelihood of finding adequate test data randomly to meet a certain testing criterion is extremely low. Therefore, a path-oriented automatic random testing method based on double constraint propagation （DCPART） was proposed. For a given path, its domain could be gained by splitting a input variable＇s domain and executing doubly constraint propagation algorithm. Moreover, a corresponding test data generator was developed and the empirical work was conducted on a number of programs. Experimental results show that the method can compute path domain more accurately than PRT method, and random testing efficiency can thus be remarkably enhance

关 键 词：约束传播 随机测试 自动测试生成 路径测试数据 

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