公开(公告)号：CN113760753B

公开(公告)日：2023-07-18

申请号：CN202110956672.X

申请日：2021-08-19

Applicant: 东北大学

Inventor： 李福亮 ,  訾阿楠 ,  彭林枫 ,  王兴伟

IPC: G06F11/36

Abstract: 本发明属于网络协议测试领域，涉及基于灰盒模糊技术的QUIC协议测试方法，其包括构建初始测试用例集；通过请求消息解析模块解析步骤1中构建的初始测试用例集，以得到分解后的小测试用例；通过请求消息序列变异模块变异输入的小测试用例；变异后的小测试用例输入至被测程序中，开始执行模糊测试。本发明首次将灰盒模糊测试技术应用至QUIC协议中，通过对现存的灰盒模糊测试器进行改进，以提高模糊测试的有效性。

公开(公告)号：CN113760753A

公开(公告)日：2021-12-07

申请号：CN202110956672.X

申请日：2021-08-19

Applicant: 东北大学

Inventor： 李福亮 ,  訾阿楠 ,  彭林枫 ,  王兴伟

IPC: G06F11/36

Abstract: 本发明属于网络协议测试领域，涉及基于灰盒模糊技术的QUIC协议测试方法，其包括构建初始测试用例集；通过请求消息解析模块解析步骤1中构建的初始测试用例集，以得到分解后的小测试用例；通过请求消息序列变异模块变异输入的小测试用例；变异后的小测试用例输入至被测程序中，开始执行模糊测试。本发明首次将灰盒模糊测试技术应用至QUIC协议中，通过对现存的灰盒模糊测试器进行改进，以提高模糊测试的有效性。

公开(公告)号：CN112084786A

公开(公告)日：2020-12-15

申请号：CN202010767723.X

申请日：2020-08-03

Applicant: 东北大学

Inventor： 李福亮 ,  訾阿楠 ,  袁乾宸 ,  王兴伟

IPC: G06F40/30 ,  G06F40/253 ,  G06F40/194 ,  G06F16/16 ,  G06N3/08

Abstract: 本发明一种基于DSL的网络配置文件测试方法，主要步骤包括：步骤1：包含错误的配置文件数据集的准备；步骤2：用于执行静态错误匹配的相关内容的准备，包括解析错误配置文件集中的每个配置文件与待测配置文件，构建用于可疑错误检测的学习模式和用于可疑错误验证的断言模板；步骤3：可疑错误的检测及验证，包括与学习模式的匹配、基于断言模板和形式化验证器以便验证可疑错误；步骤4：基于步骤3的验证结果，利用语义分析技术来判断其他配置文件中是否存在该相同的错误，基于语义学习的方法检查其他配置文件中是否存在相同的错误，从而更加全面、快速地检测错误，提高工作效率。