Apparent Correctness vs. Executability: Why “Normal” Code Fails to Run A computational failure taxonomy with a reproducible case study

Justin–Zheng · 2026 · 被引用 0 次 · 被收藏 1 次 · 被点击 1 次

摘要

工程实践中普遍存在一种认知偏差：开发者倾向于认为"代码正确即可运行"。然而现实表明，语法正确、逻辑自洽且通过单元测试的代码仍可能在运行时失效。本研究通过四元组框架 R=\langle C,E,D,T\rangle 形式化"表观正确性"与"可运行性"之间的系统性鸿沟，其中 C 代表代码本体，E 涵盖操作系统、运行时环境与依赖库，D 包含数据路径与配置参数，T 涉及时序、资源限制与并发条件。

出处

Digital Sator · 0202

登录后收藏/认领