函数调用路径测试用例自动生成的方法研究

• 作者: 沈晴 牟永敏
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 函数调用路径 符号执行 全局测试用例 测试用例自动生成
• 年，卷（期）: 2020,（18）
• 所属期刊栏目: 工程与应用
• 页码范围: 238-246
• 页数: 9页
• 分类号: TP311.56
• 字数: 7638字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1907-0036

摘要

测试用例自动生成是软件测试自动化中最为关键的组成部分之一,符号执行作为一种程序分析方法,以其可提供高覆盖率测试用例的优势被广泛应用其中,但路径爆炸和约束求解问题很大程度制约了符号执行技术在现实程序分析中的应用.将研究粒度由语句提升至函数,利用抽象语法树和字节码序列提取到的函数关键信息和控制信息得到函数调用关系模型,设计算法生成函数调用路径(函数调用路径表示程序从开始到结束之间函数的调用或执行序列).该方法不仅减少了测试路径数目缓解了路径爆炸问题,还有效解决了控制条件中存在函数导致符号表达式难求解的问题.实验结果表明该方法可优化测试路径集,在不降低覆盖率的前提下减少测试用例数量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	牟永敏	北京信息科技大学计算机学院	85	322	10.0	16.0
2	沈晴	北京信息科技大学计算机学院	1	0	0.0	0.0