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

计算机应用

• 软件过程技术 • 上一篇下一篇

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

黄远东卢江赵瑞莲

北京化工大学北京化工大学

收稿日期:2007-10-30 修回日期:1900-01-01 发布日期:2008-04-01 出版日期:2008-04-01
通讯作者: 赵瑞莲

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

<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>Y<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>u<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>a<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>n<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>-<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>D<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>o<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>n<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>g<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a> <a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>H<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>U<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>A<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>N<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>G<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a> <a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a> <a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>R<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>u<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>i<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>-<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>l<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>i<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>a<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>n<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a> <a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>Z<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>H<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>A<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>O<a href="http://www.joca.cn/EN/article/advancedSearchResult.do?searchSQL=((([Author]) AND 1[Journal]) AND year[Order])" target="_blank"></a>

Received:2007-10-30 Revised:1900-01-01 Online:2008-04-01 Published:2008-04-01
Contact: Rui-lian ZHAO

摘要/Abstract

摘要： 随机测试是一种常用的软件测试自动化方法。该方法随机地从程序输入域中选取测试输入，其自动测试实现容易。但随机地从输入域中选取满足某种测试准则的输入数据，测试生成效率较低。为此提出了一种基于双约束传播的面向路径自动随机测试方法，通过对输入变量的取值范围进行切分，执行两次约束传播来求取指定路径的输入域，在此基础上开发了一个自动随机测试生成系统，并与PRT方法进行了实验对比分析。结果表明，该方法计算出的路径输入域更加精确，可有效地减少对无效域的测试生成，提高了随机测试的效率。

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

Abstract: 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 enhanced.

Key words: constraint propagation, random testing, automatic testing generation, path testing data

黄远东卢江赵瑞莲. 一种基于双约束传播的面向路径自动随机测试方法[J]. 计算机应用.

Yuan-Dong HUANG Rui-lian ZHAO. Path-oriented automatic random testing method based on double constraint propagation[J]. Journal of Computer Applications.

参考文献

相关文章 1

编辑推荐

Metrics