知识图谱如何帮助映射 3,500 万行大型机代码

原标题How a Knowledge Graph Helped Map a 35-Million-Line Mainframe

Stephen Chin 与 Neeraj Deshmukh 介绍旧系统现代化中的上下文、agent 编排与行为一致性测试。

SCStephen Chin讲者 · Neo4jNDNeeraj Deshmukh讲者 · Blitzy
频道
AI Engineer
发布
2026年11月6日
视频
19:43
阅读
4 分钟
幻灯片
5
原文
英语
在 YouTube 打开
往下滚动阅读时,视频会缩到右下角继续播放。字幕跟随阅读语言。
阅读语言共 2 种语言可读
由 AI 从英语原文翻译。打开“对照原文”可以逐段核对。
摘要

30 秒看懂

Neo4j 的 Stephen Chin 和 Blitzy 的 Neeraj Deshmukh 展示如何把代码依赖表示为带证据的图谱,并提供给 agent。他们介绍人工批准、持续测试,以及供应商报告的银行和保险案例。

  1. 1公式不等于整个系统批处理、布局和输出共同决定行为。
  2. 2为图谱关系保留证据随着代码演进跟踪源码位置和版本。
  3. 3比较新旧行为对照基线测试输出、状态和失败路径。
  4. 4映射不等于迁移四天结果描述的是对 3,500 万行代码的映射。

要点建议

  1. 正确翻译必须保留周边作业、数据契约和行为。
  2. 知识图谱可以将代码连接到有版本的源码证据。
  3. 人工审阅计划和分层测试有助于治理 agent 生成的变更。
  4. 比较新旧结果可以发现舍入和状态差异。
  5. 报告的四天结果是映射,而非重写整个大型机。
全文

按章节阅读整理后的全文

只看原始文稿
01

系统上下文为何重要

讲者解释现代化流程的这一阶段,并用示例说明如何保留系统行为。

Stephen Chin 说,现代银行应用背后往往是老旧大型机,运行着夜间批处理、业务规则和数据契约。当周边依赖不清楚时,修改一行代码都有风险。

Chin 回忆数十年前将 COBOL 迁移到 Java 的经历:项目耗时数年,不完整的测试让边界问题难以发现。他请 Blitzy 的 Neeraj Deshmukh 介绍另一种方法。

02

追踪利息计算

讲者解释现代化流程的这一阶段,并用示例说明如何保留系统行为。

Deshmukh 以公开的 AWS CardDemo 系统和利息计算为例。批处理调用程序,程序使用 copybook 和布局并写入 VSAM 数据;结果取决于所有这些关系,而不仅仅是公式。

追踪利息计算
幻灯片 1 / 5追踪利息计算AWS CardDemo 图将批处理、程序、copybook 和 VSAM 文件连接起来。

如果只要求 AI 将 COBOL 公式翻译成 Java,它可能生成看似合理的代码,却漏掉记录精度、账户更新、交易输出和批处理契约。问题在于缺少系统上下文,而不只是语法转换。

Chin 认为,更大的上下文窗口或相似度搜索不一定能找回变更所需的全部依赖。图可以沿多层关系检索相连信息;两位讲者将其作为模型的补充。

他说模型可能只能有效利用标称上下文的一部分,因此应用应提供准确、相关的证据。他在演讲中的数字是经验判断,不是所有模型或任务的统一上限。

03

将代码变成带证据的图谱

讲者解释现代化流程的这一阶段,并用示例说明如何保留系统行为。

Deshmukh 将作业、程序、copybook、字段和数据存储映射为知识图谱。每条关系保留仓库、版本、符号和来源证据;图谱随代码变化而更新。

带来源证据的图谱
幻灯片 2 / 5带来源证据的图谱每条关系跟踪身份、证据和新鲜度。

每个 agent 收到针对任务的上下文包,其中包括相关源码片段、约束、证据和未解决问题。目标是在需要时获取正确信息,而不是把整个代码库放进一个提示词。

04

Agent、计划与人工批准

讲者解释现代化流程的这一阶段,并用示例说明如何保留系统行为。

Blitzy 将其流程称为企业编译器:逆向理解系统,提取工作流和业务逻辑,结合用户需求生成 agent 行动计划,再由人审阅计划后生成代码。

拟议的现代化流程
幻灯片 3 / 5拟议的现代化流程逆向理解和计划之后是人工批准、生成与验证。

agent 在整个过程中生成并验证代码,产出拉取请求和证据文档。Deshmukh 说,访问仓库与构建环境还使系统能够观察运行时行为,而不只依赖静态分析。

该架构把数千个 agent 共用的计划与持续测试结合起来。Deshmukh 说,Blitzy 用于测试的计算资源多于代码生成,而人在重要检查点保留决策权。

行动计划定义改造范围及必须保留的行为。讲者提出的控制措施包括系统上下文、持续验证、安全与治理护栏,以及人工监督。

05

测试行为一致性

讲者解释现代化流程的这一阶段,并用示例说明如何保留系统行为。

一致性包括金额精度和舍入、余额、交易记录、失败情况及运行行为。已有缺陷也需要明确决定:悄悄修改它们可能改变业务结果。

比较行为
幻灯片 4 / 5比较行为幻灯片将返回值、状态、交易和错误与 COBOL 基线比较。

团队用相同输入比较旧系统与新系统的返回值、持久状态、交易输出和错误。Deshmukh 说,验证贯穿单元、集成、数据和端到端测试,而不是留到最后。

舍入示例说明了原因:Java 翻译结果可能可以编译、看起来正确,却与 COBOL 行为相差一美分。讲者说一致性测试发现了差异;在大规模交易中,微小差异可能累积。

06

客户案例中的报告结果

讲者解释现代化流程的这一阶段,并用示例说明如何保留系统行为。

Deshmukh 展示一家银行的交易入账案例:单体系统被转换成使用 PostgreSQL 和多种语言的六个模块。他称项目耗时 18 天、编写了 4,000 多项测试,而客户原估计为 18 个工程师周。

映射大型机
幻灯片 5 / 5映射大型机供应商比较其报告的四天映射与此前集成工作。

他称,在此前系统集成工作耗费数月之后,Blitzy 用四天映射了约 3,500 万行大型机代码。这是供应商的案例说法;映射系统与迁移每一行代码是不同的工作。

对于另一个 2,500 万行的保险平台,Deshmukh 报告了九倍速度提升,并给出自动完成与生产接纳比例。演讲没有独立证明这些结果是否具有普遍性。

07

现代化之外

讲者解释现代化流程的这一阶段,并用示例说明如何保留系统行为。

讲者说,现代化完成后,同一知识层还可以支持新功能、安全工作和合规证据。例如,促销利率功能可以复用更新后的图谱、治理规则和扩展测试。

Chin 最后介绍了将业务规则和流程连接到系统的知识层。他认为,除了最初的现代化任务,它还可能用于监管合规和欺诈分析。

两位讲者推荐知识图谱课程和包含公开 CardDemo 示例的沙盒,邀请团队用自己的代码探索这种方法。

同频道的其他文章

3 张幻灯片31:22EN → 简体中文
AI Engineer· 2026年11月7日Nouha Dziri:如何降低编码智能体团队的成本Nouha Dziri · CohereProgramBench 和 Commit0 上的实验说明,任务瓶颈、主智能体模型和协调方式比单纯增加智能体数量更重要。Multi-agent systems编程智能体Agent orchestration+2
3 张幻灯片19:34EN → 简体中文
AI Engineer· 2026年11月7日云端智能体如何辅助审核证券主数据变更Amol Kapoor, Clifford Ressel · Nori AgenticAmol Kapoor 和 Clifford Ressel 解释私募资产数据为何难以核对,以及智能体如何辅助人工审核。金融 AIData quality & curation智能体工程+2
4 张幻灯片18:28EN → 简体中文
AI Engineer· 2026年11月7日Vinoo Ganesh:如何让 AI 回答建立在可验证的事实之上Vinoo Ganesh · KeplerKepler 联合创始人介绍金融 AI 中的指针式检索、确定性计算和访问控制。金融 AI检索增强生成Data quality & curation+2
6 张幻灯片1:04:02EN → 简体中文
AI Engineer· 2026年11月6日Lance Martin:审计提示词、改进评估并优化 Agent 成本Lance Martin · AnthropicAnthropic 工程师介绍提示词缓存、评估设计、爬山优化,以及可靠的长时间运行 agent 架构。评估编程智能体AI cost & performance
2 张幻灯片23:05ZH
AI Engineer· 2026年11月6日Ryo Lu:当我们什么都能做,还知道自己想做什么吗?Ryo Lu从 AI 生成的日记工具到爵士乐团,Ryo Lu 讨论如何在更强大的工具旁保有判断、生活和与他人合作的空间。AI interface designHuman-AI CollaborationCreativity+2
4 张幻灯片19:19EN → 简体中文
AI Engineer· 2026年11月6日Ben Holmes:用 Agent 追踪记录改进技能Ben Holmes · WarpWarp 工程师解释如何给对话评分,找出隐藏摩擦并提出可审阅的配置改进。编程智能体评估Software engineering