---
generated_at: 2026-02-19 15:30:00
metrics:
  claims_total: 40
  claims_with_evidence: 40
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：結合テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：40 / 40、根拠なし：0
- 優先レビュー（高）
  1. **IT-009, IT-010**：現在Skipされているテスト（.NET Framework非互換の可能性）
  2. **TypeProvider E2Eテスト**：Windows専用のcmdファイルによる実行
  3. **IDE統合テスト**：Visual Studio依存のため環境制約あり

## 2) 参照した情報（Evidence一覧）
> ここに「実在するもの」だけ列挙。抽出フェーズで付けたIDをそのまま出す。

- E-01: `tests/FSharp.Compiler.Service.Tests/MultiProjectAnalysisTests.fs`
- E-02: `tests/FSharp.Compiler.Service.Tests/CSharpProjectAnalysis.fs`
- E-03: `tests/FSharp.Compiler.ComponentTests/Interop/SimpleInteropTests.fs`
- E-04: `tests/FSharp.Compiler.LanguageServer.Tests/Protocol.fs`
- E-05: `tests/FSharp.Compiler.ComponentTests/CompilerService/FSharpWorkspace.fs`
- E-06: `tests/FSharp.Compiler.ComponentTests/FSharpChecker/TransparentCompiler.fs`
- E-07: `tests/FSharp.Compiler.Service.Tests/FsiTests.fs`
- E-08: `tests/EndToEndBuildTests/EndToEndBuildTests.cmd`
- E-09: `vsintegration/tests/FSharp.Editor.IntegrationTests/GoToDefinitionTests.cs`
- E-10: `vsintegration/tests/FSharp.Editor.IntegrationTests/BuildProjectTests.cs`
- E-11: `vsintegration/tests/FSharp.Editor.IntegrationTests/CodeActionTests.cs`
- E-12: `src/FSharp.Compiler.LanguageServer/Handlers/DocumentStateHandler.fs`
- E-13: `src/FSharp.Compiler.LanguageServer/Handlers/LanguageFeaturesHandler.fs`
- E-14: `src/FSharp.Compiler.LanguageServer/FSharpLanguageServer.fs`
- E-15: `tests/README.md`

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | IT-001: 複数プロジェクト解析の基本動作 | E-01 | ○ |
| C-02 | IT-002: 複数プロジェクト間のシンボル解決 | E-01 | ○ |
| C-03 | IT-003: XMLドキュメントコメントの取得 | E-01 | ○ |
| C-04 | IT-004: C#参照アセンブリの認識 | E-02 | ○ |
| C-05 | IT-005: C#クラスのメンバー取得 | E-02 | ○ |
| C-06 | IT-006: C#アセンブリのXmlDocSig取得 | E-02 | ○ |
| C-07 | IT-007: C#内部クラス・列挙型のシンボル報告 | E-02 | ○ |
| C-08 | IT-008: ジェネリッククラス内の型解決 | E-02 | ○ |
| C-09 | IT-009: F#からC#型のインスタンス化 | E-03 | ○ |
| C-10 | IT-010: C#からF#型のインスタンス化 | E-03 | ○ |
| C-11 | IT-011: C# const/readonlyフィールドの変更禁止 | E-03 | ○ |
| C-12 | IT-012: LSP初期化 | E-04 | ○ |
| C-13 | IT-013: LSP基本ワークフロー | E-04 | ○ |
| C-14 | IT-014: セマンティックトークン取得 | E-04 | ○ |
| C-15 | IT-015: LSPシャットダウン・終了 | E-04 | ○ |
| C-16 | IT-016: プロジェクトの追加 | E-05 | ○ |
| C-17 | IT-017: ファイルのオープン | E-05 | ○ |
| C-18 | IT-018: ファイルのクローズ | E-05 | ○ |
| C-19 | IT-019: ファイルの変更 | E-05 | ○ |
| C-20 | IT-020: 複数ファイルの依存関係解析 | E-06 | ○ |
| C-21 | IT-021: 並列処理 | E-06 | ○ |
| C-22 | IT-022: 署名ファイル付き並列処理 | E-06 | ○ |
| C-23 | IT-023: FSIセッションの初期化 | E-07 | ○ |
| C-24 | IT-024: FSIでの値バインディング | E-07 | ○ |
| C-25 | IT-025: FSI複数値のソート順 | E-07 | ○ |
| C-26 | IT-026: BasicProvider E2Eテスト | E-08 | ○ |
| C-27 | IT-027: ComboProvider E2Eテスト | E-08 | ○ |
| C-28 | IT-028: DesignTimeProviderPackaging E2Eテスト | E-08 | ○ |
| C-29 | IT-029: GoToDefinition | E-09 | ○ |
| C-30 | IT-030: fsi/fsファイル間の定義移動 | E-09 | ○ |
| C-31 | IT-031: ビルド成功 | E-10 | ○ |
| C-32 | IT-032: ビルド失敗とエラー表示 | E-10 | ○ |
| C-33 | IT-033: 未使用open宣言のCodeFix | E-11 | ○ |
| C-34 | IT-034: funキーワード欠落のErrorFix | E-11 | ○ |
| C-35 | IT-035: Disposableへのnewキーワード追加 | E-11 | ○ |
| C-36 | IT-036: ドキュメントオープン処理 | E-12 | ○ |
| C-37 | IT-037: ドキュメント変更処理 | E-12 | ○ |
| C-38 | IT-038: ドキュメントクローズ処理 | E-12 | ○ |
| C-39 | IT-039: 診断情報取得 | E-13 | ○ |
| C-40 | IT-040: セマンティックトークン取得 | E-13 | ○ |

## 4) 不足情報（Unknown / Missing）
- 該当なし：すべてのテストケースに対して、対応するソースコードが確認されている
- 注意点：
  - IT-009, IT-010は現在Skip状態（.NET Framework/netcoreappバージョン互換性問題）
  - E2Eテスト（IT-026〜IT-028）はWindowsのcmdファイルで実行されるため、クロスプラットフォーム対応が必要な場合は別途検討が必要

## 5) リスクフラグ（レビュー観点）
- 0（低リスク）: IT-001〜IT-008, IT-011〜IT-025, IT-036〜IT-040 - 明確なテストコードが存在
- 1（中リスク）: IT-026〜IT-028 - E2Eテストだがcmdファイル依存、IT-029〜IT-035 - VS依存のIDE統合テスト
- 1（中リスク）: IT-009, IT-010 - 現在Skipされているテスト、互換性問題の解決が必要

## 6) レビュアーチェックリスト（最小）
- [ ] テスト種別の分類（API連携、コンポーネント間連携、外部サービス連携、E2E、IDE統合）が適切か
- [ ] 各テストケースの優先度（高/中/低）が実際のプロジェクトの重要度と合致しているか
- [ ] Skipされているテスト（IT-009, IT-010）の対応方針が決定されているか
- [ ] IDE統合テスト（IT-029〜IT-035）の実行環境要件が明確か
- [ ] E2Eテスト（IT-026〜IT-028）のクロスプラットフォーム対応が必要かどうかの判断がなされているか
- [ ] テストケース名と実際のテスト実装の対応が正確か
