test

name	test
description	生成コードの正しさを検証するプロパティベーステストを生成・実行する。 構成の知識に定義された代数的性質と構成固有の性質をテストコードとして出力する。 「テストを生成して」「生成コードを検証して」といった要求に使用。 構成の知識と生成コードが存在することが前提。
user_invocable	true

テスト生成

生成コードの正しさを検証するテストを生成・実行する。

引数

• テスト対象の生成コードのディレクトリ、またはDSL仕様書のパス。

手順

1. docs/gp/09-configuration-knowledge.md のテスト性質セクションを読む
2. 生成コードのAPIを確認する
3. 共通性質（全構成で成立）と構成固有の性質をテストコードとして生成する
4. テストを実行し、失敗があれば生成コードまたはテストを修正する