EVIDENCE-DRIVEN MIGRATION / 软件迁移工程预研
让一次迁移,
成为下一次的起点。
从架构风险到修复依据,再到可复用规则。
以 image-pipeline 为例,走完 RISC-V 迁移的工程闭环。
CURRENT DECISION待开始
先建立证据,再作出判断
第一轮发现新问题并沉淀修复;审批后,再跑一轮展示规则复用。
示例工程image-pipeline / C++17 · CMake
目标环境QEMU · rv64gc / LP64D
当前轮次尚未开始
验收基线BASE-X86-001
WALKTHROUGH点击章节查看讲解提示
讲解提示
迁移不是换一个编译器。先确认源码、依赖、工具链、目标环境和比较基线,再决定哪些问题可修、哪些证据还缺失。
迁移评估模块
0/6
等待运行
- 1迁移评估等待中
- 2特征匹配等待中
- 3初次检验等待中
- 4Agent 修复等待中
- 5双重检验等待中
- 6特征入库等待中
迁移事件 内置轨迹
- 等待开始演示流程会按真实顺序展示评估、匹配、检验与修复证据。
当前处理
待开始MIGRATION DEMO
开始后,这里会展示每一步的判断依据
演示只使用固定数据,不会克隆仓库、运行编译器或调用真实 Agent。
模块检查输入、证据、结论与下一步查看
迁移指纹为什么系统把它判定为迁移风险查看
代码详情问题行、上下文与失败原因查看
修改详情Agent 改了什么,以及为什么有效查看
错误信息
修复前后 · 关键代码
等待生成
尚未生成迁移成品代码
候选修复生成后,将在这里展示修改后的对应代码片段。
构建检验尚未执行
运行检验尚未执行
两项均通过,才算迁移完成
同一个问题,下一次如何处理
第一次 · 建立经验
发现未覆盖问题 → Agent 候选修复 → 双重检验 → 人工审批
等待完成第一轮下一次 · 复用经验
命中已批准规则 → 应用修复 → 重新检验 → 跳过 Agent
审批入库后,运行下一轮规则复用节省重复分析;每一轮仍需重新验证。
演示边界:所有扫描、日志、补丁和验收均来自内置场景;没有连接真实仓库、编译器、Agent 或 RISC-V 设备。
迁移特征库
查阅有出处的指纹案例,或查看当前演示已批准的修复规则
1已入库特征
特征详情
已入库MF-008
- 问题特征
- 修复方案
- 适用范围
- 来源任务
✓
✓
查看指纹与修改依据包含代码位置、判断边界与补丁
FINGERPRINT FIELD GUIDE
一个信号,需要哪些条件才成立?
选择案例并调整观察值,查看判断如何变化。样例由官方机制构造,未在当前项目执行,也不会自动加入已批准规则。
指纹触发条件
试一组观察值
教学样例 · 本地条件判断为什么会影响迁移
可考虑的处理
如何确认结果
查看关键片段 示意,不是已执行的补丁
BEFORE / 观察
AFTER / 处理参考
判断边界
官方依据
链接支持机制说明;界面中的路径、观察值和条件组合是教学样例。
入库审批
验证通过的修复经验,需要管理员确认后才能成为可复用特征
特征候选
待审批MF-042
- 问题特征
- 修复方案
- 适用范围
- 重复检查
- 未发现相同特征
✓
✓
核对指纹与修改依据批准前请确认触发条件、代码和补丁
请填写驳回原因
审批结果
候选只会在构建与运行两项检验均通过后产生。