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

龙图腾网获悉中科天齐(山西)软件安全技术研究院有限公司申请的专利一种程序并发缺陷检测方法、装置、存储介质及电子设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115981999B 。

龙图腾网通过国家知识产权局官网在2025-11-14发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211500228.8，技术领域涉及：G06F11/3668；该发明授权一种程序并发缺陷检测方法、装置、存储介质及电子设备是由袁挺;刘晨;陆杰;李昊峰;李炼;高琳设计研发完成，并于2022-11-28向国家知识产权局提交的专利申请。

本一种程序并发缺陷检测方法、装置、存储介质及电子设备在说明书摘要公布了：本发明公开了一种程序并发缺陷检测方法、装置、存储介质及电子设备，利用自动劫持工具获取待检测程序中的同步语句；获取劫持函数并利用所述劫持函数控制所述同步语句的执行；当所述同步语句执行，判断所述待检测程序中的缺陷是否暴露；当所述待检测程序中的缺陷未暴露，记录所述同步语句的执行轨迹；利用轻量级预测分析对所述执行轨迹进行分析，确定所述待检测程序中所述缺陷的位置。本发明利用轻量级预测分析，避免了为每一个同步事件建立约束表达式进行求解，而是考虑对检测阻塞缺陷更加重要的事件进行分析，通过循环依赖环而非盲目枚举来计算可能阻塞位置。因此，通过实施本发明，降低了依赖性，提高了检测效果。

本发明授权一种程序并发缺陷检测方法、装置、存储介质及电子设备在权利要求书中公布了：1.一种程序并发缺陷检测方法，其特征在于，所述方法包括： 利用自动劫持工具获取待检测程序中的同步语句； 获取劫持函数并利用所述劫持函数控制所述同步语句的执行； 当所述同步语句执行，判断所述待检测程序中的缺陷是否暴露； 当所述待检测程序中的缺陷未暴露，记录所述同步语句的执行轨迹； 利用轻量级预测分析对所述执行轨迹进行分析，确定所述待检测程序中所述缺陷的位置，其中，利用离线检测器进行轻量级预测分析，所述轻量级预测分析通过循环依赖环确定同步语句执行过程中因为事件交替顺序变化导致的阻塞缺陷； 其中，当所述同步语句执行，判断所述待检测程序中的缺陷是否暴露，包括： 当所述同步语句执行，在所述同步语句中注入延迟； 利用时间延迟和预设在线检测机制判断注入延迟后的所述同步语句是否发生错误，所述时间延迟用于通过改变因共享变量导致的路径条件以探索更多的路径； 根据判断结果确定所述待检测程序中的缺陷是否暴露； 利用轻量级预测分析对所述执行轨迹进行分析，确定所述待检测程序中所述缺陷的位置，包括： 当所述执行轨迹发生错误，根据所述执行轨迹中发生错误的位置确定所述待检测程序中所述缺陷的位置； 当所述执行轨迹未发生错误，根据所述同步语句的执行结果判断所述待检测程序中所述同步语句的覆盖率是否提高； 根据判断结果对所述同步语句中注入的延迟进行处理； 根据处理结果确定所述待检测程序中所述缺陷的位置； 其中，根据判断结果对所述同步语句中注入的延迟进行处理，包括： 当所述覆盖率提高，对所述延迟进行标记，得到目标延迟； 将所述目标延迟加入预设种子队列，经过种子选择，对所述目标延迟进行变异处理。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中科天齐(山西)软件安全技术研究院有限公司，其通讯地址为：030032 山西省太原市唐槐园区汾东大街10号A栋501室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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