菜单
仕様からテストケースを体系的に生成するスキル。状態機械・自然言語・Mermaid・シーケンス図など多様な入力形式に対応し、CSP安定失敗モデルに基づいて受理テストケース（トレース集合内）と拒否テストケース（トレース集合外）を網羅的に導出する。活性・到達可能性・安全性の3性質を検証するテストスイートを生成する。要求定義・仕様記述・設計成果物からのテストケース生成、テスト設計レビュー、テストカバレッジ分析に使用する。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
TerraformプロジェクトのAWSインフラにおけるネットワーク接続性と権限設定を分析します。セキュリティグループ、IAMポリシー、NACLなどを解析し、リソース間の通信可否、不要な接続、権限の過不足を検出します。Terraformファイルやtfstateがあるプロジェクトで、インフラのセキュリティレビューやネットワーク接続の検証が必要な場合に使用します。
要求定義書のレビューを行うスキル。品質チェック・矛盾検出・抜け漏れ検出・曖昧性分析を実施し、 構造化レポートを出力する。以下の場合に使用: (1) 要求定義書・要件定義書をレビューしたい時、 (2) 要求の品質や完全性を確認したい時、 (3) 矛盾・抜け漏れ・曖昧な表現を検出したい時
言語非依存のプログラミングベストプラクティスとガイドライン。コードを書く・関数/クラス/モジュールを実装する・プログラムを新規作成するあらゆる場面でPROACTIVELYに使用すること。コーディング開始前に必ずこのスキルを読み込む。コードレビュー・設計レビューにも使用する。
言語非依存の単体テストベストプラクティスとガイドライン。テストコードを書く・テストケースを追加する・テストスイートを作成するあらゆる場面でPROACTIVELYに使用すること。テストコーディング開始前に必ずこのスキルを読み込む。既存テストのレビューにも使用する。
CSPの安定失敗モデルに基づく状態機械ベースの形式仕様書を作成するスキル。 機能要求（活性・到達可能性・安全性）を入力として、 状態変数・遷移（イベント[ガード]/事後条件）・失敗集合を定義する トップレベル仕様およびコンポーネント仕様を生成する。 画面表示を持つシステムでは画面表示関数も定義する。
EARS記法を用いた要件定義書を作成するスキル。要件定義書の作成のみを行い、実装計画や実装は含まない。以下の場合に使用:(1)機能追加や改修の要件を明確化したい時、(2)受け入れ条件やエッジケースを整理したい時
| name | testcase-generator |
| description | 仕様からテストケースを体系的に生成するスキル。状態機械・自然言語・Mermaid・シーケンス図など多様な入力形式に対応し、CSP安定失敗モデルに基づいて受理テストケース（トレース集合内）と拒否テストケース（トレース集合外）を網羅的に導出する。活性・到達可能性・安全性の3性質を検証するテストスイートを生成する。要求定義・仕様記述・設計成果物からのテストケース生成、テスト設計レビュー、テストカバレッジ分析に使用する。 |
| disable-model-invocation | true |
仕様をCSP安定失敗モデルの枠組みで解析し、受理テストケースと拒否テストケースを体系的に生成する。
参照ファイル:
references/theory.md（基礎概念・形式定義が必要な場合）references/sampling-strategies.md（複雑な仕様や大規模テスト設計時）references/examples.md（自販機・ログイン・ECカートの例）入力形式を判定し、内部モデルに変換する:
| 入力形式 | 対応方法 |
|---|---|
| 自然言語 | 状態・遷移・ガード・事後条件を抽出して状態機械へ変換 |
| 状態機械（テキスト記法） | そのまま解析 |
| Mermaid stateDiagram | 状態・遷移を読み取り |
| シーケンス図 | トレース1本として扱い、仕様が不完全であることをユーザーに通知 |
状態機械モデルの要素を確認する:
情報が不足している場合はユーザーに確認する。
初期状態からの到達可能なトレースを列挙する:
無限ループへの対処: 同じ状態を2回以上訪問するケースはサイクルとして記録し、有界展開（デフォルト: 状態数×2 ステップ）で打ち切る。
導出結果を以下の形式でまとめる:
トレース集合（代表例）:
ε（空トレース）
⟨e1⟩
⟨e1, e2⟩
⟨e1, e2, e3⟩
...
失敗集合（代表例）:
(⟨⟩, {拒否イベント集合})
(⟨e1⟩, {拒否イベント集合})
...
仕様が満たすべき性質を整理する:
| 性質 | 具体的な要求 | 検証対象トレース |
|---|---|---|
| 活性 | 「Xが起こるといつかYが起こる」 | Y到達トレース |
| 到達可能性 | 「状態Sに到達できる」 | S到達トレース |
| 安全性 | 「Xが起きた後Yは起こらない」 | Y出現トレース |
ユーザーが機能要求を明示していない場合は、状態機械の構造から推定して確認を求める。
トレース集合内からリスクベースでサンプリングする。
詳細なサンプリング戦略は references/sampling-strategies.md を参照。
基本的な6つの優先度基準（高→低）:
トレース集合外のトレースを以下の5つの構成方法で生成する:
以下のフォーマットで出力する:
| ID | トレース | 検証する性質 | サンプリング理由 |
|---|---|---|---|
| A-01 | ⟨e1, e2, e3⟩ | 活性: e3到達可能性 | ビジネスクリティカルフロー |
| A-02 | ⟨e1, e2⟩ | 到達可能性: 状態S2 | ガード真分岐 |
| ID | トレース | 検証する性質 | 拒否される理由 |
|---|---|---|---|
| R-01 | ⟨e2, e1⟩ | 安全性: 順序制約 | イベント順序逸脱 |
| R-02 | ⟨e1, e4⟩ | 安全性: 無効遷移 | ガード条件違反 |
| 指標 | 値 |
|---|---|
| 状態カバレッジ | N/M 状態（X%） |
| 遷移カバレッジ | N/M 遷移（X%） |
| 活性要求カバレッジ | N/M 要求（X%） |
| 安全性要求カバレッジ | N/M 要求（X%） |