买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉浙江大学申请的专利一种基于状态的工控协议模糊测试方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN118427821B 。

龙图腾网通过国家知识产权局官网在2025-06-03发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202410435510.5，技术领域涉及：G06F21/56；该发明授权一种基于状态的工控协议模糊测试方法是由王羽纯;车欣;胡玉娇;朱恒晔;孟捷;邓瑞龙;程鹏;陈积明设计研发完成，并于2024-04-11向国家知识产权局提交的专利申请。

本一种基于状态的工控协议模糊测试方法在说明书摘要公布了：本发明公开了一种基于状态的工控协议模糊测试方法。本发明对工控协议程序源码进行静态分析来提取状态变量；通过插桩实现状态变量追踪；执行初始模糊测试循环，收集每个变异生成的测试用例对应的状态变量值数据，完成状态变量矩阵构建，并建立状态变量矩阵对应的状态模型，构建初始协议程序状态机；再次执行模糊测试循环，挑选状态并使程序进入所选状态；生成新测试用例并执行，将产生新状态或新状态转换的新测试用例添加到种子池中，并更新状态模型与协议程序状态机，以进行新一轮循环重新选择测试用例进行变异。本发明能够检测工控协议程序的状态信息，并基于状态信息对协议程序执行状态引导的模糊测试，对于有状态的工控协议具有较好的效果。

本发明授权一种基于状态的工控协议模糊测试方法在权利要求书中公布了：1.一种基于状态的工控协议模糊测试方法，其特征在于，包括：步骤1：构造初始测试用例形成初始种子池；步骤2：利用程序静态分析方法对工控协议程序源码进行分析，制定启发式规则提取程序中的状态变量；步骤3：采用程序插桩技术，实现覆盖率的插桩，同时在程序的状态变量位点插入桩点，以实现状态变量的追踪；步骤4：执行初始模糊测试循环，在程序运行时状态变量桩点被触发，从而收集每个变异生成的测试用例对应的一组状态变量值数据，完成状态变量矩阵的构建；步骤5：采用无监督的聚类方法建立状态变量矩阵对应的状态模型，每组数据代表一个状态，相同的状态聚为一类，每类保留至少一个测试用例，并用相同的数值进行标签，不同的状态用不同的数值进行标签，建立状态训练集，构建初始协议程序状态机，包含状态列表及状态转换信息；步骤6：再次执行模糊测试循环，使用状态选择算法挑选状态，向运行的程序发送挑选出的状态保留的测试用例，使程序进入所选状态；步骤7：从种子池中选择一个测试用例并进行变异以生成若干新测试用例发送到运行的程序中，将产生新状态或新状态转换的新测试用例视为有趣的，添加到种子池中，利用新状态或新状态转换更新状态模型与协议程序状态机，以进行新一轮循环重新选择测试用例进行变异，最终输出模糊测试结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江大学，其通讯地址为：310058 浙江省杭州市西湖区余杭塘路866号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。