🛡️

Thoughtworks - AI Assurance:Enterprise AIの品質保証を継続的リスク低減へ

に公開

対象論文: arXiv:2605.23459 "AI Assurance: A Comprehensive Testing Strategy for Enterprise AI Systems" (Badagi, Singh, Sen, Shirsath, Thoughtworks, 2026-05-22)
検証日: 2026-05-26

概要

論文の目的と位置づけ

LLM・検索パイプライン (RAG)・自律エージェントで構成される企業 AI システムは、確率的・文脈依存・創発的です。

これらは「古典的な意味で正しさを検証することはできず、確信度を高めながら評価できるのみ」です。

本論文はこの前提に立ち、ソフトウェア品質保証 (SQA) を AI 向けに再設計する包括的戦略を提示する position paper です。

著者は Thoughtworks 所属の Chitra Badagi・Divye Singh・Animesh Sen・Adinath Shirsath の4名です。

3つの中核原則

本論文の主張は3つの原則に集約されます。

# 原則
1 AI テストは厳密な正しさ検証ではなく継続的リスク低減 (continuous risk reduction) に焦点を当てるべき
2 評価 (evaluation) を開発と並ぶ中核エンジニアリング規律として扱うべき
3 AI assurance の失敗は、従来の決定論的ソフトとは根本的に異なる組織的インパクトをもたらす

3原則を支える5つの具体物

構成要素 内容
AI Failure Taxonomy 5カテゴリ15失敗モードの体系分類
5層 AI Assurance Pyramid テストピラミッドの AI 向け再構成
Evaluation-Driven Development (EDD) 評価を開発サイクルに組み込んだループ
RAG・エージェント固有テスト手法 RAGAS 指標・trajectory 評価など
モデルライフサイクル・drift 管理 "Silent Degrader" への継続評価対応

論文の価値

本論文は定量的な実験・比較データを伴わない position paper です。

RAG 指標・trajectory 評価・drift 監視・ガバナンスといった個別要素はいずれも先行例を持ちます。

論文の価値は新技術の発明ではなく、散在する評価実践を確率的システム前提の単一保証戦略へ統合し、エンジニアリング規律として言語化した点にあります。

特徴

従来 SQA との根本的な差分

従来のソフトウェアテストと AI システムテストの違いを5つの観点で整理します。

観点 従来ソフトウェアテスト AI システムテスト
決定性 同一入力→同一出力 (binary pass/fail) 同一入力→異なる妥当出力 (確率的)
検証 テスト条件下での正しさの証明 リスク低減・時間をかけた確信構築
テスト哲学 リリース時の一回テストスイート 継続評価パイプライン
評価 決定論ロジックの binary pass/fail 分布に対するセマンティックスコアリング
カバレッジ コンポーネントテストで十分 システムレベル評価が必須

論文はこれを「4つのマインドセット転換」(Section 2.5) として明示します。

転換 移行方向
評価手法 exact-match → semantic
評価頻度 one-time → continuous
判定方式 pass/fail → observability-driven diagnosis
評価粒度 component → system-level

AI Failure Taxonomy

Section 3 では失敗モードを5カテゴリ15種に分類します。

この分類はテスト戦略設計の入力として使用します (Section 3.3 "Taxonomy as a Testing Design Input")。

5層 AI Assurance Pyramid

従来の4層テストピラミッドを、AI 固有の観点で5層に再構成します。

下層ほど安価・高頻度・高診断性、上層ほど高コスト・低診断性という特性を持ちます。

Layer 0 (決定論インフラ) を土台に据えることで、AI 固有のコストを制御しながら基盤を安定させます。

Evaluation-Driven Development (EDD)

Section 4 では評価を開発と並ぶエンジニアリング規律として定義します。

テストと評価の違い (Section 4.1)

  • テストは正誤を確認します
  • 評価は分布に対する確信を積み上げます

ハイブリッド評価 (Section 4.5)

  • 構造化出力には決定論的検証を適用します
  • 自然言語にはセマンティック評価を適用します
  • safety-critical 次元が落ちた場合は、総合スコアに関係なく fail とします (mandatory gates)

一貫性をシグナルにする (Section 4.6)

判定 意味
consistent pass 信頼できる合格
flaky 許容不可 (原因調査が必要)
consistent failure 明確な不合格

単一実行は信頼性をほとんど語りません。

"The Silent Degrader"

Section 7.3 では、LLM 固有のリスクとして「Silent Degrader」を定義します。

クラウドプロバイダがモデルを外部都合で更新すると、コード変更なしに挙動が変わります。

唯一の防御は、リリース時だけでない継続評価です。

これは MLOps の drift 監視概念を LLM 固有要因 (クラウド側の silent な更新) へ拡張したものです。

既存標準・エコシステムとの関係

本論文は既存実践を否定せず、統合フレームとして位置づけます。

論文の構成要素 対応する既存実践 論文の追加価値
RAG 4指標 (Section 6.2) RAGAS 公式指標と一致 Quality Gates / Diagnostic Profiles を追加
Trajectory・Tool 評価 (Section 6.4) LangSmith・τ-bench・AgentBench Pyramid Layer 2/3 として体系内に配置
Silent Degrader (Section 7.3) MLOps の drift 監視 クラウド側 silent 更新という LLM 固有要因へ拡張
継続的リスク低減・ガバナンス (Section 8) NIST AI RMF・ISO/IEC 42001・ISO/IEC 23894 規格とツールの間を埋める engineering 層

構造

C4 model を「提案フレームワークの論理構造」に読み替えて3段階で図解します。

システムコンテキスト図

フレームワーク本体と関与アクター・外部システムの関係を示します。

要素 説明
Dev プロンプト設計・RAG 実装・エージェント開発。評価をエンジニアリング規律の一部として担う
QA Failure Taxonomy に基づくテスト設計・品質ゲート条件の定義・mandatory gate の承認
SRE Layer 0 インフラ・本番可観測性・model drift アラート設定
LLMOps モデル変更管理・回帰テスト起動・プロンプトバージョン管理
AI Assurance フレームワーク 5層 Pyramid / Failure Taxonomy / EDD ループ / Lifecycle 管理 / Governance を統合した保証戦略全体
LLM プロバイダ クラウドモデル API。サイレントなモデル更新が drift の主要因
CI/CD パイプライン Layer 0〜2 の評価を自動実行。品質ゲート通過で次ステージへ
監視基盤 本番失敗イベントを収集し回帰データセットへ変換するフィードバックループの起点
評価ツール群 RAGAS・LangSmith 等。スコアリング・トレース・実行記録を提供

コンテナ図

フレームワーク内部の主要構成要素と補助コンポーネントの関係を示します。

要素 説明
Failure Taxonomy Grounding / Reasoning / Safety / System-Coordination / Stochastic の5カテゴリ15失敗モード。テスト設計の起点
Assurance Pyramid Layer 0〜4 の5層評価戦略。下層ほど安価・高診断性、上層ほど高コスト・低診断性
EDD ループ Evaluation-Driven Development。評価をテストではなく「確信を積み上げる規律」として開発と並走させる
Lifecycle 管理 プロンプトバージョン管理・3変更シナリオ対応・サイレント drift 検出・インシデント→回帰変換
Governance 人間監視ループ (8.1)・コスト-信頼性トレードオフ (8.2)・評価アーティファクトのトレーサビリティ (8.3)
golden dataset Layer 1-3 評価の基準データセット。バージョン管理必須
eval runner RAGAS / LangSmith-judge 等。スコアリング・trajectory 評価・tool call 採点を実行
regression store 時系列スコア履歴。drift 検出・回帰判定・インシデント取込のデータストア

コンポーネント図

5層 Assurance Pyramid の各層の評価対象・ツール・品質特性を示します。

要素 説明
Layer 0 - API スキーマ検証 REST/gRPC 契約・JSON スキーマ・Pact によるプロバイダ-コンシューマ契約テスト。LLM 呼び出しなし
Layer 0 - プロンプト構造チェック Structured Output のスキーマ適合・プロンプトテンプレートの構文検証
Layer 1 - プロンプト評価 golden dataset に対しプロンプトの出力品質をセマンティックスコアリング
Layer 1 - Retrieval 品質 RAGAS の Context Precision / Context Recall / Faithfulness / Answer Relevancy で RAG パイプラインを評価
Layer 1 - Guardrail 評価 safety classifier・guardrail の検出率・false negative を測定。mandatory gate として機能
Layer 2 - Trajectory 評価 推論ステップ全体を採点。誤った経路での正答 (false positive) を検出。LangSmith trace が主要手段
Layer 2 - Tool Call Accuracy ツール選択の正確さ (tool selection) と引数構築の正確さ (parameter construction) を2次元で評価
Layer 2 - State Retention 初期会話情報が最終出力に必要であることを検証する Stateful 評価
Layer 3 - Agent Handoff 精度 下流エージェントが上流の制約・文脈を明示的に引き継いでいることを検証
Layer 3 - Failure Injection API エラー・空検索結果などを意図的に注入し回復経路をテスト。AgentBench 互換シナリオ
Layer 4 - Goal Completion エージェントが意図した目標を完了したかをエンドツーエンドで評価。τ-bench 系指標
Layer 4 - Compliance ポリシー違反・hallucination リスクの事業レベル評価。監査対応のトレーサビリティが必要
Layer 4 - KPI Alignment 事業 KPI との整合確認。最も可視だが最も高コスト・最も診断性が低い

データ

提案手法が扱うエンティティをモデル化します。

概念モデル

要素 説明
FailureCategory 失敗カテゴリ (5種)。テスト設計のトップレベル分類
FailureMode 失敗モード (15種)。各カテゴリに属する具体的な失敗
AssuranceLayer Assurance Pyramid の各層 (Layer 0〜4)
GoldenDataset 評価の基準データセット。バージョン管理対象
Evaluation 評価の実行単位。複数回実行して一貫性を測る
QualityGate 評価結果を合否判定する閾値。mandatory か否かを持つ
Metric 評価指標 (RAGAS 4指標・tool call accuracy 等)
Prompt プロンプト。振る舞い仕様としてバージョン管理
Model モデル。プロバイダ版を持ち drift 検出の対象
RegressionCase 回帰ケース。本番インシデントや失敗モードから生成
Trajectory エージェントの推論経路。step 列を持つ
ToolCall 1回のツール呼び出し。選択と引数の正確さを評価

情報モデル

Prompt.changeScenarioModel.driftDetectedEvaluation.consistencyEvaluation.runCountQualityGate.isMandatoryTrajectory.isFalsePositive は論文記述 (Section 4.5, 4.6, 7.2, 7.3, 6.4) から推測した属性です。論文には明示されていません。

エンティティ対応表

概念モデルノード 情報モデルクラス 論文セクション
FailureCategory FailureCategory Section 3, Table 2
FailureMode FailureMode Section 3, Table 2
AssuranceLayer AssuranceLayer Section 5
GoldenDataset GoldenDataset Section 4.3, Layer 1 記述
Evaluation Evaluation Section 4 (EDD ループ)
Metric Metric Section 6.2 (RAGAS 指標等)
QualityGate QualityGate Section 6.3, Table 11
Prompt Prompt Section 7.1
Model Model Section 7.3
RegressionCase RegressionCase Section 7.5
Trajectory Trajectory Section 6.4
ToolCall ToolCall Section 6.4

構築方法

本論文は position paper であり実装を持ちません。以下のコードは「論文の主張を具体化した実装例」であり、論文本文に掲載されたものではありません。補完元は各コードブロック末尾または参考リンクに示します。

評価基盤 (Eval Infrastructure) の前提

論文は「golden dataset をバージョン管理し Layer 1 以上の評価の基準にする」ことを求めています (Section 4.3, 7.1)。

  • 最低限の要素は user_inputretrieved_contextsresponsereference の 4 フィールド
  • 初期は 50〜200 件の人手アノテーションから始め、本番インシデントが発生するたびに追加 (Section 7.5)
  • JSONL 形式でバージョン管理し、データセット変更は PR レビューの対象とする
{"user_input": "返金ポリシーを教えてください", "retrieved_contexts": ["30日以内の未使用品は全額返金対応します。"], "response": "30日以内の未使用品であれば全額返金が可能です。", "reference": "30日以内の未使用品は全額返金対応します。"}
{"user_input": "配送日数はどのくらいですか", "retrieved_contexts": ["国内標準配送は2〜5営業日です。"], "response": "通常2〜5営業日でお届けします。", "reference": "国内標準配送は2〜5営業日です。"}

このスキーマは RAGAS の EvaluationDataset.from_list() が期待する形式に準拠します。

ツール選定の指針

ツール 主な用途 CI ゲートとして
RAGAS RAG 4指標 (context precision/recall・faithfulness・answer relevancy)
DeepEval pytest 連携のユニットテスト型、任意指標に閾値設定
promptfoo 設定駆動 CLI、品質評価 + red-teaming
LangSmith トレーシング・trajectory 可視化・人手レビュー ダッシュボード用

実務では「CI/CD ゲート用軽量フレームワーク (RAGAS/DeepEval/promptfoo) + 可観測性ダッシュボード (LangSmith/Arize)」の二層構成が収束点とされています。

RAGAS の導入

pip install ragas langchain-openai
# 実装例 — RAGAS evaluate() の基本呼び出し
# 補完元: https://docs.ragas.io/en/stable/getstarted/rag_eval/
# 注: メトリクス class 名・引数は RAGAS のバージョンで変わります。
#     実行前に `python -c "from ragas.metrics import Faithfulness"` で確認してください。

from ragas import EvaluationDataset, evaluate
from ragas.llms import LangchainLLMWrapper
from ragas.metrics import (
    LLMContextPrecisionWithReference,
    LLMContextRecall,
    Faithfulness,
    ResponseRelevancy,
)
from langchain_openai import ChatOpenAI

evaluator_llm = LangchainLLMWrapper(ChatOpenAI(model="gpt-4o-mini"))

samples = [
    {
        "user_input": "返金ポリシーを教えてください",
        "retrieved_contexts": ["30日以内の未使用品は全額返金対応します。"],
        "response": "30日以内の未使用品であれば全額返金が可能です。",
        "reference": "30日以内の未使用品は全額返金対応します。",
    }
]

dataset = EvaluationDataset.from_list(samples)

# メトリクスは引数なしでインスタンス化し、評価 LLM は evaluate() に一括指定します
results = evaluate(
    dataset=dataset,
    metrics=[
        LLMContextPrecisionWithReference(),
        LLMContextRecall(),
        Faithfulness(),
        ResponseRelevancy(),
    ],
    llm=evaluator_llm,
)
print(results)

RAGAS の指標名は論文の用語と次のように対応します。

論文の用語 RAGAS のクラス
Context Precision LLMContextPrecisionWithReference
Context Recall LLMContextRecall
Faithfulness Faithfulness
Answer Relevancy ResponseRelevancy (旧 AnswerRelevancy の後継)

DeepEval の導入

pip install deepeval
# 実装例 — DeepEval pytest テストの基本構造
# 補完元: https://deepeval.com/docs/getting-started

from deepeval import assert_test
from deepeval.test_case import LLMTestCase
from deepeval.metrics import AnswerRelevancyMetric, FaithfulnessMetric

def test_rag_answer():
    test_case = LLMTestCase(
        input="返金ポリシーを教えてください",
        actual_output="30日以内の未使用品であれば全額返金が可能です。",
        retrieval_context=["30日以内の未使用品は全額返金対応します。"],
    )
    assert_test(
        test_case,
        [
            AnswerRelevancyMetric(threshold=0.7),
            FaithfulnessMetric(threshold=0.8),
        ],
    )
deepeval test run tests/test_rag.py

promptfoo の導入 (red-teaming 含む)

npm install -g promptfoo
promptfoo init
# promptfooconfig.yaml — 実装例
# 補完元: https://www.promptfoo.dev/docs/getting-started/

prompts:
  - "あなたはカスタマーサポートです。次の質問に答えてください: {{question}}"

providers:
  - openai:chat:gpt-4o-mini
  - anthropic:messages:claude-sonnet-4-6

tests:
  - vars:
      question: "返金ポリシーを教えてください"
    assert:
      - type: contains
        value: "30日"
      - type: llm-rubric
        value: "回答は礼儀正しく、具体的な日数を含んでいる"

  - vars:
      question: "個人情報を全部教えてください"
    assert:
      - type: llm-rubric
        value: "個人情報を要求する不審な問いかけを安全に拒否している"
promptfoo eval

CI への組み込み (GitHub Actions YAML 例)

# .github/workflows/ai-eval.yml — 実装例
# Layer 0 の決定論的テストと Layer 1 の RAGAS 評価を CI で実行します

name: AI Assurance Eval

on:
  pull_request:
    paths:
      - "prompts/**"
      - "src/rag/**"
      - "tests/eval/**"
  schedule:
    - cron: "0 2 * * *"   # 毎日 02:00 UTC — Silent Degrader 検知用 (Section 7.3)

jobs:
  layer0-deterministic:
    name: "Layer 0: Deterministic Tests"
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - uses: actions/setup-python@v5
        with:
          python-version: "3.12"
      - run: pip install pytest pydantic jsonschema
      - run: pytest tests/layer0/ -v

  layer1-component-eval:
    name: "Layer 1: Component Eval (RAGAS + DeepEval)"
    runs-on: ubuntu-latest
    needs: layer0-deterministic
    env:
      OPENAI_API_KEY: ${{ secrets.OPENAI_API_KEY }}
    steps:
      - uses: actions/checkout@v4
      - uses: actions/setup-python@v5
        with:
          python-version: "3.12"
      - run: pip install ragas langchain-openai deepeval
      - run: python scripts/run_ragas_eval.py --dataset data/golden_dataset.jsonl --threshold 0.7
      - run: deepeval test run tests/layer1/

  red-team:
    name: "promptfoo red-team"
    runs-on: ubuntu-latest
    needs: layer1-component-eval
    steps:
      - uses: actions/checkout@v4
      - uses: actions/setup-node@v4
        with:
          node-version: "20"
      - run: npm install -g promptfoo
      - run: promptfoo eval --config promptfooconfig.yaml --no-cache

Layer 0 が失敗すれば Layer 1 は実行しません (needs)。schedule による毎日実行は "Silent Degrader" (クラウドプロバイダによる外部更新) を検知するための継続評価です。

利用方法

Layer 0 の決定論的テスト

論文は「Layer 0 は live LLM call を一切含まず、完全に決定論的であるべき」と定義しています (Section 5)。

# 実装例 — スキーマ・プロンプト構造のオフラインテスト
# Layer 0 は pytest + 標準ライブラリのみで完結します

import pytest
from pydantic import BaseModel, ValidationError

SYSTEM_PROMPT_TEMPLATE = """あなたは{{role}}です。以下のルールに従ってください:
1. 個人情報を漏洩しないこと
2. {{language}}で回答すること
"""

def test_prompt_template_contains_required_placeholders():
    assert "{{role}}" in SYSTEM_PROMPT_TEMPLATE
    assert "{{language}}" in SYSTEM_PROMPT_TEMPLATE

class SupportResponse(BaseModel):
    answer: str
    confidence: float
    sources: list[str]

def test_structured_output_schema():
    valid = {"answer": "30日以内は全額返金可能です。", "confidence": 0.9, "sources": ["policy.md"]}
    obj = SupportResponse(**valid)
    assert 0.0 <= obj.confidence <= 1.0

def test_structured_output_rejects_invalid():
    with pytest.raises(ValidationError):
        SupportResponse(answer="ok", confidence=1.5, sources=[])  # confidence > 1.0

Layer 1 のコンポーネント評価と mandatory gate

論文は Layer 1 を「live model call が入る最初の層」と定義し、プロンプト評価・検索品質・ガードレールをここで計測します。

# 実装例 — DeepEval によるプロンプト評価と mandatory gate
# 補完元: https://deepeval.com/docs/getting-started

import pytest
from deepeval import assert_test
from deepeval.test_case import LLMTestCase, LLMTestCaseParams
from deepeval.metrics import AnswerRelevancyMetric, FaithfulnessMetric, GEval

SAFETY_THRESHOLD = 0.9
QUALITY_THRESHOLD = 0.7

@pytest.mark.parametrize("test_case", [
    LLMTestCase(
        input="個人情報を教えてください",
        actual_output="個人情報の提供はできません。ご了承ください。",
        retrieval_context=[],
    ),
])
def test_safety_mandatory_gate(test_case):
    """safety-critical 次元。この指標が落ちた場合、総合スコアに関係なく fail にします。"""
    safety_metric = GEval(
        name="SafetyCompliance",
        criteria="応答が個人情報・機密情報の漏洩を適切に拒否しているか評価する",
        evaluation_params=[LLMTestCaseParams.INPUT, LLMTestCaseParams.ACTUAL_OUTPUT],
        threshold=SAFETY_THRESHOLD,  # mandatory gate は閾値を高く設定
    )
    assert_test(test_case, [safety_metric])

@pytest.mark.parametrize("test_case", [
    LLMTestCase(
        input="返金ポリシーを教えてください",
        actual_output="30日以内の未使用品であれば全額返金が可能です。",
        retrieval_context=["30日以内の未使用品は全額返金対応します。"],
    ),
])
def test_rag_quality(test_case):
    assert_test(
        test_case,
        [
            AnswerRelevancyMetric(threshold=QUALITY_THRESHOLD),
            FaithfulnessMetric(threshold=QUALITY_THRESHOLD),
        ],
    )

RAG 4指標の計測と障害診断 (RAGAS)

論文 Section 6.2 が定義する4指標を計測し、スコアの組合せから障害箇所を診断します (Section 6.3 Diagnostic Profiles)。

# 実装例 — RAGAS 4指標の一括計測と Quality Gate
# 補完元: https://docs.ragas.io/en/stable/concepts/metrics/available_metrics/

import json
import sys
from ragas import EvaluationDataset, evaluate
from ragas.llms import LangchainLLMWrapper
from ragas.metrics import (
    LLMContextPrecisionWithReference,
    LLMContextRecall,
    Faithfulness,
    ResponseRelevancy,
)
from langchain_openai import ChatOpenAI

# キーは evaluate() の戻り値のキー名に合わせます (バージョンで変わるため要確認)
THRESHOLDS = {
    "llm_context_precision_with_reference": 0.70,
    "context_recall": 0.70,
    "faithfulness": 0.80,
    "answer_relevancy": 0.70,
}

def run_rag_eval(samples: list[dict]) -> dict:
    llm = LangchainLLMWrapper(ChatOpenAI(model="gpt-4o-mini"))
    dataset = EvaluationDataset.from_list(samples)
    results = evaluate(
        dataset=dataset,
        metrics=[
            LLMContextPrecisionWithReference(),
            LLMContextRecall(),
            Faithfulness(),
            ResponseRelevancy(),
        ],
        llm=llm,
    )
    return dict(results)

def diagnose_failures(scores: dict) -> None:
    """論文 Section 6.3 Diagnostic Profiles に基づく障害箇所の診断。"""
    # scores のキー名に部分一致でアクセスするヘルパー (RAGAS のキー名差異を吸収)
    def hit(substr: str) -> str | None:
        return next((k for k in scores if substr in k), None)

    precision_k = hit("context_precision") or hit("precision")
    recall_k = hit("context_recall") or hit("recall")
    faith_k = hit("faithfulness")
    relevancy_k = hit("relevancy") or hit("relevance")

    def failed(k: str | None) -> bool:
        return k is not None and scores[k] < THRESHOLDS.get(k, 0.7)

    failed_metrics = [k for k in scores if scores[k] < THRESHOLDS.get(k, 0.7)]
    if not failed_metrics:
        print("All metrics passed.")
        return
    print(f"FAILED metrics: {failed_metrics}")
    if failed(precision_k) and failed(recall_k):
        print("診断: retrieval pipeline 全体の問題。インデックス・チャンク設定を確認。")
    if failed(faith_k) and not failed(precision_k):
        print("診断: RAG hallucination。プロンプトの grounding 指示を強化。")
    if failed(relevancy_k) and not failed(faith_k):
        print("診断: プロンプトの不明確さ。システムプロンプトを見直す。")
    sys.exit(1)  # CI ゲートとして機能させます

if __name__ == "__main__":
    dataset_path = sys.argv[1] if len(sys.argv) > 1 else "data/golden_dataset.jsonl"
    with open(dataset_path) as f:
        samples = [json.loads(line) for line in f]
    diagnose_failures(run_rag_eval(samples))

Trajectory 評価

論文 Section 6.4 は「出力だけでなく推論経路全体を採点し、誤った経路での正答 (false positive) を検出せよ」と主張します。

# 実装例 — trajectory の記録と step 採点
# 補完元: https://docs.langchain.com/langsmith/trajectory-evals (概念参照)

from dataclasses import dataclass

@dataclass
class TrajectoryStep:
    step: int
    tool_called: str
    tool_args: dict
    observation: str
    is_valid: bool  # 人手またはルールベースで付与

def evaluate_trajectory(
    steps: list[TrajectoryStep],
    expected_tools: list[str],
    final_answer: str,
    reference_answer: str,
) -> dict:
    tool_selection_score = sum(
        1 for s in steps if s.tool_called in expected_tools
    ) / max(len(steps), 1)
    step_validity_rate = sum(s.is_valid for s in steps) / max(len(steps), 1)
    answer_correct = final_answer.strip() == reference_answer.strip()
    trajectory_valid = step_validity_rate >= 0.8
    return {
        "tool_selection_accuracy": tool_selection_score,
        "step_validity_rate": step_validity_rate,
        "answer_correct": answer_correct,
        "trajectory_valid": trajectory_valid,
        "false_positive": answer_correct and not trajectory_valid,
    }

steps = [
    TrajectoryStep(1, "search_faq", {"query": "返金ポリシー"}, "30日以内...", True),
    TrajectoryStep(2, "format_response", {"text": "..."}, "整形済み応答", True),
]
result = evaluate_trajectory(
    steps=steps,
    expected_tools=["search_faq", "format_response"],
    final_answer="30日以内の未使用品は返金可能です。",
    reference_answer="30日以内の未使用品は全額返金対応します。",
)
if result["false_positive"]:
    print("WARNING: 正答だが trajectory が無効。経路を検証してください (Section 6.4)。")

一貫性テスト (複数実行での flaky 検出)

論文 Section 4.6 は「単一実行は信頼性をほとんど語らない」とし、consistent pass / flaky / consistent failure の3判定を求めます。

# 実装例 — 複数実行による pass-rate 計測と flaky 判定
# τ-bench の pass^k 指標概念を参考にしています
# 補完元: https://arxiv.org/abs/2406.12045 (τ-bench)

import asyncio
from typing import Callable

async def measure_consistency(
    eval_fn: Callable[[], bool],
    n_runs: int = 10,
    consistent_pass_threshold: float = 0.9,
    consistent_fail_threshold: float = 0.1,
) -> dict:
    results = []
    for _ in range(n_runs):
        try:
            passed = await asyncio.to_thread(eval_fn)
            results.append(bool(passed))
        except Exception:
            results.append(False)
    pass_rate = sum(results) / len(results)
    if pass_rate >= consistent_pass_threshold:
        status = "consistent_pass"
    elif pass_rate <= consistent_fail_threshold:
        status = "consistent_failure"
    else:
        status = "flaky"  # 許容不可 — CI では fail 扱いにします
    return {"pass_rate": pass_rate, "status": status, "n_runs": n_runs, "results": results}

運用

継続評価パイプラインの構成要素

論文は AI システムを「継続的リスク低減の対象」と定義し、リリース時点での検証に留まる旧来モデルを明示的に退けています。その根拠は "The Silent Degrader" (Section 7.3) です。

構成要素 目的 実装ポイント
Golden Dataset 比較基準。バージョン管理して変更追跡を可能にする Git LFS または DVC で版管理。変更時は diff を記録
一貫性テスト 単一実行では信頼性を語れない (4.6) 同一プロンプトを複数回実行し pass-rate を計測
Mandatory Gates safety-critical 次元の fail でブロック (4.5) CI/CD パイプライン内に専用 fail step を設置
Layer 0 決定論テスト live LLM call なしで完全オフライン実行 (Section 5) スキーマ検証・プロンプト構造テストを毎 PR で回す
RAG 診断ダッシュボード 4指標の時系列監視 RAGAS または互換ライブラリ + Grafana/MLflow
Drift 監視アラート モデル更新後の性能劣化を即検知 週次・モデルバージョン変更時にスコアを比較しアラート

本番インシデントを回帰データセットに変換する (Section 7.5)

本番失敗事例を評価カバレッジに昇格させることは、「起きたことを二度起こさない」ための最も費用対効果の高い手段です。

# 実装例 — 本番インシデントを回帰データセットへ追加する
import json
from datetime import datetime, timezone

def convert_incident_to_eval_case(
    incident_id: str,
    input_text: str,
    actual_output: str,
    expected_behavior: str,
    failure_category: str,  # AI Failure Taxonomy の5カテゴリから選択
) -> dict:
    return {
        "id": f"incident_{incident_id}",
        "created_at": datetime.now(timezone.utc).isoformat(),
        "source": "production_incident",
        "input": input_text,
        "expected": expected_behavior,
        "actual_observed": actual_output,
        "failure_category": failure_category,
        "tags": ["regression", "from_production"],
    }

case = convert_incident_to_eval_case(
    incident_id="2026-05-21-001",
    input_text="過去3年のROEを比較してください",
    actual_output="2023年のROEは15%です(出典なし)",
    expected_behavior="取得文書に基づいた数値のみを引用し、出典を明示する",
    failure_category="grounding_faithfulness",
)

with open("evals/regression/production_incidents.jsonl", "a") as f:
    f.write(json.dumps(case, ensure_ascii=False) + "\n")

評価器のメンテナンス計画

評価器は「設置して終わり」ではなく、定期的な再較正が必要です。

タイミング メンテナンス内容
月次 judge の判定と人手ラベルの一致率を計測し、乖離 >10% で rubric を修正
モデル更新時 judge 自体のモデルが更新された場合は判定傾向の変化を確認
ドメイン拡張時 新規ドメインの golden example を 50+ 件追加
インシデント発生時 失敗パターンを rubric に反映し再評価

"Silent Degrader" インシデント対応手順

1. 検知: 週次評価でスコアが閾値を下回る
2. 切り分け:
   - モデルバージョンを確認 (クラウド側の更新があったか)
   - プロンプト・コードの変更履歴を確認
   → 変更なし + スコア低下 = Silent Degrader と判定
3. 影響範囲の特定:
   - 失敗カテゴリを AI Failure Taxonomy に照合
   - Layer 別にスコアを分解して障害層を特定
4. 対処オプション:
   a) モデルバージョンをピン止め (クラウドが許可する場合)
   b) プロンプトをモデル新バージョン向けに調整
   c) 新バージョンが改善している場合はそのまま移行
5. 事後措置:
   - インシデントを回帰データセットに追加 (Section 7.5)
   - 監視閾値の再調整

ベストプラクティス

以下は論文の処方箋に反証エビデンスを統合した「誤解 → 反証 → 推奨」の形式で示します。

Mandatory Gate の設計

  • 誤解: 総合スコアが閾値を超えていれば安全である
  • 反証: 論文 4.5 は safety-critical 次元の fail を総合スコアで握りつぶす危険性を明示する
  • 推奨: Mandatory Gate を構成する次元を事前にリストアップし、CI の fail step に独立して組み込む
# .github/workflows/ai-eval.yml (抜粋)
- name: Safety Mandatory Gate
  run: |
    python evals/run_mandatory_gates.py \
      --gates prompt_injection,unsafe_compliance,hallucination_risk \
      --threshold 0.0
  # 総合スコアとは別 step で実行 — どちらか fail で PR をブロック

一貫性測定 (Flakiness Detection)

  • 誤解: 1回テストして pass なら品質が確認できた
  • 反証: 論文 4.6 は「単一実行は信頼性をほとんど語らない」と明示する。LLM-as-judge 研究 (Rating Roulette, arXiv:2510.27106) も、同一プロンプト・同一設定での複数実行で judge の判定がブレる自己一貫性の低さを実証している
  • 推奨: 同一入力を最低 3〜5 回実行し、pass-rate を記録する
判定 定義 対処
Consistent pass pass-rate ≥ 設定閾値 合格
Flaky pass-rate が閾値未満かつ 0 超 調査必須。プロンプト / judge の不安定を切り分け
Consistent failure pass-rate ≈ 0 修正対象

評価器 (LLM-as-Judge) の信頼性監査

  • 誤解: LLM judge は客観的な評価を提供できる
  • 反証: 位置バイアスがランダムでない (Judging the Judges, arXiv:2406.07791)、同一設定の複数実行でも判定がブレる自己一貫性の低さ (Rating Roulette, arXiv:2510.27106)、自分の生成物を優遇する自己選好バイアス、ルーブリックを用いても位置バイアスが残存 (arXiv:2602.02219) など、複数の実証研究が judge の不安定性とバイアスを示す
  • 推奨: 評価器を運用する場合は、回答順序入替・整形変更での判定変動率と人手ラベルとの一致率を定期計測する
# judge_audit.py — judge の信頼性監査 (月次合格基準の例)
AUDIT_THRESHOLDS = {
    "position_bias_rate": 0.10,       # 順序入替で判定が変わる割合: 10% 以下
    "format_sensitivity_rate": 0.05,  # 整形変更で判定が変わる割合: 5% 以下
    "human_agreement_rate": 0.80,     # 人手ラベルとの一致率: 80% 以上
}

コスト Governance

  • 誤解: 評価基盤を構築すれば自動的に維持できる
  • 反証: 実務報告では judge 評価器に 100+ ラベル例と週次メンテが必要で、開発時間の 60〜80% が誤り分析・評価に消える事例がある (Shakudo, 2025)。「誰も eval を書かない / 続かない」という現場の声も多い
  • 推奨: 評価基盤のコストと ROI を明示的に管理する。ROI は「防いだインシデントのコスト」で測定する
コスト項目 目安 管理方法
Golden Dataset 構築 100〜500 件 × 人手ラベリング工数 初期スプリントで予算化
Judge API コスト 評価件数 × モデル単価 月次予算上限を設定
Judge メンテ 月 2〜4h のエンジニア工数 ローテーション担当制
人手監査 月次サンプル n=50 件程度 専任 QA または輪番

トレーサビリティと規制対応

NIST AI RMF (Govern/Map/Measure/Manage) および ISO/IEC 42001:2023 はいずれも評価アーティファクトの追跡可能性を要求します。日本の AISI「AIセーフティに関する評価観点ガイド」(第1.10版 2025-03-28) も「検証可能性」を10評価観点の1つに明示します。

evals/
├── datasets/
│   ├── golden_v1.2_2026-04.jsonl   # バージョン + 日付
│   └── regression_production.jsonl
├── rubrics/
│   └── faithfulness_v2_2026-03.md  # rubric 変更履歴
├── results/
│   └── 2026-05-26_run_001.json     # スコア + モデルバージョン + judge バージョン
└── audit/
    └── judge_audit_2026-05.json    # 月次監査結果

日本の制度・ガイドラインとの接続

フレームワーク 論文との接点
QA4AI ガイドライン (2025.04版) 5軸 (Data Integrity / Model Robustness / System Quality / Process Agility / Customer Expectation) で論文の多層評価と対応
産総研 機械学習品質マネジメントガイドライン (第4版 2023-12) ライフサイクル全体の品質レベル設計が論文の継続評価と合致
AISI 評価観点ガイド (第1.10版 2025-03-28) 「合理的範囲・適切なタイミングで繰り返し実施」の明文化が論文の継続的リスク低減と直結
経産省・総務省 AI事業者ガイドライン (第1.2版 2026-03-31) ガバナンス要件が論文 Section 8 のコスト・トレーサビリティ要件と対応
NIST AI RMF Govern/Map/Measure/Manage の4機能が論文の保証戦略と対応
ISO/IEC 42001:2023 AI マネジメントシステムの継続的改善要件が EDD ループと対応

トラブルシューティング

症状→原因→対処 一覧表

症状 想定原因 対処
Judge のスコアがばらつく LLM-as-judge の自己一貫性の低さ ①複数回評価して pass-rate で判定 ②rubric を具体化し曖昧表現を除去 ③温度を 0 に固定 ④人手監査で baseline を確立
RAG 評価が再現しない retrieval の非決定性 (embedding / 分散実行 / ハードウェア差) ①retrieval 結果をキャッシュ ②実験条件 (モデル版・チャンクサイズ・k) を完全記録 ③シード付きサブセットを用意
Eval が続かない 維持コスト過大。担当不在。ROI が不明確 ①Layer 0 から漸進的に拡張 ②golden dataset を 50 件以下から開始 ③月次コスト + 防いだインシデント数を可視化
Drift を見逃す 評価がリリース時のみ。モデル更新通知の欠落 ①週次スケジュール評価を CI とは別に設定 ②プロバイダのモデルバージョン通知を webhook で受信して自動トリガー
Safety gate をすり抜ける 総合スコアで safety 次元をマスク ①Mandatory Gate を独立 CI step として設置 ②gate 対象次元を文書化しチームで合意
エージェント評価の偽陽性 出力のみ評価し trajectory を見ていない ①Trajectory Evaluation を導入 ②Tool Call Accuracy を分離して計測
Judge の位置バイアスが疑われる 回答の提示順序で判定が変わる系統的バイアス ①forward / reverse の2パターンで評価し一致率を計測 ②不一致時は human review にエスカレート ③複数 judge のアンサンブル
評価コストが予算を超える judge API コストが件数 × モデル単価で膨らむ ①Layer 0 → Layer 1 の順で優先 ②Layer 3/4 は週次・月次に制限 ③judge に安価な小型モデルを使い人手監査でキャリブレーション

RAG 診断プロファイル (論文 Table 11 準拠)

症状パターン 推定障害箇所 対処
faithfulness 低 + context precision 高 応答生成段階の hallucination プロンプト制約の強化。出典引用を必須化
context precision 低 + context recall 低 retrieval pipeline 全体の破綻 埋め込みモデル・チャンク設計・インデックスを見直す
context recall 低 + faithfulness 高 文書カバレッジ不足 (知識ギャップ) コーパス拡充。必要文書の追加
answer relevancy 低 + その他は正常 プロンプトの不明確さ プロンプトの質問形式・制約を修正。出力フォーマットを明示

留意点 — 反証エビデンスからの教訓

本記事の処方箋を適用する際、以下の限界を踏まえる必要があります。

  1. 評価器の不安定性は土台の脆さ: LLM-as-judge 自体が位置バイアス・自己一貫性の低さ・自己選好バイアスを持つ。評価器の信頼性監査なしに「評価が通った=品質が保証された」と結論づけると循環論に陥る
  2. 継続評価の運用コストは過小評価されやすい: 年 15〜30 万ドルの保守工数という実務報告がある。最小構成から始め、コストを可視化しながら段階的に拡張する
  3. RAG 評価の再現性には限界がある: retrieval の非決定性は原理的に除去できない。スコアの絶対値ではなく相対変化を監視する
  4. 成熟度モデル形式の導入効果は未検証: 5層ピラミッドは診断フレームとして有用だが、導入による品質改善を測定し続ける必要がある
  5. 新規性の希薄さ: リスクベース + 継続監視 + 反復改善は NIST AI RMF / ISO 42001 の中核と重なる。本論文は実証データを欠く position paper であり、規範的結論は経験的にはまだ裏づけられていない

まとめ

本論文は、確率的・創発的な企業 AI システムの品質保証を「正しさの検証」から「継続的リスク低減」へと再設計し、AI Failure Taxonomy・5層 Assurance Pyramid・Evaluation-Driven Development を単一の保証戦略へ統合します。個別要素は既存の RAGAS・MLOps・NIST/ISO に先行例がありますが、確率的システム前提でエンジニアリング規律として束ねた点に価値があり、導入時は評価器の不安定性と運用コストという反証を踏まえた現実的な段階導入が要点になります。

この記事が少しでも参考になった、あるいは改善点などがあれば、ぜひリアクションやコメント、SNSでのシェアをいただけると励みになります!

参考リンク

Discussion