菜单
生成コードの正しさを検証するプロパティベーステストを生成・実行する。 構成の知識に定義された代数的性質と構成固有の性質をテストコードとして出力する。 「テストを生成して」「生成コードを検証して」といった要求に使用。 構成の知識と生成コードが存在することが前提。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
フィーチャーモデルから共通アーキテクチャを設計し、 実装コンポーネントを確定した上で、構成の知識（フィーチャー選択から 実装へのマッピングルール）を定義する。 「アーキテクチャを設計したい」「構成の知識を定義したい」 「フィーチャーと実装の対応を決めたい」といった要求があった場合に使用。 フィーチャーモデリングの成果物が存在することが前提。 ジェネレーティブプログラミングのドメイン設計活動。
システムを「発注」するためのドメイン固有記法（DSL）を定義する。 フィーチャーの選択とパラメータ指定を宣言的に記述できる形式を設計する。 「仕様の記述形式を決めたい」「DSLを定義したい」「AIへの指示形式を 設計したい」といった要求があった場合に使用する。アーキテクチャ設計の 成果物が存在することが前提。ジェネレーティブプログラミングの ドメイン設計活動。
ドメインスコープからフィーチャーモデルを作成する。 重要概念の洗い出しと共通性・可変性分析を行い、 フィーチャーツリーとフィーチャー間の制約を構造化する。 「フィーチャーを整理したい」「何が変わりうるか分析したい」 「依存関係を定義したい」といった要求があった場合に使用する。 ドメインスコーピングの成果物が存在することが前提。 ジェネレーティブプログラミングのドメイン分析活動。
DSL仕様書と構成の知識に基づき、指定言語でリストコンテナのコードを生成する。 DSLバリデータの実装もこのスキルで行う。 「コードを生成して」「実装して」「この仕様で作って」といった要求に使用。 構成の知識が存在することが前提。
システムの目的・利用者・範囲を明確にし、ドメインの境界を定義する。 新しいプロジェクトの立ち上げ時、「何を作るか整理したい」 「スコープを決めたい」「対象ドメインを明確にしたい」といった要求が あった場合に使用する。ジェネレーティブプログラミングのドメイン分析活動。
| name | test |
| description | 生成コードの正しさを検証するプロパティベーステストを生成・実行する。 構成の知識に定義された代数的性質と構成固有の性質をテストコードとして出力する。 「テストを生成して」「生成コードを検証して」といった要求に使用。 構成の知識と生成コードが存在することが前提。 |
| user_invocable | true |
生成コードの正しさを検証するテストを生成・実行する。
docs/gp/09-configuration-knowledge.md のテスト性質セクションを読む