10.3969/j.issn.1000-7024.2014.06.018
EFSM模型字符串测试数据自动生成研究
字符串测试数据自动生成是目前的研究难点,还没有很好地解决方法.针对这个问题,提出了一种将符号执行约束求解与搜索算法相结合实现基于EFSM模型的字符串测试数据自动生成方法.将测试数据候选字符集中的字符通过取余编码转换为整数;将目标路径上字符串约束转换成整数约束,通过约束求解获得中间解;采用搜索算法生成字符串测试数据.该方法能很好地减小字符串的搜索范围,有效地减少搜索算法的执行时间.实验结果表明,该方法达到了预期的效果,提高了测试数据生成效率.
扩展有限状态机、符号执行、搜索算法、测试数据生成、字符串
35
TP311.5(计算技术、计算机技术)
国家自然科学基金项目61073035、61170082
2014-07-28(万方平台首次上网日期,不代表论文的发表时间)
共5页
1968-1972