测试用例智能体怎样避免漏组合？从明确需求生成决策表，再核对覆盖

测试用例智能体容易列出正常场景，却漏掉两个条件同时变化的组合。先把需求里的有限条件写成决策表，再检查生成用例是否覆盖每一组。

要让智能体生成需求测试用例的读者。本文使用 Python 3.11 或以上版本的标准库，先验证一组人工构造的小样本。AI 负责提出实现或解释差异，结果由本地检查决定；这里没有把模型回答当成真实运行结果。

核对测试条件组合覆盖前，先定规则

教学需求是预览按钮仅在已加载材料且校验完成时启用，两个条件都严格为布尔值。规则由本文明确给定，不代表真实产品默认业务。

两个条件各有True/False，一共四组。组合数过多时需用业务约束或组合测试策略，不能无限枚举。

重复用例不增加组合覆盖。先核对输入组合，再核对预期是否符合规则，不能把模型猜测当需求。

给 AI 的输入要包含什么

把下面这份输入说明和你的实际样本一起交给可用的 AI 编程助手。示例只含虚构数据；对真实材料先去除账号凭据和个人信息。

需求：loaded且validated才启用preview。生成四组布尔决策表。检查候选用例是否缺组合/重复，以及expected是否等于loaded and validated。发现问题输出清单，不自行更改规则。

要求模型保留检查条件，并把它认为缺少的业务定义列出来。若回答改变了输入字段、忽略异常分支或直接删除原材料，先要求修正，再运行。提示词的作用是缩小任务范围，验收仍以代码和数据为准。

保存并运行最小验证程序

下方程序把关键规则和验证用例放在同一个可复跑示例中，便于先理解输入如何变成输出，再用它检查 AI 给出的实现。

新建一个空目录，把下面代码保存为 check.py，在该目录打开终端，运行 python -X utf8 check.py。代码自带示例输入，不需要安装第三方库。

from itertools import product
from collections import Counter
table={(loaded,validated):loaded and validated for loaded,validated in product([False,True],repeat=2)}
candidate=[(False,False,False),(True,False,False),(True,True,True),(True,True,True)]
counts=Counter((a,b) for a,b,_ in candidate)
missing=sorted(set(table)-set(counts))
duplicates=sorted(k for k,n in counts.items() if n>1)
wrong=[(a,b) for a,b,expected in candidate if expected!=table[(a,b)]]
assert missing==[(False,True)] and duplicates==[(True,True)] and wrong==[]
complete=[(a,b,expected) for (a,b),expected in table.items()]
assert len(complete)==4
print('missing',missing,'duplicates',duplicates,'wrong_expected',wrong)
print('complete_cases',complete)

怎样判断结果符合要求

候选漏掉False/True，重复True/True；完整表包含四个互异组合，仅True/True启用按钮。

下方是这份最小示例在本地执行得到的输出。它验证示例程序与断言的关系，不代表任何 AI 模型一次就能生成同样代码，也不构成性能或生产可靠性结论。

missing [(False, True)] duplicates [(True, True)] wrong_expected []
complete_cases [(False, False, False), (False, True, False), (True, False, False), (True, True, True)]

有限条件覆盖不等于所有输入与执行路径覆盖，还需错误、状态变化和真实界面行为。

本例验证用例设计，没有访问浏览器，也没有声称按钮真的已实现。

哪些失败必须停下来处理

需求含模糊条件如“材料有效”时先定义判定来源，不能让模型补业务规则。

候选中出现非布尔值或未知条件需先拒绝，本例输入为固定合法布尔样本。

接入自己的任务前再核对一次

把每组组合对应到真实测试入口，记录需求编号与结果。

条件变化时重建表，保留漏项对照，而不是只增加一行笼统“异常测试”。

资料与适用范围

itertools.product可以枚举有限条件的笛卡尔积，覆盖规则仍来自已确认需求。以下链接核对于 2026-10-03；运行环境及额外依赖按本文前述说明。

• https://docs.python.org/3.11/library/itertools.html

相关基础可阅读 Cursor 怎么帮代码补测试？先锁定边界用例，再运行回归命令。本文的重点是核对测试条件组合覆盖，可以把两项检查作为不同步骤保留。