テストガイド

高品質なテストを作成するための制約と規範です。テストが単にコードを網羅するだけでなく、実際に動作を検証することを保証します。

言語

• 中国語と英語の両方の質問を受け付けます
• 常に中国語で回答します

トリガー条件

• ユーザーがテストコードを作成している
• ユーザーがテスト戦略のガイダンスを必要としている
• ユーザーがテストカバレッジ、アサーション、変異テストについて言及している
• コードレビューでテストコードが扱われている

核心理念

テストの目的は「コードを網羅すること」ではなく、「動作を検証すること」です。
テストの根拠はコードからではなく、要件から得られます。

テスト品質ピラミッド

Level 3: テスト有効性 ─ 変異スコア≥80%, 要件追跡率100%
Level 2: アサーション品質   ─ 弱いアサーションの禁止, 実装ではなく動作を検証
Level 1: コードカバレッジ   ─ 行/分岐カバレッジ≥80% (必要条件だが十分条件ではない)

詳細な説明は templates/core-concepts.md を参照してください

制約

ユニットテストの制約

• [ ] 各テストは、≥1 個の具体的なアサーションを持つ必要があります
• [ ] 弱いアサーションを唯一のアサーションとして使用することを禁止します (toBeDefined, toBeTruthy, not.toBeNull)
• [ ] テスト名は、予想される動作を記述する必要があります
• [ ] テストの根拠はコードからではなく、要件から得られます
• [ ] 外部依存関係のみを Mock し、内部実装は Mock しません
• [ ] 各テストは、1 つの動作のみを検証します

詳細なガイドは templates/unit-testing.md を参照してください

カバレッジの制約

• [ ] 行カバレッジ ≥ 80%
• [ ] 分岐カバレッジ ≥ 80%
• [ ] カバレッジは必要条件ですが、十分条件ではありません

変異テストの制約（推奨）

• [ ] 変異スコア ≥ 60%（推奨 ≥ 80%）
• [ ] コアビジネスロジックの変異スコア ≥ 80%

設定は templates/mutation-testing.md を参照してください

統合テストの制約

• [ ] モジュール間のデータフローを検証する必要があります
• [ ] インターフェースの契約を検証する必要があります
• [ ] テストデータは独立している必要があります

詳細なガイドは templates/integration-testing.md を参照してください

E2E テストの制約

• [ ] P0 シナリオは 100% カバーする必要があります
• [ ] 明示的な待機を使用し、ハードコードされた遅延を禁止します
• [ ] テストは独立して実行可能である必要があります

詳細なガイドは templates/e2e-testing.md を参照してください

要件追跡の制約

• [ ] 各要件には、対応するテストが必要です
• [ ] テストコードには、要件IDを注釈する必要があります

テンプレートは templates/traceability-matrix.md を参照してください

テスト骨格の生成

AI 駆動のトップダウン開発：最初にテスト骨格を生成し、後で実装を埋めます。

标注规范

テストコードには、/devdocs-sync --trace スキャンに使用される追跡アノテーションを含める必要があります。

/**
 * @verifies AC-XXX - 验收标准描述
 * @testcase UT/IT/E2E-XXX
 */
test('テスト名称', () => {
  // テストコード
});

骨格生成流程

03-test-cases.md (テスト用例設計)
        │
        ▼
生成测试骨架
        ├── describe 構造（機能点ごとにグループ化）
        ├── test.skip() プレースホルダー（各テストケース）
        ├── @verifies/@testcase 标注
        └── // TODO: 实现测试 注释
        │
        ▼
逐个实现测试
        ├── skip の削除
        ├── AAA 構造の記述
        └── 具体的なアサーションの追加

骨格示例

// tests/user.service.test.ts

describe('UserService', () => {
  describe('createUser', () => {
    /**
     * @verifies AC-001 - 邮箱格式校验
     * @testcase UT-001
     */
    test.skip('無効なメールアドレス形式を拒否するはず', () => {
      // TODO: 实现测试
      // Arrange: 無効なメールアドレスを準備
      // Act: createUser を呼び出す
      // Assert: ValidationError がスローされることを検証
    });

    /**
     * @verifies AC-002 - 密码强度校验
     * @testcase UT-002
     */
    test.skip('弱いパスワードを拒否するはず', () => {
      // TODO: 实现测试
    });

    /**
     * @verifies AC-003 - 用户名唯一性
     * @testcase UT-003
     */
    test.skip('重複するユーザー名を拒否するはず', () => {
      // TODO: 实现测试
    });
  });
});

骨格生成约束

• [ ] 未実装のテストは test.skip() または test.todo() でマークする必要があります
• [ ] @verifies と @testcase アノテーションを追加する必要があります
• [ ] 機能点 (F-XXX) ごとに describe 構造を編成する必要があります
• [ ] コメントで AAA 構造を指示する必要があります
• [ ] テスト名は、予想される動作を記述する必要があります
• [ ] 1 つのテストで 1 つの AC のみを検証します

与 DevDocs 协作

クイックリファレンス

テスト命名

[テスト対象メソッド] は [予想される動作] するはず [条件] の場合

テスト構造 (AAA)

Arrange → Act → Assert (具体的なアサーション)

禁止されている弱いアサーション

// ❌ 禁止
expect(result).toBeDefined();
expect(result).toBeTruthy();
expect(result).not.toBeNull();

// ✅ 要求
expect(result.status).toBe('success');
expect(result.items).toHaveLength(3);

常用命令

# 覆盖率
npm test -- --coverage          # Jest
pytest --cov=src               # pytest
go test -cover ./...           # Go

# 变异测试
npx stryker run                # JS/TS
mutmut run                     # Python
mvn pitest:mutationCoverage    # Java

テンプレートインデックス

コアガイド

ツール設定

言語のベストプラクティス

他の Skills との連携