arXiv · Software Engineering· Fabio Rovai·2026-09-30 12:00· 6 小时前精选AI 评分62

独立验证路径并不独立：卫星目录流水线中的共性模式故障案例研究

Independent Verification Paths Are Not Independent: A Case Study of Common-Mode Failure in a Satellite Catalogue Pipeline

AI 导读

研究发现卫星目录流水线的双重验证路径因导入相同错误常量而全部给出错误一致结果，其中一项计数被高估超过四倍（932 对 220）。作者提出基于对象级账本的核对机制和三项回溯源文档的检查，并在受控复现中验证：72/75 条独立生成路径仍复现错误，即使提示词包含源端定义亦然。

推荐理由

论文揭示了冗余验证路径因共享同一错误常量而集体失效，对依赖多路径交叉核验的AI for Science工作流具有警示意义。