[发明专利]一种面向目标的测试用例生成方法及系统

摘要

本发明提供一种面向目标的测试用例生成方法，步骤包括：计算目标程序的CFG上每个结点到目标的距离，该目标为CFG上的一个结点或一条边；根据该距离进行导向模糊测试，如果该输入覆盖目标，则生成面向目标的测试用例，否则调用导向符号执行；将导向符号执行产生的输入同步到导向模糊测试的队列中以优先变异，如果该输入覆盖目标，则生成面向目标的测试用例。本发明将导向模糊测试和导向符号执行相结合，既解决模糊测试无法变异满足复杂约束的局限性，又能弥补符号执行的扩展性问题；同时设计了更加高效的导向策略以及两者结合时的交互策略，提高面向目标的测试用例生成效率。

主权项

1.一种面向目标的测试用例生成方法，步骤包括：计算目标程序的CFG上每个结点到目标的距离，该目标为CFG上的一个结点或一条边；根据该距离进行导向模糊测试，包括：为每个输入添加距离度量的适应度函数；根据距离度量值，选择输入在队列中的位置，设置输入的变异频率；如果输入覆盖目标，则生成面向目标的测试用例；如果输入未覆盖目标，且输入距离在一段时间内不再降低，则调用导向符号执行；该导向符号执行采用concolic执行，包括：对所有未处理过的输入按照距离远近排序，对距离最近的输入优先处理；为覆盖目标而必须覆盖的结点为前必经结点，根据一系列前必经结点构成的前必经结点序列，选择需要探索的missing分支，若该missing分支有解，则开始在以下一个未覆盖的前必经结点为目标的剪枝后的CFG上进行符号执行以探索更多路径，否则回溯找到冲突分支，选择另一侧不冲突的分支进行探索；将导向符号执行产生的输入同步到导向模糊测试的队列中以优先变异，如果该输入覆盖目标，则生成面向目标的测试用例。