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

龙图腾网获悉上海大智慧财汇数据科技有限公司申请的专利基于最小修补图的增量测试上下文生成方法和系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120723659B 。

龙图腾网通过国家知识产权局官网在2025-11-18发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511232577.X，技术领域涉及：G06F11/3668；该发明授权基于最小修补图的增量测试上下文生成方法和系统是由王日红设计研发完成，并于2025-09-01向国家知识产权局提交的专利申请。

本基于最小修补图的增量测试上下文生成方法和系统在说明书摘要公布了：本发明提供了一种基于最小修补图的增量测试上下文生成方法和系统，包括：构建同时含控制、数据、调用依赖的跨文件程序依赖图；以改动行集合为种子进行语义切片；采用含只读依赖剪枝及并行路径压缩的改进Tarjan‑Lengauer算法求最小支配集；生成最小修补图Δ‑Context并以自定义DSL序列化；随后仅编译Δ‑Context涉及文件并执行受影响测试用例集合。本发明采用“跨文件程序依赖图+语义切片+改进Tarjan‑Lengauer最小支配集”技术，解决了传统行级diff在增量编译与回归测试中存在的补丁冗余大、测试范围广、误报率高等问题。

本发明授权基于最小修补图的增量测试上下文生成方法和系统在权利要求书中公布了：1.一种基于最小修补图的增量测试上下文生成方法，其特征在于，包括： 步骤1：获取代码提交差异得到改动行集合； 步骤2：构建包含函数节点、语句节点、表达式节点的跨文件程序依赖图，其中依赖边类型包括控制依赖边、数据依赖边和调用依赖边； 步骤3：以改动行集合为种子，在跨文件程序依赖图上执行前向与后向语义切片，得到候选子图；所述前向切片沿数据依赖边和调用依赖边遍历，所述后向切片沿控制依赖边和数据依赖边遍历； 步骤4：在候选子图上采用Tarjan-Lengauer算法求解最小支配集，算法包括：剪枝，移除所有read-only数据依赖边；并行路径压缩，采用四线程并行更新直接支配节点； 步骤5：基于最小支配集构造最小修补图，所述最小修补图由节点集和边集组成，其中节点集通过从最小支配集中节点出发的两跳依赖路径收集得到，且剔除只读依赖节点与无副作用表达式节点； 步骤6：将最小修补图按ΔDSL语法序列化为补丁文件； 步骤7：解析补丁文件中的position字段获得源文件路径，通过预构建的依赖索引映射得到目标文件集合，触发增量编译器仅编译目标文件集合，基于调用图反向遍历选取受影响测试用例集合并执行回归测试。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人上海大智慧财汇数据科技有限公司，其通讯地址为：201203 上海市浦东新区中国(上海)自由贸易试验区郭守敬路498号12幢21501-21507室；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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