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

龙图腾网获悉中国人民解放军军事航天部队航天工程大学申请的专利一种基于符号执行的模糊测试方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120780607B 。

龙图腾网通过国家知识产权局官网在2025-12-02发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511204665.9，技术领域涉及：G06F11/3668；该发明授权一种基于符号执行的模糊测试方法及系统是由肖紫嫣;钱克昌;王宇;熊达鹏;苏英豪;曾庆尧;左一冉设计研发完成，并于2025-08-27向国家知识产权局提交的专利申请。

本一种基于符号执行的模糊测试方法及系统在说明书摘要公布了：本发明涉及符号执行模糊测试技术领域，具体公开了一种基于符号执行的模糊测试方法及系统，其中方法包括：识别配置项之间的互斥关系,并根据互斥关系组合配置项，得到多个配置组合；对各配置组合执行模糊测试，并记录触发的路径；根据配置组合和路径建立关联关系；根据关联关系识别互斥路径；重构简化的路径约束表达式；当路径约束表达式能够在非原始配置组合中触发时，提取表达式输入特征，并建立跨配置映射关系；否则将路径与原始配置组合绑定并生成配置约束；根据跨配置映射关系或者配置约束调整配置组合的测试顺序，用以进行下一轮模糊测试。本发明能够提升路径探索的有效性和整体测试效率，提升在复杂配置环境下的测试覆盖能力。

本发明授权一种基于符号执行的模糊测试方法及系统在权利要求书中公布了：1.一种基于符号执行的模糊测试方法,其特征在于，包括： 获取配置驱动程序中的多个配置项； 识别所述配置项之间的互斥关系,并根据所述互斥关系组合所述配置项，得到多个配置组合； 对各所述配置组合执行模糊测试，并记录各所述配置组合触发的路径； 根据所述配置组合和所述路径建立关联关系； 根据所述关联关系识别仅在单一的配置组合中出现的互斥路径；所述互斥路径出现的配置组合为原始配置组合； 获取与输入特征相关的路径约束，忽略配置约束，根据所述路径约束对所述互斥路径进行符号执行，通过所述路径约束重构简化的路径约束表达式； 当所述路径约束表达式能够在非原始配置组合中触发时，提取所述路径约束表达式的表达式输入特征，并建立描述输入特征在不同配置组合下能否满足路径约束表达式的跨配置映射关系； 当所路径约束表达式不能够在非原始配置组合中触发时，将所述路径与所述原始配置组合绑定并生成配置约束； 根据所述跨配置映射关系或者所述配置约束调整配置组合的测试顺序，用以进行下一轮模糊测试。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军军事航天部队航天工程大学，其通讯地址为：101416 北京市怀柔区八一路一号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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