Menü
分批测试用例实现与对应bug分析阶段专属技能,用于指导测试用例实现,Bug分析与报告撰写
Mit Codex oder Claude installieren Kopieren Sie diesen Prompt, fügen Sie ihn in Codex, Claude oder einen anderen Assistant ein und lassen Sie die Skill-Seite prüfen und installieren.
Basierend auf der SOC-Berufsklassifikation
| name | test-case-implementation-in-batch |
| description | 分批测试用例实现与对应bug分析阶段专属技能,用于指导测试用例实现,Bug分析与报告撰写 |
接收当前批次测试用例后,按照以下步骤完成当前批次测试用例的实现与 Bug 分析任务：
操作: 针对测试用例对应的检测点,阅读并分析{DUT}_function_coverage_def.py中对应检测点的约束,设计出能满足该约束的测试激励,可以参考约束条件示例中的例子
注意:
lambda表达式,则测试激励必须满足该lambda表达式设计Bug和测试Bug的前提下,设计出满足约束条件的测试激励设计Bug或测试Bug,则允许不符合约束情况操作: 将测试激励实现为可执行代码,并添加断言检查输出是否符合预期,并将可执行代码填充到对应测试用例的空模板中
注意:
assert语句去判断输入端约束条件是否满足,直接通过充分的分析与设计测试激励的方式来确保输入端约束条件被满足操作: 实现当前批次的所有测试用例后，用RunTestCases('{TEST_BATCH_RUN_ARGS}')执行测试(TEST_BATCH_RUN_ARGS的具体信息在阶段任务描述部分中)
注意:
操作: 分析测试结果，针对待实现的测试用例的执行结果进行如下分析:
failed_ck中与当前批次待实现的测试用例相关的检测点:
设计Bug,则标记测试Bug,则标记,且必须保证该测试用例是FAILED的,不能PASSEDfailed_tc中当前批次待实现的测试用例:
FAILED是合理的,即确实发现了设计Bug或是测试Bug,则标记总之,当前批次的测试用例有以下情况:
failed_tc中,且对应检测点在failed_ck中: 标记failed_tc中,但对应检测点不在failed_ck中: 标记failed_tc中,但对应检测点不在failed_ck中: 跳过failed_tc中,但对应检测点在failed_ck中: 不存在这种情况,修改测试用例的实现,使其满足以上3种情况以下述结构对测试用例进行标记:
BG: Bug标签，格式为BG-NAME-NUM,必须是BG-前缀,以及数字后缀NUM,其中数字为置信度,范围为[0,100].示例: BG-CIN-OVERFLOW-98;若是测试Bug,则置信度必须置为0TC: 测试用例标签，必须是TC-前缀,以及测试用例路径.示例: TC-tests/test_adder.py::test_xxxBD: Bug的简要描述;若是测试Bug,则描述测试设计的不合理之处FILE: Bug涉及的源文件路径和相关代码的行数范围，格式为"Adder_RTL/文件.v:L1-L2",其中L1和L2分别是起始行和结束行,可以是单行或多行. 示例: "Adder_RTL/Adder.v:10-14"(代码务必高度相关且简洁,只列出与潜在Bug相关的代码);若是测试Bug,则列出{DUT}_function_and_check.md中对应检测点所在行数,路径必须是相对于当前工作目录的相关路径ROOT: Bug根因分析,必须基于源码进行详细分析,说明为什么有这个缺陷,导致了什么问题(ROOT和FILE里的源码必须对应);如果源码不存在,则需要基于设计进行缺陷分析FIX: Bug修复建议,以FILE所指的多行源代码为基础,直接在其上进行修改,最终仅返回修改后的源代码(注意添加换行符'\n',保持美观)注意:
RunTestCases可能执行了很多的测试用例,但当前步骤中,只针对待实现的当前批次测试用例进行分析工作操作:分析完当前批次测试用例后,针对标记的测试用例,使用RunSkillScript工具执行recordbug.py脚本,将这些测试用例记录下来,以便后续阶段进行Bug修复和回归测试,命令格式如下:
python3 script -BG 'BG' -TC 'TC' -BD 'BD' -ROOT 'ROOT' -FILE 'FILE' -FIX 'FIX'
python3 script -BG 'BG' -TC 'TC' -BD 'BD' -ROOT 'ROOT' -FILE 'FILE' -FIX 'FIX'
...
操作：完成当前批次的测试用例后，使用Check工具进行阶段检查.若未通过检查,则基于反馈信息修正测试用例后,直到阶段检查通过为止;若通过检查,则执行下一批次的测试用例实现,或者是使用Complete工具进入下一阶段
RunSkillScript工具时,若有10条命令要执行,前5条命令行执行正常,成功记录,但第6条命令执行失败时,根据反馈信息修改第6条命令以及后续命令中存在的相同问题,并且使用RunSkillScript工具重新执行第6条命令以及后续命令,已经成功的命令不需要重新执行,只需要执行未完成的命令,直至所有命令执行完毕RunSkillScript工具执行,严禁使用其他tool对该文件进行任何修改操作.def check_norm_bit24(x):
if x.op.value != 0:
return False
# 排除特殊值
if is_nan(x.a.value) or is_nan(x.b.value) or is_inf(x.a.value) or is_inf(x.b.value):
return False
# 检测同号相加产生进位的场景
# 条件：同号、正数（非零）、指数相同、尾数之和会产生进位到第24位
a_sign = get_sign(x.a.value)
b_sign = get_sign(x.b.value)
if a_sign != b_sign:
return False
if is_zero(x.a.value) or is_zero(x.b.value):
return False
exp_a = (x.a.value >> 23) & 0xFF
exp_b = (x.b.value >> 23) & 0xFF
if exp_a != exp_b:
return False
# 当两个尾数都>=0.5时，相加可能产生进位
mant_a = x.a.value & 0x7FFFFF
mant_b = x.b.value & 0x7FFFFF
return mant_a >= 0x400000 and mant_b >= 0x400000
对于上述check_函数,测试激励必须满足以下约束条件:
若是lambda表达式,例如:
lambda x: x.a.value == 0x7F800000
这表示测试激励必须满足 x.a.value == 0x7F800000 的条件,即 a 是正无穷的场景
UCAgent是基于大语言模型的自动化任务执行AI代理，支持通用工作流配置和执行。本技能提供配置文件编写规范、自定义Checker开发指南、--emulate-config配置校验工具使用方法，帮助用户快速创建、验证和运行各类任务工作流。
通过脚本把 DUT 基本信息写入 .formal_records.yaml 的 basic_info 字段，并由系统自动渲染 02 基本信息文档。
从 analysis 中提取 RTL_BUG 属性，LLM 通过脚本将 Bug 详细信息写入 .formal_records.yaml。
自动解析环境分析文档和 wrapper.sv，为每个 RTL_BUG 生成 Python 测试函数框架，LLM 填写引脚驱动和断言逻辑。
基于 basic_info.clock_reset 与 extra_config.tcl 渲染 wrapper/checker/formal.tcl。
提取和分析被测模块(DUT)的功能规格和形式化检测点