- 改动是否真的解决了它声称的问题（对照描述与测试）
- 空值、空集合、零、负数的处理路径
- 边界：超大输入、超时、重试、部分失败后的状态
- 外部依赖的行为假设：版本差异、默认值、错误语义
评审者不必替作者重写代码，但要追问结论依据：测试、日志或文档。
| 追问依据 | 结论引用测试、日志或文档，口头承诺不算 |
|---|---|
| 三处互证 | 改动描述、复现步骤、测试用例相互印证 |
评审检查项：正确性
正确性检查聚焦行为：意图是否达成、边界与异常路径、空值与溢出、幂等与顺序假设，以及对外部依赖行为的理解是否正确。
易错点
- 只看快乐路径：异常与边界分支无人验证
- 把测试全绿当作正确性证明：测试可能复用了同样的误解
数据来源与参考
- Google Engineering Practices · What to look for in a code review（Functionality）