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

摘要：

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

关键词：符号执行、路径爆炸、后置条件、最弱前置条件

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

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

页数：共5页

页码：2327-2331