用途:在直接预言机有限或不可用时,本技能帮助从输入变换和预期输出关系中推导测试候选,并输出 MT-## 编号的设计候选,用于指导后续验证。
主要能力:分析基准输入、变换规则、预期关系、输出不变量、随机性及已有证据;保留选择理由、证据缺口、优先级与验证动作;在输入不完整时交付受限初版并标记 unassessed 或 blocked;默认输出 Markdown,仅在明确需要时使用表格、JSON 或 CSV。
使用方式:阅读 prompts/metamorphic-testing.md,先列出 known、missing、conflicting、stale、out_of_scope、assumptions 六类输入审计;按方法合同形成 MT-##,每条保留来源、证据状态、影响、责任角色、关闭条件和验证方法;事实、推断、建议与 Human 决策必须分开。先确定原始输入域、变换 T、输出关系 R 及其来源与前提。
适用场景:输入变换可定义、输出关系可推理但缺少可靠 oracle 的测试设计场景。
限制:不发明变换关系、输出结果或随机性结论;不把关系表当成执行证明;不修改需求、代码、测试资产或目标系统;不替 Human 接受风险。文件存在、模板或 Eval 配置不等于真实执行证据。缺少 skill.selection 证据时报告 BLOCKED。