| 定义 | 判定实际结果是否符合预期的机制（Barr 等, 2015） |
|---|---|
| 常见形式 | 预期值断言、差分测试、元性质（metamorphic）校验、人工评审 |
判定基准类型
| 类型 | 示例 |
|---|---|
| 规格驱动 | 按验收标准断言响应字段与状态码 |
| 差分测试 | 与旧版本或参考实现比对输出 |
| 元性质 | 排序后元素集合不变、编码解码后等价 |
| 人工判定 | 视觉稿比对、探索式观察 |
自动化用例把「当前行为」直接固化为快照，会把既有缺陷一起冻结；快照需人工确认后入库。
测试判定基准（Test Oracle）
判断一次执行结果是否正确所依据的基准：需求规格、参考实现、历史输出、可校验的性质等；没有判定基准时只能记录输出，无法判定对错。
易错点
- 用「不报错即通过」当作判定：接口返回 200 但业务错误码未校验时会漏缺陷
- 快照测试不做人工复核，等于把未知行为当预期
数据来源与参考
- Barr 等《The Oracle Problem in Software Testing: A Survey》（IEEE TSE, 2015）