Claude-skill-registry forward-derivation
install
source · Clone the upstream repo
git clone https://github.com/majiayu000/claude-skill-registry
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/majiayu000/claude-skill-registry "$T" && mkdir -p ~/.claude/skills && cp -r "$T/skills/data/forward-derivation" ~/.claude/skills/majiayu000-claude-skill-registry-forward-derivation && rm -rf "$T"
manifest:
skills/data/forward-derivation/SKILL.mdsource content
正向推演指南
語言: English | 繁體中文
版本: 2.0.0 最後更新: 2026-01-25 適用範圍: Claude Code Skills
核心規範：此技能實作正向推演標準。任何 AI 工具皆可參考核心規範取得完整方法論文件。
目的
此技能引導您從已批准的 SDD 規格推演 BDD 場景和 TDD 測試骨架，並嚴格遵循反幻覺標準。
注意: ATDD 測試表為可選項，可透過
取得。BDD 場景本身已作為可執行驗收測試，使 ATDD 表對大多數用例變得多餘。/derive-atdd
正向推演是反向工程的對稱對應：
- 反向工程：程式碼 → 規格
- 正向推演：規格 → 測試
快速參考
正向推演工作流程
┌─────────────────────────────────────────────────────────────────┐ │ 正向推演工作流程 │ ├─────────────────────────────────────────────────────────────────┤ │ │ │ 1️⃣ SPEC 解析（AI 自動化） │ │ ├─ 讀取已批准的規格 │ │ ├─ 提取驗收條件（GWT 或條列式） │ │ └─ 驗證 SPEC 結構和完整性 │ │ │ │ 2️⃣ 推演（AI 自動化） │ │ ├─ AC → BDD Gherkin 場景 │ │ ├─ AC → TDD 測試骨架（帶 TODO） │ │ └─ AC → ATDD 驗收測試表格 │ │ │ │ 3️⃣ 人類審查（必要） │ │ ├─ 驗證生成的場景符合 AC 意圖 │ │ ├─ 填寫 [TODO] 區塊 │ │ └─ 如需要精煉步驟定義 │ │ │ └─────────────────────────────────────────────────────────────────┘
命令概覽
| 命令 | 輸入 | 輸出 | 目的 |
|---|---|---|---|
| SPEC-XXX.md | .feature | AC → Gherkin 場景 |
| SPEC-XXX.md | .test.ts | AC → 測試骨架 |
| SPEC-XXX.md | acceptance.md | AC → 驗收測試表格 |
| SPEC-XXX.md | 以上全部 | 完整推演管道 |
核心原則
1. 規格限定生成
關鍵：只推演規格中存在的內容。不添加 AC 未明確定義的場景、測試或功能。
# 反幻覺規則 輸入：SPEC 有 N 個驗收條件 輸出：恰好 N 個場景（BDD） 恰好 N 個測試群組（TDD） 恰好 N 個驗收測試（ATDD） 若任何輸出數量 ≠ 輸入數量 → 違規
2. 來源標註
每個生成項目必須包含可追溯性：
# Generated from: specs/SPEC-001.md # AC: AC-1 @SPEC-001 @AC-1 Scenario: 使用者以有效憑證登入
3. 確定性標籤
| 標籤 | 使用時機 | 範例 |
|---|---|---|
| 直接來自 SPEC 的內容 | 功能標題、AC 文字 |
| 從 SPEC 內容轉換 | 從條列 AC 推演的 GWT |
| AI 生成的結構 | 測試骨架 |
| 需要人類實作 | 斷言、步驟定義 |
工作流程階段
階段 1：SPEC 解析
輸入：已批准的規格檔案 輸出：結構化的驗收條件列表
動作：
- 讀取規格檔案
- 識別驗收條件區塊
- 解析 AC 格式（Given-When-Then 或條列式）
- 驗證 AC 完整性
驗證清單：
- SPEC 狀態為「已批准」或「就緒」
- 驗收條件區塊存在
- 每個 AC 有唯一識別碼（AC-1、AC-2 等）
- AC 格式可解析（GWT 或條列式）
階段 2：BDD 推演
輸入：已解析的驗收條件 輸出：Gherkin .feature 檔案
轉換規則：
| AC 格式 | 轉換 |
|---|---|
| Given-When-Then | 直接對應到 Gherkin |
| 條列式 | 使用 GWT 模式匹配轉換 |
| 勾選清單 | 條件 → Given、動作 → When、結果 → Then |
階段 3：TDD 推演
輸入：已解析的驗收條件 輸出：測試骨架檔案
參數：
| 參數 | 選項 | 預設值 |
|---|---|---|
| typescript, javascript, python, java, go | typescript |
| vitest, jest, pytest, junit, go-test | vitest |
階段 4：ATDD 推演
輸入：已解析的驗收條件 輸出：驗收測試表格文件
階段 5：人類審查
輸入：生成的檔案 輸出：審查和精煉的檔案
審查清單：
- 生成的場景符合 AC 意圖
- 沒有超出 AC 數量的額外場景
- 來源標註正確
- [TODO] 區塊已識別供實作
- 步驟語言為業務層級（非技術層級）
輸出格式
BDD Feature 檔案
# Generated from: specs/SPEC-001.md # Generator: /derive-bdd v1.0.0 # Generated at: 2026-01-19T10:00:00Z @SPEC-001 Feature: 使用者認證 [來源] 來自 SPEC-001 摘要 @AC-1 @happy-path Scenario: 使用者以有效憑證登入 # [來源] 來自 SPEC-001 AC-1 Given 已註冊的使用者有有效憑證 When 使用者提交登入表單 Then 使用者被導向儀表板 @AC-2 @error-handling Scenario: 無效憑證登入失敗 # [來源] 來自 SPEC-001 AC-2 Given 使用者有無效憑證 When 使用者提交登入表單 Then 顯示錯誤訊息
TDD 測試骨架
/** * Tests for SPEC-001: 使用者認證 * Generated from: specs/SPEC-001.md * Generated at: 2026-01-19T10:00:00Z * AC Coverage: AC-1, AC-2 */ describe('SPEC-001: 使用者認證', () => { describe('AC-1: 使用者以有效憑證登入', () => { it('should redirect to dashboard on successful login', async () => { // Arrange // [TODO] 設定已註冊使用者和有效憑證 // Act // [TODO] 提交登入表單 // Assert // [TODO] 驗證導向儀表板 expect(true).toBe(true); // Placeholder }); }); });
ATDD 驗收測試表格
# SPEC-001 驗收測試 **規格**: SPEC-001 **生成時間**: 2026-01-19 **狀態**: 待審查 ## AT-001: 使用者以有效憑證登入 **來源**: AC-1 | 步驟 | 動作 | 預期結果 | 通過/失敗 | |------|------|----------|-----------| | 1 | 導航到登入頁面 | 顯示登入表單 | [ ] | | 2 | 輸入有效憑證 | 欄位接受輸入 | [ ] | | 3 | 點擊登入 | 表單已提交 | [ ] | | 4 | 驗證導向 | 顯示儀表板 | [ ] | **測試人員**: _______________ **日期**: _______________ **結果**: [ ] 通過 / [ ] 失敗
與其他技能的整合
與 /spec（規格驅動開發）
- 使用
工作流程完成 SPEC/spec - 透過審查獲得 SPEC 批准
- 執行
生成測試結構/derive-all - 在 BDD/TDD 工作流程中使用生成的輸出
與 /bdd（行為驅動開發）
- 使用
生成 BDD 場景/derive-bdd - 與利害關係人審查和精煉場景
- 使用
繼續 BDD 制定/bdd - 實作步驟定義
與 /tdd（測試驅動開發）
- 使用
生成 TDD 骨架/derive-tdd - 填寫 [TODO] 區塊的實際斷言
- 以生成的測試結構進入 TDD 紅燈階段
- 實作程式碼使測試通過
與整合流程
正向推演適合整合流程方法論：
spec-review (已批准) → forward-derivation → discovery (BDD) │ ├─→ .feature 檔案供 BDD ├─→ .test.ts 骨架供 TDD └─→ acceptance.md 供 ATDD
完整推演管道
┌─────────────────────────────────────────────────────────────────────────┐ │ 完整正向推演管道 │ ├─────────────────────────────────────────────────────────────────────────┤ │ │ │ 已批准 SPEC │ │ │ │ │ ▼ │ │ /derive-all specs/SPEC-XXX.md │ │ │ │ │ ├─→ /derive-bdd │ │ │ └─→ features/SPEC-XXX.feature │ │ │ │ │ ├─→ /derive-tdd │ │ │ └─→ tests/SPEC-XXX.test.ts │ │ │ │ │ └─→ /derive-atdd │ │ └─→ acceptance/SPEC-XXX-acceptance.md │ │ │ │ 人類審查 │ │ │ │ │ ├─→ 驗證 1:1 AC 對應 │ │ ├─→ 填寫 [TODO] 區塊 │ │ └─→ 精煉步驟定義 │ │ │ └─────────────────────────────────────────────────────────────────────────┘
使用範例
# 生成 BDD 場景 /derive-bdd specs/SPEC-001.md # 使用 Python/pytest 生成 TDD 骨架 /derive-tdd specs/SPEC-001.md --lang python --framework pytest # 生成所有測試結構 /derive-all specs/SPEC-001.md # 預覽不建立檔案 /derive-all specs/SPEC-001.md --dry-run # 指定輸出目錄 /derive-all specs/SPEC-001.md --output-dir ./generated
應避免的反模式
❌ 不要這樣做
-
添加額外場景
- 錯誤：SPEC 有 3 個 AC，生成 5 個場景
- 正確：SPEC 有 3 個 AC，恰好生成 3 個場景
-
從草稿 SPEC 推演
- 錯誤：對未批准的規格執行
/derive-all - 正確：只從已批准的規格推演
- 錯誤：對未批准的規格執行
-
跳過來源標註
- 錯誤：沒有 @SPEC-XXX 標籤的場景
- 正確：每個場景標記來源 SPEC 和 AC
-
過度指定技術細節
- 錯誤：
Given 使用 PostgreSQL 驅動程式建立資料庫連線 - 正確：
Given 系統中存在使用者資料
- 錯誤：
-
將骨架視為完整
- 錯誤：不填寫 [TODO] 就使用生成的測試
- 正確：執行測試前填寫所有 [TODO] 區塊
最佳實踐
應該做的
- ✅ 只從已批准的規格推演
- ✅ 維持嚴格的 1:1 AC 到輸出對應
- ✅ 在所有輸出中包含來源標註
- ✅ 使用 [TODO] 標記實作區塊
- ✅ 與利害關係人審查生成的輸出
- ✅ 保持步驟語言在業務層級
不應該做的
- ❌ 添加 AC 未定義的場景
- ❌ 從草稿或未批准的規格推演
- ❌ 跳過對生成輸出的人類審查
- ❌ 將生成的骨架視為完整測試
- ❌ 移除來源標註註解
- ❌ 過度指定實作細節
設定偵測
此技能會自動偵測專案設定：
- 檢查現有的
目錄結構specs/ - 從 package.json/pyproject.toml 偵測測試框架
- 識別偏好的輸出目錄
- 設定語言特定範本
相關規範
- 正向推演標準 - 核心方法論規範（主要參考）
- 反向工程標準 - 對稱對應
- 規格驅動開發 - 輸入規格格式
- 行為驅動開發 - BDD 輸出格式
- 測試驅動開發 - TDD 輸出用法
- 反幻覺指南 - 生成合規
版本歷史
| 版本 | 日期 | 變更 |
|---|---|---|
| 2.0.0 | 2026-01-25 | ATDD 從必需改為可選輸出；/derive-all 現在只輸出 BDD + TDD |
| 1.1.0 | 2026-01-25 | 新增：統一標籤系統參考 |
| 1.0.0 | 2026-01-19 | 初始發布 |
授權
此技能採用 CC BY 4.0 授權。