所有作者：张斌 杜振军
作者单位：大连海事大学信息科学技术学院
论文摘要：软件测试中，测试数据的生成是最具有挑战性的工作之一。目前，已有很多技术和软件，如基于随机算法的、遗传算法的、谓词约束的，都可以支持软件的自动化测试，但是这些技术和软件生成的测试数据质量并不高。例如基于随机技术和遗传算法的软件测试系统在选择测试数据时就具有一定的盲目性。而基于约束的测试技术的提出，使得自动生成的测试数据质量有所改善，但是对于约束满足问题的求解效率不高而且不容易找到合适解。基于以上问题，本文实现的基于约束的自动化测试系统框架中，提出了利用动态域缩减技术来求解约束可满足问题，使求解效率得到了提高，并提升了求得合适解的可能性。通过设计实验来验证该方法的可行性，实验结果表明，利用动态域缩减技术求解约束可满足问题与数据流测试结合，能够提高测试数据生成的质量和效率。
关键词： 自动测试 测试数据生成 数据流分析 约束可满足问题 动态域缩减
免费下载《基于约束的数据流自动测试方法研究》PDF全文（已停止下载）
本站“论文下载”文章收集整理于“中国科技论文在线”，由于各种原因，本站已暂停论文下载！请前往“中国科技论文在线http://www.paper.edu.cn/”免费下载！
指出，范文大全立刻进行改正或删除有关内容! 
当前位置：