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

龙图腾网获悉北京邮电大学申请的专利一种基于读写关系的并发缺陷检测方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119739633B 。

龙图腾网通过国家知识产权局官网在2026-01-09发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411801062.2，技术领域涉及：G06F11/3668；该发明授权一种基于读写关系的并发缺陷检测方法及系统是由易秋萍;李壮设计研发完成，并于2024-12-09向国家知识产权局提交的专利申请。

本一种基于读写关系的并发缺陷检测方法及系统在说明书摘要公布了：本发明提供一种基于读写关系的并发缺陷检测方法及系统，属于并发缺陷检测技术领域，包括：获取原始轨迹，原始轨迹用于触发被测程序的已知并发缺陷；调整原始轨迹中的线程调度顺序，生成第一验证轨迹；对第一验证轨迹和被测程序进行静态分析，得到可疑读写关系；根据可疑读写关系，调整第一验证轨迹中的线程交错顺序，生成多个第二验证轨迹；利用全部第二验证轨迹对被测程序进行再次并发缺陷测试，以识别被测程序是否存在额外并发缺陷。本发明通过轨迹生成、静态分析和线程交错顺序调整的协同机制，精准检测并发程序的已知缺陷并探索潜在缺陷，从而实现在复杂并发程序中高效且全面地检测和验证是否存在额外的并发缺陷。

本发明授权一种基于读写关系的并发缺陷检测方法及系统在权利要求书中公布了：1.一种基于读写关系的并发缺陷检测方法，其特征在于，包括： 获取原始轨迹，所述原始轨迹用于触发被测程序的已知并发缺陷； 调整所述原始轨迹中的线程调度顺序，生成第一验证轨迹；所述调整所述原始轨迹中的线程调度顺序，生成第一验证轨迹，具体包括： 排除所述原始轨迹中所有处于阻塞状态的线程，确定当前可执行的第一线程集合； 从所述第一线程集合中选择调度最早可行事件的线程进行执行，并在该线程执行完成后，移除该线程中所有早于当前执行事件的不可行事件，并刷新所述第一线程集合，生成第二线程集合； 将所述第二线程集合作为所述第一线程集合，并重复执行从所述第一线程集合中选择调度最早可行事件的线程进行执行，并在该线程执行完成后，移除该线程中所有早于当前执行事件的不可行事件，并刷新所述第一线程集合，生成第二线程集合的步骤，直至所有线程执行完毕，并在执行过程中记录所有线程的完整执行轨迹，生成所述第一验证轨迹； 对所述第一验证轨迹和所述被测程序进行静态分析，得到可疑读写关系； 根据所述可疑读写关系，调整所述第一验证轨迹中的线程交错顺序，生成多个第二验证轨迹；所述根据所述可疑读写关系，调整所述第一验证轨迹中的线程交错顺序，生成多个第二验证轨迹，具体包括： 遍历所述第一验证轨迹中的所有事件，并记录所述第一验证轨迹中可达的依赖事件； 确定所述可疑读写关系中每个读写事件集合对应的依赖事件，并记录每个所述依赖事件的执行顺序；每个所述读写事件集合包括一个关键读事件和对应的关键写事件； 根据所述执行顺序，对每个所述依赖事件对应的读写事件集合进行调度，并记录调度后的线程交错顺序；其中，在每个所述读写事件集合的调度过程中，优先调度所述读写事件集合中的关键写事件，并在关键写事件调度完成后调度所述读写事件集合中的关键读事件； 在全部所述读写事件集合调度完成后，根据调度后的线程交错顺序，生成多个所述第二验证轨迹； 利用全部所述第二验证轨迹对所述被测程序进行再次并发缺陷测试，以识别所述被测程序是否存在额外并发缺陷。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京邮电大学，其通讯地址为：100876 北京市海淀区西土城路10号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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