公开(公告)号：CN109992507B

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

申请号：CN201910220776.7

申请日：2019-03-22

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

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

IPC: G06F11/36

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

公开(公告)号：CN109117129A

公开(公告)日：2019-01-01

申请号：CN201810953480.1

申请日：2018-08-21

Applicant: 北京信息科技大学

Inventor： 崔展齐 ,  郑丽伟 ,  马旭 ,  谢章伟

IPC: G06F8/33

Abstract: 本发明实施例提供的一种隐式编程规则过滤方法及装置，通过获取目标隐式编程规则，对所述目标隐式编程规则进行提取获得规则信息，根据所述规则信息获得向量化规则信息，根据所述向量化规则信息进行过滤判断，获得过滤结果，做到不需要使用程序代码信息，可自动对候选隐式编程规则进行过滤，确认误报和真实的隐式编程规则，降低人工确认候选隐式编程规则的开销，从而有效提高现有隐式编程规则挖掘方法的实用性。

公开(公告)号：CN109117129B

公开(公告)日：2021-11-19

申请号：CN201810953480.1

申请日：2018-08-21

Applicant: 北京信息科技大学

Inventor： 崔展齐 ,  郑丽伟 ,  马旭 ,  谢章伟

IPC: G06F8/33

Abstract: 本发明实施例提供的一种隐式编程规则过滤方法及装置，通过获取目标隐式编程规则，对所述目标隐式编程规则进行提取获得规则信息，根据所述规则信息获得向量化规则信息，根据所述向量化规则信息进行过滤判断，获得过滤结果，做到不需要使用程序代码信息，可自动对候选隐式编程规则进行过滤，确认误报和真实的隐式编程规则，降低人工确认候选隐式编程规则的开销，从而有效提高现有隐式编程规则挖掘方法的实用性。

公开(公告)号：CN109992507A

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

申请号：CN201910220776.7

申请日：2019-03-22

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

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

IPC: G06F11/36

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