AI生成テストの信頼性を上げる：設計とミューテーション活用

// 悪い例：実装をそのまま反映した偽陽性テスト
function add(a: number, b: number): number {
  return a + b; // バグ: a - b が正しい
}

test("add returns a + b", () => {
  expect(add(1, 2)).toBe(3); // バグが入った実装でも通る
});

# AIが生成しがちなハッピーパス集中テスト
def test_divide():
    assert divide(10, 2) == 5  # 正常系のみ
    assert divide(9, 3) == 3

# 欠けているケース
# divide(0, 5) == 0
# divide(5, 0) → ZeroDivisionError
# divide(-4, 2) == -2

// 年齢バリデーション関数の等価分割テスト例
// 区画1: 0〜17（未成年）
// 区画2: 18〜64（成人）  
// 区画3: 65以上（高齢者）
// 区画4: 負の値（無効）

test("getAgeGroup classifies correctly", () => {
  expect(getAgeGroup(10)).toBe("minor");     // 区画1代表
  expect(getAgeGroup(30)).toBe("adult");     // 区画2代表
  expect(getAgeGroup(70)).toBe("senior");    // 区画3代表
  expect(getAgeGroup(-1)).toBe("invalid");   // 区画4代表
});

// 18歳境界のテスト
test("boundary: age 17, 18, 19", () => {
  expect(getAgeGroup(17)).toBe("minor");  // 境界の直前
  expect(getAgeGroup(18)).toBe("adult");  // 境界値
  expect(getAgeGroup(19)).toBe("adult");  // 境界の直後
});

# 悪い例：内部実装に依存
def test_user_service_bad():
    service = UserService()
    service.create_user("alice")
    # 内部のキャッシュ変数を直接確認
    assert service._cache["alice"] is not None  # リファクタで壊れやすい

# 良い例：振る舞いのみ検証
def test_user_service_good():
    service = UserService()
    service.create_user("alice")
    assert service.get_user("alice").name == "alice"  # 外部インターフェースのみ

# インストール
npm install --save-dev @stryker-mutator/core @stryker-mutator/jest-runner

# 設定ファイル生成
npx stryker init

{
  "testRunner": "jest",
  "coverageAnalysis": "perTest",
  "mutate": ["src/**/*.ts", "!src/**/*.test.ts"],
  "thresholds": {
    "high": 80,
    "low": 70,
    "break": 60
  }
}

npx stryker run

Mutation score: 73.5% (147/200 killed)
Survived mutants: 53
  src/math.ts:5: BinaryOperator (+ => -)  →  SURVIVED
  src/validator.ts:12: Comparison (> => >=) → SURVIVED

pip install mutmut
mutmut run
mutmut results

# 生き残ったミュータントの詳細確認
mutmut show 12

以下のミュータントが検出されました：
- src/math.ts:5 BinaryOperator (+→-)
- src/validator.ts:12 Comparison (>→>=)

これらを殺すためのテストケースを追加してください。
等価分割・境界値分析の原則に従い、仕様ベースで書いてください。

# .github/workflows/mutation-test.yml
name: Mutation Testing

on:
  pull_request:
    paths:
      - "src/**"
      - "tests/**"

jobs:
  mutation:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: actions/setup-node@v4
        with:
          node-version: "20"
          cache: "npm"
      
      - name: Install dependencies
        run: npm ci
      
      - name: Run unit tests first
        run: npm test
      
      - name: Run Stryker mutation testing
        run: npx stryker run
        env:
          STRYKER_DASHBOARD_API_KEY: ${{ secrets.STRYKER_API_KEY }}
      
      - name: Upload mutation report
        uses: actions/upload-artifact@v4
        if: always()
        with:
          name: mutation-report
          path: reports/mutation/

# 週次実行の例
on:
  schedule:
    - cron: "0 2 * * 1"  # 毎週月曜2時

- name: Run mutmut
  run: |
    pip install mutmut
    mutmut run --paths-to-mutate src/
    mutmut results
    # ミューテーションスコアをパース
    SCORE=$(mutmut results | grep "Mutation score" | grep -oP '\d+\.\d+')
    if (( $(echo "$SCORE < 70" | bc -l) )); then
      echo "Mutation score $SCORE% is below threshold 70%"
      exit 1
    fi