functions-and-checks

name	functions-and-checks
description	功能规格分析与测试点定义阶段及其子阶段专属技能,用于指导{DUT}_functions_and_checks.md的写入工作

功能规格分析与测试点定义

本技能服务于 functional_specification_analysis 阶段以及其下的 3 个子阶段：

• dut_function_grouping
• function_point_definition
• check_point_design

本阶段对 {OUT}/{DUT}_functions_and_checks.md 的新增内容，统一通过 scripts/update.py 完成。 不要手工直接插入 FG/FC/CK 条目；先分析，再按当前子阶段批量写入对应层级。

分析原则

• 先看 DUT 的整体职责，再拆 FG；再看每个 FG 内部的职责边界，再拆 FC；最后把每个 FC 拆成可验证的 CK。
• FG 要按“独立功能域”分，不要按实现细节分。
• FC 要按“同一功能域内的具体子功能”分，要求比 FG 更具体。
• CK 要按“单个可测行为/条件”分，要求可直接转成测试输入输出检查。
• 一个 FG 至少要能覆盖一组相关 FC；一个 FC 至少要能落到一个或多个 CK。
• CK 必须具备可测性，不能只是抽象口号。

分析方法

1. 先提炼 DUT 的功能主线

先回答三个问题：

• DUT 做什么
• 输入输出怎么影响行为
• 哪些行为必须单独验证

例如：

• 浮点 ALU：可先分出 FG-API、FG-ARITHMETIC、FG-SPECIAL、FG-BOUNDARY
• FIFO：可先分出 FG-API、FG-PUSH、FG-POP、FG-FULL_EMPTY、FG-BOUNDARY
• 寄存器文件：可先分出 FG-API、FG-READ、FG-WRITE、FG-CONFLICT、FG-RESET

2. 再把 FG 拆成 FC

每个 FG 下的 FC 应该是“同一大功能下的不同子职责”：

• FG-ARITHMETIC 下面可有 FC-ADD、FC-MUL、FC-DIV
• FG-SPECIAL 下面可有 FC-NAN、FC-INF、FC-ZERO
• FG-FIFO 下面可有 FC-PUSH、FC-POP、FC-STATUS

不要把 FC 写成和 FG 同级的大杂烩，也不要把实现步骤直接当 FC。

3. 再把 FC 拆成 CK

CK 需要按“可验证场景”细分，通常可从以下维度拆：

• 正常路径
• 边界条件
• 特殊值
• 异常输入
• 状态切换
• 标志位/输出组合

例如：

• FC-ADD 可拆为 CK-ADD-NORMAL、CK-ADD-OVERFLOW、CK-ADD-UNDERFLOW、CK-ADD-ZERO
• FC-POP 可拆为 CK-POP-NORMAL、CK-POP-EMPTY、CK-POP-UNDERFLOW
• FC-WRITE 可拆为 CK-WRITE-NORMAL、CK-WRITE-ADDR-BOUNDARY、CK-WRITE-CONFLICT

质量标准

• FG 不能太碎：如果两个标签只是同一能力的不同角度，优先放到同一个 FG。
• FC 不能太泛：如果一个 FC 里已经出现多个明显不同的验证场景，就应该再拆 CK。
• CK 不能太空：例如“正确性验证”“基础功能验证”过于泛泛，不能直接作为 CK。
• CK 不能重复：同一个 FG/FC 下，不要用不同名字重复覆盖同一场景。
• CK 不能混场景：例如“正常值和异常值一起验证”通常应拆成两个 CK。

反例与正例

FG 反例

• FG-ADD-1
• FG-STEP1
• FG-TEST-CASE

FG 正例

• FG-API
• FG-ARITHMETIC
• FG-SPECIAL
• FG-BOUNDARY

FC 反例

• FC-ALL
• FC-LOGIC
• FC-DETAIL-1

FC 正例

• FC-ADD
• FC-MUL
• FC-DIV
• FC-PUSH

CK 反例

• CK-OK
• CK-CHECK
• CK-BASIC-FUNCTION

CK 正例

• CK-ADD-NORMAL
• CK-ADD-OVERFLOW
• CK-POP-EMPTY
• CK-ZERO-SIGN

执行步骤

步骤1

阅读 reference_files 中列出的文档，明确当前子阶段需要补充的是 FG、FC 还是 CK。

步骤2

先完成当前批次分析，再一次性整理成脚本入参：

• FG 子阶段：只整理多个 FG 与各自描述
• FC 子阶段：只在已存在的同一个 FG 下整理多个 FC 与各自描述
• CK 子阶段：只在已存在的同一个 FG/FC 下整理多个 CK 与各自详细描述

步骤3

使用 RunSkillScript 执行 update.py，一次调用完成同层级批量插入。

脚本调用规范

均适用于阶段：functional_specification_analysis

1. 插入多个 FG

适用子阶段：dut_function_grouping

python3 script -MODE FG -ITEMS '[{"fg":"FG-API","title":"DUT测试API","desc":"提供DUT对外测试时需要使用的标准操作接口。"},{"fg":"FG-ARITHMETIC","title":"算术运算功能分组","desc":"包含加法、乘法、除法等核心算术运算能力。"}]'

要求：

• -ITEMS 必须是 JSON 数组
• 每个元素至少包含 fg 和 desc
• title 可选；若省略，脚本自动按标签生成标题
• 可在一次调用中同时插入多个 FG

2. 在一个 FG 下插入多个 FC

适用子阶段：function_point_definition

python3 script -MODE FC -FG 'FG-ARITHMETIC' -ITEMS '[{"fc":"FC-ADD","title":"加法运算","desc":"实现 IEEE 754 单精度浮点加法，覆盖正常值、特殊值以及异常边界。"},{"fc":"FC-MUL","title":"乘法运算","desc":"实现 IEEE 754 单精度浮点乘法，并检测溢出与下溢。"}]'

要求：

• -FG 指定父功能组，必须已存在
• -ITEMS 中每个元素至少包含 fc 和 desc
• 支持在同一个 FG 下，一次性插入多个 FC
• 该步骤只插入 FC 与功能描述，不要新增 FG，也不要提前手工写 CK

3. 在一个 FG/FC 下插入多个 CK

适用子阶段：check_point_design

python3 script -MODE CK -FG 'FG-ARITHMETIC' -FC 'FC-ADD' -ITEMS '[{"ck":"CK-ADD-NORMAL","desc":"规格化数加法：验证正数、负数以及异号数相加的结果正确性。"},{"ck":"CK-ADD-OVERFLOW","desc":"加法溢出：验证结果超出最大规格化数范围时 overflow 标志正确。"}]'

要求：

• -FG 与 -FC 必须共同定位到已存在的父节点
• -ITEMS 中每个元素至少包含 ck 和 desc
• 支持一次性插入多个 CK
• 若目标 FC 下还没有 **检测点：** 小节，脚本会自动补上
• 该步骤只插入 CK 与检测点描述，不要新增 FG 或 FC

核心规则

• 所有标签必须严格使用 FG-*、FC-*、CK-* 格式，且同一父节点下不能重名
• FG、FC、CK 的插入顺序必须遵守层级：先有 FG，再有 FC，最后有 CK
• 当前调用只处理当前层级，不要在一次调用中混插 FG/FC/CK，也不要跨层级补写
• desc 必须是最终要写入文档的正式描述，不要传占位文本
• 发现标签已存在时，应修改参数或补充遗漏内容，不要手工改坏层级结构
• 尽量在对应的子阶段使用对应的MODE,不要在插入FG的阶段额外插入了FC甚至CK

RunSkillScript 使用说明

• script 替换为 update.py 的路径
• -ITEMS 参数值必须整体使用单引号包裹
• 若一次批量调用中前几项成功、后续失败，应根据报错修正后重新执行失败那一批，不需要重复已经成功的工作
• 完成当前子阶段写入后，继续执行阶段检查或推进下一子阶段