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

龙图腾网获悉中国人民解放军国防科技大学申请的专利一种基于浮点格式感知模糊测试的浮点异常检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115712568B 。

龙图腾网通过国家知识产权局官网在2026-05-01发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211467048.4，技术领域涉及：G06F11/3668；该发明授权一种基于浮点格式感知模糊测试的浮点异常检测方法是由陈立前;马成虎;王戟;易昕;范广生;毛晓光;陈振邦;董威设计研发完成，并于2022-11-22向国家知识产权局提交的专利申请。

本一种基于浮点格式感知模糊测试的浮点异常检测方法在说明书摘要公布了：本发明公开了一种基于浮点格式感知模糊测试的浮点异常检测方法，其包括：步骤S1：静态分析和插桩；利用静态分析技术识别并得到程序中所有的浮点操作以及程序的控制流图信息，定义并插桩相应的检测函数；为每个浮点操作插入了ErrBits函数，所述ErrBits函数用于度量一个测试输入距离触发潜在浮点异常的距离；步骤S2：浮点格式感知的模糊测试；针对步骤S1插桩后的代码，对其进行结合浮点异常距离极小化和分支覆盖信息为指导的模糊测试来检测程序中潜在的浮点异常。本发明具有原理简单、操作简便、误报率较低、可伸缩性较好的等优点。

本发明授权一种基于浮点格式感知模糊测试的浮点异常检测方法在权利要求书中公布了：1.一种基于浮点格式感知模糊测试的浮点异常检测方法，其特征在于，包括： 步骤S1：静态分析和插桩；利用静态分析技术识别并得到程序中所有的浮点操作以及程序的控制流图信息，定义并插桩相应的检测函数；为每个浮点操作插入了ErrBits函数，所述ErrBits函数用于度量一个测试输入距离触发潜在浮点异常的距离； 步骤S2：浮点格式感知的模糊测试；针对步骤S1插桩后的代码，对其进行结合浮点异常距离极小化和分支覆盖信息为指导的模糊测试来检测程序中潜在的浮点异常； 所述步骤S2的流程包括： 步骤S21：输入为步骤S1插桩后的程序和初始测试输入，输出为BuggyS，是触发目标程序中浮点异常的测试用例集； 步骤S22：当模糊测试运行时间没有超过预定义阈值时限时，首先，从种子队列中选择一个输入s，对其进行变异并生成变异后的输入s’；然后，运行该变异后的输入s’并监控其执行状态，收集距离浮点异常信息以及程序分支覆盖信息； 步骤S23：如果所述变异的输入s’距离触发浮点异常更近，即本次执行距离浮点异常信息CurSet_ErrBits中存在潜在异常位置的ErrBits值比目前最新的距离浮点异常信息Set_ErrBits中相应的潜在异常位置的ErrBits值小，则利用CurSet_ErrBits的信息更新映射表Set_ErrBits，同时将该变异输入s’视为有趣的种子，并将其添加到种子队列中以供后续进一步变异来生成更多有趣的测试输入；或者，在所述变异的输入s’的执行过程中，覆盖了之前没有覆盖到的程序位置，该输入s’也将被视为有趣的种子并添加到种子队列中； 步骤S24：如果发现此次输入的执行导致目标程序崩溃，那么该输入会被添加到收集触发浮点异常用例集BuggyS中；最后当以浮点格式感知的模糊测试的运行时间达到预定义的时限阈值时，则结束运行过程并输出触发浮点异常测试用例集BuggyS。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军国防科技大学，其通讯地址为：410073 湖南省长沙市开福区砚瓦池正街47号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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