---
generated_at: 2026-02-22 12:00:00
metrics:
  claims_total: 54
  claims_with_evidence: 54
  claims_without_evidence: 0
confidence_derived: 1.00
---

# 根拠レポート：Avalonia.Metal 単体テストケース一覧

## 本レポートについて

### 目的
本レポートは、生成された単体テストケース一覧の信頼性を検証し、人間レビュアーが効率的にレビューできるようにすることを目的としています。

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**1.00**
  - 根拠あり：54 / 54、根拠なし：0
- 優先レビュー（高）
  1. **テストケースはインターフェース定義のみに基づく**：実装クラスが存在しないため、実装依存のテストケースは実際のテスト実行時に調整が必要
  2. **Metal APIの動作仕様**：Apple Metal APIの仕様に依存するため、プラットフォーム固有の動作確認が必要
  3. **エラーハンドリングの詳細**：インターフェースには例外仕様が明示されていないため、実装に応じた調整が必要

## 2) 参照した情報（Evidence一覧）
> ここに「実在するもの」だけ列挙。

- E-01: `src/Avalonia.Metal/IMetalDevice.cs` - IMetalDevice, IMetalPlatformSurface, IMetalPlatformSurfaceRenderTarget, IMetalPlatformSurfaceRenderingSession インターフェース定義
- E-02: `src/Avalonia.Metal/IMetalExternalObjectsFeature.cs` - IMetalExternalObjectsFeature, IMetalExternalTexture, IMetalSharedEvent インターフェース定義
- E-03: `src/Avalonia.Metal/Avalonia.Metal.csproj` - プロジェクト構成ファイル

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

### IMetalDevice インターフェース（E-01）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | IMetalDeviceはDeviceプロパティ（IntPtr）を持つ | E-01 (line 11) | ○ |
| C-02 | IMetalDeviceはCommandQueueプロパティ（IntPtr）を持つ | E-01 (line 12) | ○ |
| C-03 | IMetalDeviceはIPlatformGraphicsContextを継承する | E-01 (line 9) | ○ |

### IMetalPlatformSurface インターフェース（E-01）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-04 | CreateMetalRenderTargetメソッドはIMetalDeviceを引数に取る | E-01 (line 18) | ○ |
| C-05 | CreateMetalRenderTargetはIMetalPlatformSurfaceRenderTargetを返す | E-01 (line 18) | ○ |

### IMetalPlatformSurfaceRenderTarget インターフェース（E-01）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-06 | IMetalPlatformSurfaceRenderTargetはIDisposableを継承する | E-01 (line 22) | ○ |
| C-07 | BeginRenderingメソッドはIMetalPlatformSurfaceRenderingSessionを返す | E-01 (line 24) | ○ |

### IMetalPlatformSurfaceRenderingSession インターフェース（E-01）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-08 | IMetalPlatformSurfaceRenderingSessionはIDisposableを継承する | E-01 (line 28) | ○ |
| C-09 | Textureプロパティ（IntPtr）を持つ | E-01 (line 30) | ○ |
| C-10 | Sizeプロパティ（PixelSize）を持つ | E-01 (line 31) | ○ |
| C-11 | Scalingプロパティ（double）を持つ | E-01 (line 32) | ○ |
| C-12 | IsYFlippedプロパティ（bool）を持つ | E-01 (line 33) | ○ |

### IMetalExternalObjectsFeature インターフェース（E-02）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-13 | SupportedImageHandleTypesプロパティ（IReadOnlyList<string>）を持つ | E-02 (line 12) | ○ |
| C-14 | SupportedSemaphoreTypesプロパティ（IReadOnlyList<string>）を持つ | E-02 (line 13) | ○ |
| C-15 | DeviceLuidプロパティ（byte[]?）を持つ | E-02 (line 14) | ○ |
| C-16 | GetSynchronizationCapabilitiesメソッドはstring引数を取りCompositionGpuImportedImageSynchronizationCapabilitiesを返す | E-02 (line 15) | ○ |
| C-17 | ImportImageメソッドはIPlatformHandleとPlatformGraphicsExternalImagePropertiesを引数に取りIMetalExternalTextureを返す | E-02 (line 16) | ○ |
| C-18 | ImportSharedEventメソッドはIPlatformHandleを引数に取りIMetalSharedEventを返す | E-02 (line 17) | ○ |
| C-19 | SubmitWaitメソッドはIMetalSharedEventとulongを引数に取る | E-02 (line 19) | ○ |
| C-20 | SubmitSignalメソッドはIMetalSharedEventとulongを引数に取る | E-02 (line 20) | ○ |

### IMetalExternalTexture インターフェース（E-02）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-21 | IMetalExternalTextureはIDisposableを継承する | E-02 (line 24) | ○ |
| C-22 | Widthプロパティ（int）を持つ | E-02 (line 26) | ○ |
| C-23 | Heightプロパティ（int）を持つ | E-02 (line 27) | ○ |
| C-24 | Samplesプロパティ（int）を持つ | E-02 (line 28) | ○ |
| C-25 | Handleプロパティ（IntPtr）を持つ | E-02 (line 29) | ○ |

### IMetalSharedEvent インターフェース（E-02）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-26 | IMetalSharedEventはIDisposableを継承する | E-02 (line 33) | ○ |
| C-27 | Handleプロパティ（IntPtr）を持つ | E-02 (line 35) | ○ |

## 4) 不足情報（Unknown / Missing）
- **実装クラス**: Avalonia.Metalモジュールにはインターフェース定義のみが含まれており、実装クラスは別モジュール（おそらくAvalonia.Nativeまたはプラットフォーム固有モジュール）に存在する
  - 候補：`src/Avalonia.Native/` / `src/iOS/` / `src/macOS/`
- **例外仕様**: インターフェースには例外仕様（throws宣言やXMLドキュメントでの記載）がないため、異常系テストケースは一般的なC#の慣例に基づいて推測
- **Metal API仕様**: Apple Metal APIの詳細な仕様（有効な値の範囲等）は外部ドキュメントに依存

## 5) リスクフラグ（レビュー観点）
- **0: 低リスク** - インターフェース定義に基づくテストケースであり、ソースコードとの整合性は高い
- **1: 中リスク** - 実装クラスが別モジュールにあるため、実際のテスト実行時にモック/スタブの作成が必要
- **1: 中リスク** - Metal APIはmacOS/iOS固有であるため、クロスプラットフォームテスト環境での考慮が必要

## 6) レビュアーチェックリスト（最小）
- [ ] 全てのインターフェースメンバーに対するテストケースが網羅されているか
- [ ] 正常系・異常系・境界値の観点が適切にカバーされているか
- [ ] IDisposableを継承するインターフェースに対してDispose関連のテストケースが含まれているか
- [ ] テストケースの優先度が適切に設定されているか（金額計算やセキュリティ関連は高優先度）
- [ ] 実装クラスのテスト作成時に、このテストケース一覧が参考として有効か
- [ ] プラットフォーム固有の考慮事項（macOS/iOSのみでの実行）が認識されているか
