---
name: generate-test-cases-blackbox
description: "当 recommended_test_methods 命中 M01-M12 时使用，按黑盒方法特征生成正常/异常测试用例并输出 method_alignment_report。"
---

# generate-test-cases-blackbox

## 目标
对输入测试项应用黑盒方法（M01-M12），生成可重复执行、可验证的测试用例。

## 输入
- normal_test_items
- abnormal_test_items
- requirement_type（可选）
- recommended_test_methods（可选，格式建议 `Mxx|方法名`）

## 输出
- normal_test_cases
- abnormal_test_cases
- method_alignment_report

## 黑盒方法范围
- M01 功能分解
- M02 等价类划分
- M03 边界值分析
- M04 判定表
- M05 因果图
- M06 场景法
- M07 功能图法
- M08 随机测试
- M09 猜错法
- M10 正交试验法
- M11 组合测试法
- M12 蜕变测试法

## 通用规则
1. 每个测试项至少绑定一个黑盒方法；高风险测试项建议绑定两种方法。
2. `test_inputs` 必须反映方法特征（类编号、边界点、规则号、场景路径、组合强度、随机参数等）。
3. `operation_steps` 必须体现方法步骤链，禁止空泛表述。
4. `case_summary` 必须标注 `Mxx|方法名`。
5. 每条用例应优先使用黑盒占位符：`{{return_value}}`、`{{state_change}}`、`{{error_message}}`。

## 方法详细说明（M01-M12）
- M01 功能分解：适用于规格说明可分层拆解的场景。先按功能抽象把程序分解为功能层次和最低层子功能，再按数据抽象为每个子功能的输入/输出取值集合设计数据。`test_inputs` 需显式包含子功能标识、前置依赖和数据抽象来源，`operation_steps` 按“分层覆盖 -> 子功能执行 -> I/O 校验”编写。
- M02 等价类划分：在规格约束基础上划分有效等价类与无效等价类，并为每个等价类分配唯一编号。每条用例至少映射一个目标类，建议用“类编号+代表值+预期策略”组织 `test_inputs`。执行时应同时验证有效类的主功能正确性和无效类的错误处理一致性。
- M03 边界值分析：先识别全部边界条件，再为每个边界给出满足边界和不满足边界的数据。建议采用 `L-1/L/L+1` 与 `U-1/U/U+1`，并对多维边界补充组合边界样本。预期结果需区分“计算错误”（边界内）和“域错误”（边界外），作为 `expected_results` 的判定要点。
- M04 判定表：以“条件桩、条件条目、动作桩、动作条目”构建规则表，并将每一列规则转化为测试用例。适用前提包括：条件/规则顺序不影响操作、规则命中后无需再检验其他规则、多动作执行顺序无关。`operation_steps` 需记录规则命中过程，`expected_results` 需核验动作集合完整且无多执行。
- M05 因果图：先识别原因（输入）与结果（输出）并编号，再构建因果关系和约束，随后转换为判定表并逐列生成用例。适用于输入组合关系复杂的需求；若因果图过大导致用例爆炸，应在 `gaps` 中说明并采用降级策略（如关键链路抽样）。用例中应保留原因/结果编号，保证可追踪。
- M06 场景法：以用况路径为单位覆盖基本流与备选流，形成从开始到结束的可执行场景。步骤应包括：确定流、组合场景、设计用例、审验并去冗余、为用例补充测试数据。`operation_steps` 要体现场景触发条件和路径切换点，避免只写主流程。
- M07 功能图法：使用“状态转移图 + 逻辑功能模型”联合建模。先在每个状态内用因果图/判定表生成局部用例，再由状态转移图导出路径用例，最后合成实用测试用例。`test_inputs` 需同时体现状态路径和状态内输入条件，`expected_results` 要同时验证迁移结果与局部逻辑输出。
- M08 随机测试：在输入取值区间上随机取样，并在必要时约束随机分布与种子以保证可复现。该方法在预期输出难以精确构造时更常用于可靠性测试和强度测试。`method_alignment_report` 需包含采样范围、分布、样本量和失败样本聚类结论。
- M09 猜错法：由有经验测试人员基于历史缺陷和易错情况表设计用例。适合补齐规格难覆盖的风险点（如空值、边界格式、异常时序、重复操作）。用例应明确“猜错依据”，并在结果中验证防护是否生效。
- M10 正交试验法：把影响功能实现的操作对象和外部因素作为因子，把因子取值作为水平，构造因素分析表并选用正交表进行代表性组合。目标是在减少用例规模的同时保持较高覆盖效率。建议在 `test_inputs` 中保留因子-水平映射，便于回归和复现。
- M11 组合测试法：面向多参数输入生成组合用例集，并按组合强度评估覆盖充分性。常见强度包括单一选择、基本选择、成对组合、全组合和 K 强度组合。黑盒场景中组合参数通常是外部输入，需在用例中标注强度等级和约束条件。
- M12 蜕变测试法：适用于单个用例预期结果难判定的场景。通过构造蜕变关系验证“源用例与跟随用例”的结果是否满足关系；不满足即判定失败。该方法可与其他方法联合：既可用于结果验证，也可生成补充用例。

## 对齐输出要求
- 在 `method_alignment_report` 中记录：`case_id`、`selected_methods`、`alignment_score`、`gaps`、`fix_suggestions`。
- 无法落地的方法必须进入 `gaps` 并提供可执行修复建议。