---
格式版本: 2
标题: "Oracles That Cannot Fail: Anchoring and the Expectation That Moves With the Fault"
原文链接: "https://arxiv.org/abs/2608.17214"
发布日期: "2026-08-17"
发布时间校准状态: "found"
发布时间需复核: "否"
发布时间来源: "rule:local:strict_original_body"
发布时间证据: "**\\[v1\\]** Mon, 17 Aug 2026 23:56:16 UTC (47 KB)"
发布时间校准原因: "规则确认唯一严格发布时间，来源 local:strict_original_body"
发布时间校准置信度: "high"
发布时间候选数量: 18
发布时间严格候选数量: 6
发布时间原页读取状态: "source template page reused from URL open"
发布时间未找到原因: ""
发布时间校准时间: "2026-08-20T14:43:38+08:00"
发布时间仲裁状态: "skipped"
发布时间仲裁尝试次数: 0
发布时间仲裁耗时毫秒: 0
发现时间: "2026-08-20T14:38:42+08:00"
入库时间: "2026-08-20T06:43:38.508Z"
来源平台: "arXiv 学术论文搜索"
搜索渠道: "source_template"
搜索词: "https://arxiv.org/search/?query=Oracle&searchtype=all"
匹配关键词:
  - "deployment"
相关厂家:
  - "Oracle"
相关专家:
  []
内容类型: "网页"
抓取工具: "Free Fetch + Defuddle"
清洗工具: "Defuddle Markdown + Defuddle/Readability 正文提取"
原始附件:
  []
AI优质: "否"
AI打分: 10
AI分档: "非优质"
AI质检状态: "不通过"
AI打分理由: "该论文为软件工程领域测试预言机研究，与超节点/AI Rack/机柜级AI基础设施完全无关，无任何相关技术或商业信息。"
AI质检模型: "ali-deepseek-v4-flash"
AI质检时间: "2026-08-20T14:47:18+08:00"
AI主题相关性: 0
AI来源权威性: 5
AI新颖性: 0
AI技术细节: 0
AI商业部署信号: 0
AI完整性: 5
AI摘要: "该研究提出测试预言机的“锚定”缺陷：当期望值直接或间接来自被测代码时，故障会同步移动测量与期望，使任何输入都无法暴露错误。"
AI摘要模型: "ali-deepseek-v4-flash"
AI摘要时间: "2026-09-07T03:25:54.009Z"
采集批次: "2026年8月20日14点19分32秒"
采集批次ID: "20260820-141932-079"
去重键: "https://arxiv.org/abs/2608.17214"
---

## Computer Science > Software Engineering

## Title:Oracles That Cannot Fail: Anchoring and the Expectation That Moves With the Fault

Authors:[Arquimedes Canedo](https://arxiv.org/search/cs?searchtype=author&query=Canedo,+A)

[View PDF](https://arxiv.org/pdf/2608.17214) [HTML (experimental)](https://arxiv.org/html/2608.17214v1)

> Abstract:A test oracle that obtains its expected value from the system it is judging cannot fail. If a fault moves measurement and expectation together the comparison cancels exactly, and no generated input will reveal it. The defect is in the oracle and not in the input space. We call this oracle anchoring. An expectation is specification-anchored when composed from values fixed outside the code under mutation, and state-anchored when it flows, directly or transitively, from that code. The expected-value form is named in the test-smell literature but not measured in any study we retrieved. We name three further channels by which such a value reaches a verdict, restrict the predicate to values flowing from the mutate target, and measure it. The subject is a deployed air traffic control simulator with 12 model-free property suites. Across 4 modules and 366 mutants these add 3 mutants of detection over the hand-written tests, while remaining 6 to 33 times as efficient per test. We then intervene three times, predicting each outcome first. Re-anchoring one holding oracle on published procedure, changing no production code, recovers 8 of 46; state-anchoring a healthy debounce oracle costs 4 of 19; and a reference model on that population kills exactly what specification anchoring kills, placing the risk in anchoring and not in model-freedom. Of 6 instances ablated, the two sizing their comparison carry 11 of the 12 recovered mutants. The published smell rule would revert our repair. Writing the oracle this analysis said was missing then exposed two defects deployment had not surfaced. All measurements come from one system by one author.

| Subjects: | Software Engineering (cs.SE) |
| --- | --- |
| Cite as: | [arXiv:2608.17214](https://arxiv.org/abs/2608.17214) \[cs.SE\] |
|  | (or [arXiv:2608.17214v1](https://arxiv.org/abs/2608.17214v1) \[cs.SE\] for this version) |
|  | [https://doi.org/10.48550/arXiv.2608.17214](https://doi.org/10.48550/arXiv.2608.17214) |

## Submission history

From: Arquimedes Canedo \[[view email](https://arxiv.org/show-email/ee9f98fb/2608.17214)\]  
**\[v1\]** Mon, 17 Aug 2026 23:56:16 UTC (47 KB)

[Which authors of this paper are endorsers?](https://arxiv.org/auth/show-endorsers/2608.17214) | Disable MathJax ([What is MathJax?](https://info.arxiv.org/help/mathjax.html))