EFSM模型字符串测试数据自动生成研究

摘要：

字符串测试数据自动生成是目前的研究难点,还没有很好地解决方法.针对这个问题,提出了一种将符号执行约束求解与搜索算法相结合实现基于EFSM模型的字符串测试数据自动生成方法.将测试数据候选字符集中的字符通过取余编码转换为整数;将目标路径上字符串约束转换成整数约束,通过约束求解获得中间解;采用搜索算法生成字符串测试数据.该方法能很好地减小字符串的搜索范围,有效地减少搜索算法的执行时间.实验结果表明,该方法达到了预期的效果,提高了测试数据生成效率.

关键词：扩展有限状态机、符号执行、搜索算法、测试数据生成、字符串

所属期刊栏目：35

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金项目61073035、61170082

在线出版日期：2014-07-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1968-1972