vdd-adversarial - 采用对抗性方法的验证驱动开发
在验证驱动开发过程中主动质疑假设并排查代码薄弱点。
标签
更新于: 2026-09-22能力
典型输入
典型输出
该技能可以做什么
- 质疑底层代码假设
- 识别边界情况与薄弱点
- 按严重程度报告发现
- 模拟运行时故障场景
输入
- 待评审代码
- 测试执行证据
- 评审报告模板
- VDD 方法论参考文档
输出
- 基于模板构建的审查报告
要求
- 单次审查所需的全新上下文窗口
- 源文件的读取权限
在验证驱动开发过程中主动质疑假设并排查代码薄弱点。
标签
更新于: 2026-09-22能力
典型输入
典型输出