-
公开(公告)号：CN109117364B
公开(公告)日：2021-06-15
申请号：CN201810713776.6
申请日：2018-07-03
Applicant: 中国科学院信息工程研究所
IPC: G06F11/36
Abstract: 本发明提供一种面向目标的测试用例生成方法，步骤包括：计算目标程序的CFG上每个结点到目标的距离，该目标为CFG上的一个结点或一条边；根据该距离进行导向模糊测试，如果该输入覆盖目标，则生成面向目标的测试用例，否则调用导向符号执行；将导向符号执行产生的输入同步到导向模糊测试的队列中以优先变异，如果该输入覆盖目标，则生成面向目标的测试用例。本发明将导向模糊测试和导向符号执行相结合，既解决模糊测试无法变异满足复杂约束的局限性，又能弥补符号执行的扩展性问题；同时设计了更加高效的导向策略以及两者结合时的交互策略，提高面向目标的测试用例生成效率。
Search Results
11
records
(took 0.043 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
