杭州电子科技大学徐向华获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉杭州电子科技大学申请的专利基于行为差异引导的有状态协议差分测试方法及系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN116805928B 。
龙图腾网通过国家知识产权局官网在2025-10-03发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202310598307.5,技术领域涉及:H04L43/18;该发明授权基于行为差异引导的有状态协议差分测试方法及系统是由徐向华;黄一乘设计研发完成,并于2023-05-24向国家知识产权局提交的专利申请。
本基于行为差异引导的有状态协议差分测试方法及系统在说明书摘要公布了:本发明公开了基于行为差异引导的有状态协议差分模糊测试方法及系统,该方法在测试准备阶段,根据待测协议的协议规范编写数据模型和状态模型作为模糊器的输入。在目标状态选择阶段,根据行为差异信息选择一个最佳的待测状态。在消息序列选择阶段,选择当前目标状态下最能够触发程序间行为差异的消息序列,并进行变异。在行为差异引导阶段,收集所有待测程序执行该测试用例产生的行为差异信息,并同步到目标状态选择和消息序列选择中。本发明有效解决现有网络协议差分测试工作无法有效针对协议实现完整状态空间进行自动化测试,以及存在的状态和消息序列选择盲目问题,提升测试效率。
本发明授权基于行为差异引导的有状态协议差分测试方法及系统在权利要求书中公布了:1.基于行为差异引导的有状态协议差分模糊测试方法,其特征在于,包括如下步骤: S1、部署待测协议实现程序,并根据待测协议的协议规范编写数据模型DataModel和状态模型StateModel作为模糊器的输入; S2、模糊器维护一个行为差异反馈信息表StateDiffTab,对于状态模型StateModel中每个状态si,StateDiffTab都记录了其行为差异反馈信息,当下一轮测试进行目标状态选择时,模糊器根据每个状态si在差异反馈信息表StateDiffTab中记录的行为差异反馈信息,为每个状态si计算一个权值,模糊器选择权值最高的状态作为本轮测试的目标状态; S3、模糊器维护一个行为差异反馈信息表MessageDiffTab,对于数据模型DataModel中的每一个消息序列m,MessageDiffTab都记录了其行为差异反馈信息,在每次选择完本轮测试的目标状态后,模糊器根据行为差异反馈信息表MessageDiffTab中记录的行为差异反馈信息为该目标状态的消息序列语料库中每一个消息序列计算权值,选择权值最高的消息序列进行变异; S4、采用差分测试工具NEZHA所定义的行为差异指标对不同协议实现程序执行同一个消息序列后产生的行为差异反馈信息进行量化,分别为响应差异指标和控制流图差异指标。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人杭州电子科技大学,其通讯地址为:310018 浙江省杭州市钱塘区白杨街道2号大街1158号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励