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

# 根拠レポート：非機能要件テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：63 / 63、根拠なし：0
- 優先レビュー（高）
  1. **合格基準の妥当性確認**：ベースライン値や閾値の根拠確認推奨
  2. **サードパーティ回帰テスト対象プロジェクト**：最新コミットハッシュの確認推奨
  3. **タイムアウト値の妥当性**：timeoutInMinutes設定値の根拠確認推奨

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

- E-01: `azure-pipelines.yml` - 公式ビルドパイプライン定義
- E-02: `azure-pipelines-PR.yml` - PRビルドパイプライン定義
- E-03: `eng/test-determinism.ps1` - 決定論的ビルドテストスクリプト
- E-04: `tests/ILVerify/ilverify.ps1` - IL検証スクリプト
- E-05: `tests/benchmarks/README.md` - ベンチマーク説明書
- E-06: `tests/benchmarks/FCSBenchmarks/` - FCSベンチマークコード
- E-07: `tests/AheadOfTime/check.ps1` - AOT/トリミングテストスクリプト
- E-08: `Directory.Build.props` - ビルド設定プロパティ
- E-09: `eng/Versions.props` - バージョン定義
- E-10: `eng/TSAConfig.gdntsa` - TSA設定ファイル
- E-11: `TESTGUIDE.md` - テストガイドドキュメント
- E-12: `eng/Signing.props` - 署名設定
- E-13: `eng/policheck_exclusions.xml` - PoliCheck除外設定
- E-14: `tests/ILVerify/ilverify_*.bsl` - IL検証ベースラインファイル群
- E-15: `eng/templates/regression-test-jobs.yml` - 回帰テストジョブテンプレート
- E-16: `eng/release/insert-into-vs.yml` - VS挿入パイプライン

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | コンパイラパース性能テスト（CheckExpressions.fs） | E-05, E-06 | ○ |
| C-02 | FSharp.Compiler.Serviceベンチマーク | E-05, E-06 | ○ |
| C-03 | 大規模ファイルコンパイルテスト | E-06 | ○ |
| C-04 | 並列コンパイル負荷テスト（strategy.parallel: 4） | E-02 | ○ |
| C-05 | キャッシュメモリ管理テスト | E-01, E-05 | ○ |
| C-06 | キャッシュ即時エビクションテスト | E-01, E-02 | ○ |
| C-07 | 増分ビルド性能テスト | E-08 | ○ |
| C-08 | Ready-to-Run最適化テスト | E-08 | ○ |
| C-09 | ビルド再現性テスト | E-03 | ○ |
| C-10 | 異なるディレクトリからのビルド再現性 | E-03 | ○ |
| C-11 | FSharp.Core IL整合性テスト | E-04, E-14 | ○ |
| C-12 | FSharp.Compiler.Service IL整合性テスト | E-04, E-14 | ○ |
| C-13 | NativeAOTトリミングテスト | E-07 | ○ |
| C-14 | Equality AOTテスト | E-07 | ○ |
| C-15 | BinSkimバイナリ解析 | E-01 | ○ |
| C-16 | PoliCheckポリシーチェック | E-01, E-13 | ○ |
| C-17 | CredScan認証情報スキャン | E-01 | ○ |
| C-18 | CodeQLセキュリティ分析 | E-02 | ○ |
| C-19 | コード署名テスト | E-01 | ○ |
| C-20 | NuGetパッケージ署名テスト | E-12 | ○ |
| C-21 | TSAレポート提出テスト | E-10 | ○ |
| C-22 | Windows x64互換性テスト | E-02 | ○ |
| C-23 | Linux互換性テスト | E-02 | ○ |
| C-24 | macOS互換性テスト | E-02 | ○ |
| C-25 | .NET Core CLR互換性テスト | E-11 | ○ |
| C-26 | .NET Framework Desktop互換性テスト | E-11 | ○ |
| C-27 | netstandard2.0互換性テスト | E-04, E-14 | ○ |
| C-28 | netstandard2.1互換性テスト | E-04, E-14 | ○ |
| C-29 | F#言語バージョン11.0互換性 | E-09 | ○ |
| C-30 | F#言語Previewモードテスト | E-02 | ○ |
| C-31 | 厳密インデントモードテスト | E-02 | ○ |
| C-32 | 非厳密インデントモードテスト | E-02 | ○ |
| C-33 | 圧縮メタデータ互換性テスト | E-02 | ○ |
| C-34 | 非圧縮メタデータ互換性テスト | E-02 | ○ |
| C-35 | realsig+モードテスト | E-08 | ○ |
| C-36 | NoRealsigモードテスト | E-02 | ○ |
| C-37 | 透過コンパイラモードテスト | E-02 | ○ |
| C-38 | Visual Studio統合テスト | E-02, E-11 | ○ |
| C-39 | サードパーティ回帰テスト - FSharpPlus | E-15 | ○ |
| C-40 | サードパーティ回帰テスト - IcedTasks | E-15 | ○ |
| C-41 | サードパーティ回帰テスト - FsToolkit.ErrorHandling | E-15 | ○ |
| C-42 | サードパーティ回帰テスト - OpenTK | E-15 | ○ |
| C-43 | サードパーティ回帰テスト - Prime | E-15 | ○ |
| C-44 | サードパーティ回帰テスト - Nu | E-15 | ○ |
| C-45 | FSharp.Coreバージョン重複チェック | E-02 | ○ |
| C-46 | FSharp.Compiler.Serviceバージョン重複チェック | E-02 | ○ |
| C-47 | Managedソースビルドテスト | E-02 | ○ |
| C-48 | Fantomasコードフォーマットチェック | E-02 | ○ |
| C-49 | FSComp.txtエラーコードソートチェック | E-02 | ○ |
| C-50 | 増分ビルドUp-to-Date検証 | E-02 | ○ |
| C-51 | Azure Pipelines PRビルド成功 | E-02 | ○ |
| C-52 | Azure Pipelines公式ビルド成功 | E-01 | ○ |
| C-53 | Visual Studio挿入プロセス | E-16 | ○ |
| C-54 | VSTS Dropアップロード | E-01 | ○ |
| C-55 | クラッシュダンプ収集テスト | E-02 | ○ |
| C-56 | ベンチマークスモークテスト | E-05 | ○ |
| C-57 | ビルドタイムアウト監視 | E-01 | ○ |
| C-58 | エンドツーエンドビルドテスト | E-02 | ○ |
| C-59 | 多言語リソース同期テスト | E-01 | ○ |
| C-60 | Plain FCS Build Windows | E-02 | ○ |
| C-61 | Plain FCS Build Linux | E-02 | ○ |
| C-62 | Plain FCS Build macOS | E-02 | ○ |
| C-63 | MockOfficialビルドテスト | E-02 | ○ |

## 4) 不足情報（Unknown / Missing）
- 該当なし - 全テストケースに対してコードベースから根拠を特定

**補足事項：**
- 合格基準の数値（例：200ms、28MB等）はBenchmarkDotNetの実行例から引用されており、実際の閾値は環境依存の可能性あり
- サードパーティ回帰テストのコミットハッシュは`azure-pipelines-PR.yml`の記載時点のもの

## 5) リスクフラグ（レビュー観点）
- **0（低リスク）**: 全テストケースがCI/CDパイプライン定義から直接抽出
  - 根拠ファイルが明確に特定可能
  - 実際のCIジョブ名・設定値と対応
- **1（中リスク）**: 合格基準値の妥当性
  - ベンチマーク閾値はベースライン比較が推奨
  - タイムアウト値は実行環境に依存

## 6) レビュアーチェックリスト（最小）
- [ ] 性能テストケース（NFT-001〜NFT-008）の合格基準値が現行ベースラインと整合しているか確認
- [ ] セキュリティテストケース（NFT-015〜NFT-021）のSDL要件との整合性確認
- [ ] 互換性テストケース（NFT-022〜NFT-047）の対象プラットフォーム/ランタイムが最新要件と一致しているか確認
- [ ] サードパーティ回帰テスト（NFT-039〜NFT-044）のコミットハッシュが最新か確認
- [ ] タイムアウト値（NFT-057）が実際のビルド時間と整合しているか確認
