验证

从行为主张选择输入、边界和证据，解释测试层次、替代依赖、数据、确定性与失败诊断。