用 PPDCS 建模测试

PPDCS 用实际模型解释行为，再从模型派生测试条件。缩写不是产物。

输入

接收调用方选中的有界功能 M 或同等有界的行为机制、业务结果、相关风险和测试目标。包含多个独立业务结果时先拆分。用户直接调用但范围不清时，只澄清建模边界。

用 TEST 选模型

TEST 用于选型，不写进报告充数：

• Triggers：流程、规则、数据域、因素交互或状态变化的信号；
• Essentials：真正决定行为和结果的机制；
• Spanning Differences：不同模型会暴露哪些不同测试条件；
• Targets：有界功能和本次测试目标。

选择一个主模型。第二模型只有产生主模型没有的具体 TCON 时才保留。