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

龙图腾网获悉中国科学院软件研究所申请的专利一种工控系统中协议与中断程序的并发测试方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120029902B 。

龙图腾网通过国家知识产权局官网在2025-11-25发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411904005.7，技术领域涉及：G06F11/3668；该发明授权一种工控系统中协议与中断程序的并发测试方法及系统是由蔡彦;聂泽华;陈睿;于婷婷设计研发完成，并于2024-12-23向国家知识产权局提交的专利申请。

本一种工控系统中协议与中断程序的并发测试方法及系统在说明书摘要公布了：本发明公开了一种工控系统中协议与中断程序的并发测试方法及系统，属于软件测试和软件可靠性领域。本发明针对中断驱动型嵌入式软件中潜在数据竞争难以精确识别的问题，提出通过程序插桩记录事件，生成原始执行序列，并过滤无关事件后得到过滤序列，结合中断信息构造可触发数据竞争的事件序列；通过确定必要事件集合与必要偏序集合，基于有向图建立事件间偏序关系并进行闭包计算，判断数据竞争是否真实发生。本发明能够精确捕获中断相关同步信息，高效检测潜在数据竞争，显著提升工控系统软件并发测试的精度与可靠性。

本发明授权一种工控系统中协议与中断程序的并发测试方法及系统在权利要求书中公布了：1.一种工控系统中协议与中断程序的并发测试方法，其特征在于，包括以下步骤： 对待测试程序进行插桩，记录事件，生成原始执行序列，记录的事件包括内存事件、锁事件、分支事件和同步事件； 过滤原始执行序列中的无关事件，得到过滤后的执行序列，过滤的无关事件包括局部变量、只读变量和冗余分支； 通过静态分析识别中断信息，得到中断相关同步操作集合；该中断相关同步操作集合包括中断开关操作、中断入口和出口及标志变量操作，其中，中断开关操作涉及使能或屏蔽中断的指令序列，控制程序中断的启用与禁用；中断入口和出口标志中断服务程序的开始和结束，是程序流切换的关键节点；标志变量操作作为轻量级的同步机制，通过显式的读写操作实现中断和任务之间的协同控制； 根据过滤后的执行序列和中断相关同步操作集合，构造可触发数据竞争的事件序列；构造可触发数据竞争的事件序列的步骤包括：找出属于不同线程且操作同一共享变量的读写事件对，其中至少包含一个写操作；将读写事件对与其在过滤后的执行序列中前后各一个事件交叉排列，生成可触发数据竞争的事件序列； 根据可触发数据竞争的事件序列和过滤后的执行序列，确定必要事件集合；该必要事件集合同时满足四个条件：程序可行、观察可行、锁义可行和中断可行； 根据必要事件集合，计算得到必要偏序集合；该必要偏序集合包括含程序偏序、观察偏序、锁义偏序和中断偏序，以及包括可触发数据竞争的事件序列中事件按照给定顺序排列的偏序约束；必要偏序集要求偏序满足以下中断服务程序的不对称抢占关系：任何优先级的中断服务程序均被允许抢占正在运行中的主任务；具有更高优先级的中断服务程序被允许抢占正在执行的低优先级中断服务程序；任何优先级的中断服务程序无法抢占比自己优先级更高的中断服务程序，仅能在高优先级中断服务程序完成执行后继续运行；相同优先级的中断服务程序之间无法互相抢占，仅能在先执行的中断服务程序完成执行后继续运行； 根据必要事件集合和必要偏序集合，使用有向图表示偏序关系，顶点为事件，边为事件间的偏序关系； 根据有向图进行偏序闭包计算，包括传递闭包、观察闭包、锁闭包、中断闭包和邻接闭包计算；如果计算过程中出现环路，则判断可触发数据竞争的事件序列无法真实发生；否则判断可触发数据竞争的事件序列可真实发生，表示待测程序中存在数据竞争。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国科学院软件研究所，其通讯地址为：100190 北京市海淀区中关村南四街4号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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