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