公开(公告)号：CN109992507B

公开(公告)日：2022-06-24

申请号：CN201910220776.7

申请日：2019-03-22

Applicant: 北京信息科技大学 ,  中国科学院信息工程研究所

Inventor： 谢章伟 ,  刘剑 ,  李元 ,  杨睿其 ,  崔展齐

IPC: G06F11/36

Abstract: 本发明实施例提供的基于模拟执行的程序模糊测试方法及装置，所述方法包括：获取当前测试用例，利用所述当前测试用例对待测试程序进行模糊测试，获得测试结果，判断所述测试结果是否满足测试结束条件，获得第一判断结果；若所述第一判断结果为否，则对当前测试用例进行测试用例更改操作，获得新测试用例，根据所述新测试用例和预存的约束条件集进行程序模拟，获得模拟结果，判断所述模拟结果是否满足约束条件，获得第二判断结果；若所述第二判断结果为是，则利用所述新测试用例对待测试程序进行模糊测试，获得新测试结果，并在所述新测试结果满足测试结束条件时，输出测试报告。实现减少反复执行程序次数，降低花销提高运行效率的目的。

公开(公告)号：CN109992507A

公开(公告)日：2019-07-09

申请号：CN201910220776.7

申请日：2019-03-22

Applicant: 北京信息科技大学 ,  中国科学院信息工程研究所

Inventor： 谢章伟 ,  刘剑 ,  李元 ,  杨睿其 ,  崔展齐

IPC: G06F11/36

Abstract: 本发明实施例提供的基于模拟执行的程序模糊测试方法及装置，所述方法包括：获取当前测试用例，利用所述当前测试用例对待测试程序进行模糊测试，获得测试结果，判断所述测试结果是否满足测试结束条件，获得第一判断结果；若所述第一判断结果为否，则对当前测试用例进行测试用例更改操作，获得新测试用例，根据所述新测试用例和预存的约束条件集进行程序模拟，获得模拟结果，判断所述模拟结果是否满足约束条件，获得第二判断结果；若所述第二判断结果为是，则利用所述新测试用例对待测试程序进行模糊测试，获得新测试结果，并在所述新测试结果满足测试结束条件时，输出测试报告。实现减少反复执行程序次数，降低花销提高运行效率的目的。