一种基于符号执行的测试用例生成方法

• 作者: 刘钊远 田野 郑华利
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 符号执行 路径爆炸 后置条件 最弱前置条件
• 年，卷（期）: 2019,（9）
• 所属期刊栏目: 工程实践
• 页码范围: 2327-2331
• 页数: 5页
• 分类号: TP311.5
• 字数: 3613字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2019.09.043

摘要

针对符号执行中存在的路径爆炸问题,提出一种冗余路径删除方法,该方法利用Hoare逻辑中的后置条件引导符号执行以生成有效的测试用例.首先利用最弱前置条件来计算已探索的路径,然后通过后置条件引导符号执行以识别程序中多个共享的路径后缀,并在测试用例生成时进行消除.最后通过对多个基准程序进行实验,结果表明论文方法在一定程度上能够减少程序的路径探索数目和执行时间,削弱了符号执行中的路径爆炸问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘钊远	西安邮电大学计算机学院	29	156	6.0	11.0
2	田野	西安邮电大学计算机学院	2	0	0.0	0.0
3	郑华利	西安邮电大学计算机学院	2	0	0.0	0.0