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

龙图腾网恭喜北京计算机技术及应用研究所申请的专利一种基于动态规划的AFL多线程优化方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115186266B 。

龙图腾网通过国家知识产权局官网在2025-06-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210740430.1，技术领域涉及：G06F21/57；该发明授权一种基于动态规划的AFL多线程优化方法及系统是由汪美琴;张卫国;贾琼;罗济凡设计研发完成，并于2022-06-27向国家知识产权局提交的专利申请。

本一种基于动态规划的AFL多线程优化方法及系统在说明书摘要公布了：本发明涉及一种基于动态规划的AFL多线程优化方法及系统，属于信息安全技术领域。本发明基于动态规划算法来求解多条路径节点的最长公共子序列节点集合，继而找出干扰节点，利用该方法能够有效地排除冗余路径，显著提高了AFL多线程调度中种子的稳定性，有利于解决AFL应用在无目标源码的多线程应用程序的低效率问题，为智能化漏洞挖掘在多线程调度中的应用问题提供了新的解决方案和研究思路。

本发明授权一种基于动态规划的AFL多线程优化方法及系统在权利要求书中公布了：1.一种基于动态规划的AFL多线程优化方法，其特征在于，包括以下步骤： S1、对用户输入的测试用例进行预处理，并将预处理后的测试用例加入种子队列； S2、基于所述种子队列，利用AFL变异算法得到新的测试用例； S3、监测所述新的测试用例是否触发了新路径，如果触发了新路径，则继续步骤S4，如果没有，则返回步骤S2； S4、判断生成的新路径是否唯一有效，如果唯一有效，则转入步骤S6，如果存在多条新路径，则继续步骤S5； S5、排除冗余路径，获得有效路径； S6、获得新的测试用例及其对应的有效路径，加入种子队列，得到了有效的测试用例集合； S7、对测试用例及选择的有效路径进行测试，然后返回步骤S2进行下一轮新的变异，直到测试时间结束或者手动停止； 步骤S5具体为： 基于动态规划算法求解所有新路径节点的最长公共子序列节点集合； 取所有新路径节点集合与最长公共子序列节点集合的补集，获得干扰节点集合，即取不在最长公共子序列中的路径节点组成干扰节点集合； 从所有新路径中去除干扰节点，从而排除冗余的路径，获得有效的覆盖路径，即有效路径； 步骤S5中，所述基于动态规划算法求解出所有新路径节点的最长公共子序列节点集合，具体操作为： 用字符串表示每条路径节点组成的集合，则N条路径可以表示为X1、X2、…、XN,以求取路径X1和X2的最长公共子序列为例，设C[i,j]为路径X1和X2中前i,j个字符的最长公共子序列，则其求解公式为： X1[i]、X2[j]分别表示路径X1和X2中的第i、j个字符； 对于多条路径采用分治法进行求取，将所有路径划分为固定的份数，对每一份再继续划分，经过多次回溯，最终获得所有路径的最长公共子序列节点集合S。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京计算机技术及应用研究所，其通讯地址为：100854 北京市海淀区永定路51号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。