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

龙图腾网获悉浙江大学;中国电子产品可靠性与环境试验研究所((工业和信息化部电子第五研究所)(中国赛宝实验室))申请的专利一种基于状态变量推断的物联网可信执行环境内核模糊测试方法和系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116346692B 。

龙图腾网通过国家知识产权局官网在2025-11-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310128622.1，技术领域涉及：H04L43/50；该发明授权一种基于状态变量推断的物联网可信执行环境内核模糊测试方法和系统是由纪守领;王琴应;常博宇;张旭鸿;王文海;朱欣设计研发完成，并于2023-02-17向国家知识产权局提交的专利申请。

本一种基于状态变量推断的物联网可信执行环境内核模糊测试方法和系统在说明书摘要公布了：本发明公开了一种基于状态变量推断的物联网可信执行环境内核模糊测试方法和系统，属于物联网可信执行环境内核测试领域。方法包括：基于文档分析构建测试样例模板文件辅助模糊测试进行；基于硬件仿真器的模糊测试执行反馈信息收集；采用主动测试方法的物联网可信执行环境内核状态变量结构体成员推断；综合测试样例代码覆盖信息与系统状态信息对模糊测试种子进行评分，优选高分数种子进行模糊测试。本发明设计的基于状态变量推断的物联网可信执行环境内核模糊测试方法和系统能够对物联网可信执行环境内核进行高效率的测试。

本发明授权一种基于状态变量推断的物联网可信执行环境内核模糊测试方法和系统在权利要求书中公布了：1.一种基于状态变量推断的物联网可信执行环境内核模糊测试方法，其特征在于，包括以下步骤： 步骤1，根据物联网可信执行环境文档，构建测试样例模板文件并初选状态变量结构体； 步骤2，运行可信应用程序，收集并分析可信应用程序执行日志，根据日志信息构建模糊测试种子队列，对种子队列开展模糊测试，并收集模糊测试反馈信息； 所述的步骤2包括： 步骤2-1：随机选择可信应用程序运行过程中执行的函数调用序列作为模糊测试初始种子，基于步骤1得到的测试样例模板文件对种子进行随机变异并开展模糊测试； 步骤2-2：在步骤2-1开展模糊测试的同时，使用硬件仿真器实时收集模糊测试反馈信息； 步骤3，根据初选的状态变量结构体和当前模糊测试反馈信息，采用主动测试的方法推断物联网可信执行环境内核状态变量结构体的子成员变量信息，作为物联网可信执行环境内核状态信息； 所述的步骤3包括： 步骤3-1，初始化步骤1得到的状态变量结构体； 步骤3-2：根据收集得到的当前模糊测试反馈信息中的函数参数信息，将函数调用前后函数参数内存数据进行对比，推断整数类型、枚举类型、字符串或数组指针类型的子成员变量在状态变量结构体中的偏移量； 步骤3-3：根据步骤3-2推断出的偏移量信息，从状态变量结构体中筛选出整数类型与枚举类型的子成员，作为可信执行环境内核状态； 步骤4，根据步骤3推断出的物联网可信执行环境内核状态信息和当前模糊测试反馈信息，计算模糊测试种子的综合选择分数，优选分数较高的模糊测试种子进行测试，并收集模糊测试反馈信息； 所述的步骤4包括： 步骤4-1：根据收集到的当前模糊测试反馈信息中的代码覆盖信息，计算模糊测试种子代码覆盖分数； 步骤4-2：根据步骤3推断出的物联网可信执行环境内核状态信息，计算模糊测试种子状态变量分数； 步骤4-3：根据步骤4-1和步骤4-2计算出的种子代码覆盖分数与状态变量分数，计算得出模糊测试种子综合分数，优选综合分数较高的种子进行变异与测试； 步骤5，重复执行步骤3-4，直至模糊测试结束。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人浙江大学;中国电子产品可靠性与环境试验研究所((工业和信息化部电子第五研究所)(中国赛宝实验室))，其通讯地址为：310058 浙江省杭州市西湖区余杭塘路866号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。