基于JDart的测试用例自动生成与优化

摘要：

基于符号执行的测试用例生成方法,以其高可靠性得到了学术界和工业界广泛关注.然而,已有工具大都面向C或者C++程序,面向Java的符号执行工具发展相对较慢.JDart是表现较好的一款开源的面向Java的符号执行工具,但是对复杂数据类型比较数组却支持很弱,因此,在对JDart工具以及动态符号技术进行分析的基础上,通过对JDart测试用例生成能力和存在问题的深入剖析,针对数组处理进行改进,以提高生成测试用例的代码覆盖率,保证测试质量.最后,通过用三角形程序实例进行验证,结果表明,改进后的JDart工具能够完全探索函数中关于数组处理的所有路径.

关键词：测试用例生成、JDart、符号执行、优化策略

所属期刊栏目：36

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

资助基金：国家自然科学基金61402370;航天科技基金HT-2017-XG

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

页数：共6页

页码：156-161