Menu
创建测试用例模板阶段专属技能,用于指导测试用例模板的创建以及格式规范
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
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)的功能规格和形式化检测点
| name | create-test-case-templates |
| description | 创建测试用例模板阶段专属技能,用于指导测试用例模板的创建以及格式规范 |
def test_basic_addition(env):
"""测试 基本加法功能
测试场景:
两个整数相加,例如: 2 + 3, -10+5, 0+0等
"""
env.dut.fc_cover["FG-ADD"].mark_function("FC-BASIC", test_basic_addition, ["CK-NORM"])
# TASK: 实现基本加法测试逻辑
# 覆盖率模型约束
assert False, "Not implemented"
阅读reference_files中列举的文件
直接使用RunSkillScript工具执行create_template.py脚本来创建所有的测试用例模板,不允许你自己写代码来创建测试用例模板
直接使用Complete工具推进阶段,不要进行额外分析