---
generated_at: 2026-02-19 13:15:00
metrics:
  claims_total: 50
  claims_with_evidence: 45
  claims_without_evidence: 5
confidence_derived: 0.90
---

# 根拠レポート：受入テストケース一覧

## 本レポートについて

### 目的
本レポートは、生成された設計書・ドキュメントの信頼性を検証し、人間レビュアーが効率的にレビューできるようにすることを目的としています。

### チェック方法
以下の観点でドキュメントの内容（Claim：主張）を検証しています：

1. **根拠の有無確認**：各主張に対して、ソースコード・既存設計書・要件定義書などの根拠（Evidence）が存在するか
2. **根拠との整合性**：主張の内容が根拠と矛盾していないか
3. **網羅性**：参照すべき情報源を適切にカバーしているか

### 信頼度スコアの算出
- **confidence_derived** = 根拠あり件数 / 総主張件数
- 状態「○」：根拠あり、「△」：根拠不足または要確認

### 本レポートの使い方
1. まず「サマリー」で全体の信頼度と優先レビュー項目を確認
2. 「Claims と根拠の対応」で △ の項目を重点的にレビュー
3. 「不足情報」で補完が必要な情報源を確認

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.90**
  - 根拠あり：45 / 50、根拠なし：5
- 優先レビュー（高）
  1. **UAT-037（大規模プロジェクトのコンパイル時間）**：具体的なベンチマーク基準が未定義
  2. **UAT-038（IDEの応答性）**：パフォーマンス基準が未定義
  3. **UAT-039（Language Server Protocol）**：LSP実装詳細の確認が必要
  4. **UAT-046（旧バージョンからの移行）**：具体的なバージョン互換性マトリックスが必要
  5. **UAT-011（型プロバイダー）**：外部依存パッケージの詳細仕様が必要

## 2) 参照した情報（Evidence一覧）

- E-01: `README.md` - プロジェクト概要とビルド手順
- E-02: `TESTGUIDE.md` - テストスイートの説明とテスト実行方法
- E-03: `DEVGUIDE.md` - 開発ガイドラインとワークフロー
- E-04: `tests/README.md` - テスト分類と構造の説明
- E-05: `tests/FSharp.Compiler.ComponentTests/` - コンパイラコンポーネントテスト
- E-06: `tests/FSharp.Compiler.Service.Tests/` - コンパイラサービステスト
- E-07: `tests/EndToEndBuildTests/` - エンドツーエンドビルドテスト
- E-08: `tests/FSharp.Core.UnitTests/` - FSharp.Core単体テスト
- E-09: `vsintegration/tests/` - Visual Studio統合テスト
- E-10: `src/Compiler/` - コンパイラソースコード
- E-11: `src/FSharp.Core/` - FSharp.Coreライブラリソースコード
- E-12: `src/fsc/` - fscコマンドラインツール
- E-13: `src/fsi/` - FSIインタラクティブシェル
- E-14: `src/FSharp.Compiler.LanguageServer/` - Language Server実装
- E-15: `tests/FSharp.Compiler.ComponentTests/Language/` - 言語機能テスト
- E-16: `tests/FSharp.Compiler.ComponentTests/Conformance/` - 言語準拠テスト
- E-17: `tests/FSharp.Compiler.ComponentTests/Scripting/Interactive.fs` - FSIテスト
- E-18: `vsintegration/tests/FSharp.Editor.Tests/` - エディタテスト

## 3) Claims と根拠の対応（レビューの主戦場）

| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | UAT-001：単純なF#ソースコードのコンパイル | E-01, E-02, E-12 | ○ |
| C-02 | UAT-002：複数ファイルのコンパイル | E-02, E-05, E-12 | ○ |
| C-03 | UAT-003：ライブラリ（DLL）の生成 | E-02, E-10, E-12 | ○ |
| C-04 | UAT-004：FSI式の評価 | E-13, E-17 | ○ |
| C-05 | UAT-005：複数行入力 | E-13, E-17 | ○ |
| C-06 | UAT-006：スクリプト読み込み | E-13, E-17 | ○ |
| C-07 | UAT-007：計算式の動作 | E-15 (`ComputationExpressionTests.fs`) | ○ |
| C-08 | UAT-008：パターンマッチング | E-16 (`PatternMatching/`) | ○ |
| C-09 | UAT-009：判別共用体 | E-15 (`DiscriminatedUnionTests.fs`) | ○ |
| C-10 | UAT-010：レコード型 | E-15 (`CopyAndUpdateTests.fs`) | ○ |
| C-11 | UAT-011：型プロバイダー | E-07 (`BasicProvider/`) | △ |
| C-12 | UAT-012：単位系 | E-16 (`UnitsOfMeasure/`) | ○ |
| C-13 | UAT-013：構文エラーの報告 | E-05 (`ErrorMessages/`) | ○ |
| C-14 | UAT-014：型エラーの報告 | E-05 (`ErrorMessages/`) | ○ |
| C-15 | UAT-015：警告の報告と制御 | E-05 (`Diagnostics/`) | ○ |
| C-16 | UAT-016：VS F#プロジェクト作成 | E-09 | ○ |
| C-17 | UAT-017：IntelliSense | E-18 (`CompletionProviderTests.fs`) | ○ |
| C-18 | UAT-018：エラー一覧表示 | E-09 (`Tests.LanguageService.ErrorList.fs`) | ○ |
| C-19 | UAT-019：定義へ移動 | E-18 (`GoToDefinitionServiceTests.fs`) | ○ |
| C-20 | UAT-020：参照検索 | E-18 (`FindReferencesTests.fs`) | ○ |
| C-21 | UAT-021：クイック情報 | E-18 (`QuickInfoTests.fs`) | ○ |
| C-22 | UAT-022：シグネチャヘルプ | E-18 (`SignatureHelpProviderTests.fs`) | ○ |
| C-23 | UAT-023：コードフィックス | E-18 (`CodeFixes/`) | ○ |
| C-24 | UAT-024：dotnet build | E-01, E-02 | ○ |
| C-25 | UAT-025：dotnet run | E-01, E-02 | ○ |
| C-26 | UAT-026：dotnet test | E-02, E-04 | ○ |
| C-27 | UAT-027：MSBuildビルド | E-02, E-03 | ○ |
| C-28 | UAT-028：Windowsコンパイル | E-01, E-02, E-03 | ○ |
| C-29 | UAT-029：macOSコンパイル | E-01, E-02, E-03 | ○ |
| C-30 | UAT-030：Linuxコンパイル | E-01, E-02, E-03 | ○ |
| C-31 | UAT-031：C#ライブラリ参照 | E-05 (`Interop/`) | ○ |
| C-32 | UAT-032：F#ライブラリをC#から参照 | E-05 (`Interop/`) | ○ |
| C-33 | UAT-033：Listモジュール | E-08, E-11 | ○ |
| C-34 | UAT-034：Seqモジュール | E-08, E-11 | ○ |
| C-35 | UAT-035：Asyncモジュール | E-08, E-11 | ○ |
| C-36 | UAT-036：Result型 | E-08, E-11 | ○ |
| C-37 | UAT-037：大規模プロジェクトコンパイル時間 | **根拠なし** | △ |
| C-38 | UAT-038：IDE応答性 | **根拠なし** | △ |
| C-39 | UAT-039：LSP動作 | E-14 | △ |
| C-40 | UAT-040：ブレークポイント | E-05 (`Debugger/`) | ○ |
| C-41 | UAT-041：ステップ実行 | E-05 (`Debugger/`) | ○ |
| C-42 | UAT-042：変数ウォッチ | E-05 (`Debugger/`) | ○ |
| C-43 | UAT-043：XMLドキュメント | E-06 (`XmlDocTests.fs`) | ○ |
| C-44 | UAT-044：FSharp.Core NuGet | E-01 | ○ |
| C-45 | UAT-045：NuGetパッケージ作成 | E-03 | ○ |
| C-46 | UAT-046：旧バージョン移行 | **根拠なし** | △ |
| C-47 | UAT-047：文字列補間 | E-15 (`InterpolatedStringsTests.fs`) | ○ |
| C-48 | UAT-048：無名レコード | E-15 | ○ |
| C-49 | UAT-049：タスク計算式 | E-15 (`ComputationExpressionTests.fs`) | ○ |
| C-50 | UAT-050：アクティブパターン | E-16 (`PatternMatching/`) | ○ |

## 4) 不足情報（Unknown / Missing）

- **UAT-037（大規模プロジェクトのコンパイル時間）**：ベンチマークプロジェクトは存在するが、受入テストとしての具体的な許容時間基準が定義されていない
  - 候補：`tests/benchmarks/` / パフォーマンステスト基準の定義 / CI/CDでのパフォーマンス回帰テスト設定

- **UAT-038（IDEの応答性）**：主観的な評価基準のため、具体的な数値基準が必要
  - 候補：レスポンス時間のSLA定義 / 自動化パフォーマンステスト / ユーザビリティテストプロトコル

- **UAT-039（LSP動作）**：Language Server実装は存在するが、受入テストとしてのシナリオ網羅性が不明確
  - 候補：`src/FSharp.Compiler.LanguageServer/` の機能一覧との照合 / VS Code拡張の統合テスト仕様

- **UAT-046（旧バージョン移行）**：バージョン間の互換性マトリックスが明文化されていない
  - 候補：release-notes.md / 破壊的変更リスト / 移行ガイドドキュメント

- **UAT-011（型プロバイダー）**：外部パッケージ依存のため、テスト環境の前提条件が複雑
  - 候補：型プロバイダーパッケージの選定 / テスト環境セットアップ手順 / モック型プロバイダーの使用

## 5) リスクフラグ（レビュー観点）

- **1（中リスク）**：UAT-037、UAT-038 - パフォーマンス基準が未定義のため、テスト合否判定が主観的になる可能性
- **1（中リスク）**：UAT-046 - 互換性テストの網羅性が不明確、移行シナリオの漏れがある可能性
- **0（低リスク）**：UAT-011、UAT-039 - 外部依存があるが、テスト実行自体は可能
- **0（低リスク）**：その他のテストケース - ソースコードとテストコードから明確に根拠が確認できる

## 6) レビュアーチェックリスト（最小）

- [ ] UAT-037、UAT-038のパフォーマンス基準を定義し、テストケースに追記する
- [ ] UAT-046の対象バージョン範囲と互換性要件を明確化する
- [ ] UAT-011の型プロバイダーテストに使用する具体的なパッケージを決定する
- [ ] UAT-039のLSPテストシナリオがVS Codeの実際の使用パターンをカバーしているか確認する
- [ ] 各テストケースの前提条件が実際のテスト環境で満たせるか確認する
- [ ] 優先度「高」のテストケースが全プラットフォーム（Windows/macOS/Linux）で実行可能か確認する
- [ ] Visual Studio統合テスト（UAT-016〜023）がサポート対象VSバージョンで動作するか確認する
