arXiv 论文提出跨设备测试证据契约

Zimu Liu 等作者在 arXiv 发布预印本论文，提出一种可执行证据契约，用于跨设备测试中的证据资格判定。该契约把“支持资格认定”设为谓词评估之前的显式阶段，将每项义务绑定到可采信的主体、片段、对象与观测范围，并记录未解决的支持，而不是把表面成功的观测当作证明。 论文称，这一方法针对部分可观测条件下的测试判定问题，目的是在判定 PASS 前先确认证据是否具备资格。上述效果来自作者自述，尚未见独立验证。

AI 根据报道生成 · 20 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。