约束示例
约束示例
开始时间 < 结束时间
结束时间 - 开始时间 ≤ 90 天
方案 A 与方案 B 互斥（不可同时选择）违反约束的用例同样是有效用例：验证系统拒绝非法组合并给出明确提示。
约束类型与用例生成
| 约束 | 示例 | 要生成的用例 |
|---|---|---|
| 范围 | 金额不超过单笔上限 | 等于上限、上限 + 1 |
| 关联 | 选择方案 A 则字段 B 必填 | 补全 B、缺失 B |
| 互斥 | 两种支付方式不可同选 | 同时选择应被拒绝 |
| 时序 | 开始时间早于结束时间 | 倒序与相等时间的处理 |
约束型输入与依赖参数
参数之间存在依赖与约束（如 A 必填 B、区间不可重叠）：设计用例时先形式化约束，再生成满足与违反约束的用例。
易错点
- 约束规则只停留在口头需求里，用例边界与实现不一致
- 联动表单只测前端校验，接口侧约束未验证
数据来源与参考
- ISTQB CTFL 4.0 大纲（组合与约束）