---
generated_at: 2026-02-20 10:00:00
metrics:
  claims_total: 32
  claims_with_evidence: 28
  claims_without_evidence: 4
confidence_derived: 0.88
---

# 根拠レポート：http モジュール単体テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.88**
  - 根拠あり：28 / 32、根拠なし：4
- 優先レビュー（高）
  1. **C-17 (downloadFileManual正常系統合テスト)**：実際のネットワークI/O動作は外部依存のため根拠不足
  2. **C-25 (Fiber.yield呼び出し確認)**：Fiberの実行コンテキスト依存のため検証困難
  3. **C-26 (Windows版WinINet API使用確認)**：Windows固有コードのためクロスプラットフォーム検証困難
  4. **C-27 (非Windows版requestsライブラリ使用確認)**：外部ライブラリ依存のため根拠不足

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

- E-01: `http/source/served/http.d` 行25-30 - InteractiveDownload構造体定義
- E-02: `http/source/served/http.d` 行32-33 - downloadFileManual関数シグネチャ
- E-03: `http/source/served/http.d` 行34 - File(into, "wb")によるファイルオープン
- E-04: `http/source/served/http.d` 行36-37 - StopWatch初期化と開始
- E-05: `http/source/served/http.d` 行39-89 - version(Windows)ブロック（WinINet API使用）
- E-06: `http/source/served/http.d` 行47-48 - InternetOpenA呼び出しとenforce
- E-07: `http/source/served/http.d` 行52-53 - InternetOpenUrlA呼び出しとenforce
- E-08: `http/source/served/http.d` 行62-63 - HttpQueryInfoAによるContent-Length取得
- E-09: `http/source/served/http.d` 行69-70 - InternetReadFile失敗時のException
- E-10: `http/source/served/http.d` 行78-87 - Windows版進捗ログ出力（maxLen判定あり/なし）
- E-11: `http/source/served/http.d` 行86 - Fiber.yield()呼び出し（Windows版）
- E-12: `http/source/served/http.d` 行92-108 - 非Windowsブロック（requestsライブラリ使用）
- E-13: `http/source/served/http.d` 行93 - req.useStreaming = true
- E-14: `http/source/served/http.d` 行101-107 - 非Windows版進捗ログ出力とFiber.yield
- E-15: `http/source/served/http.d` 行112 - humanSize関数テンプレート定義とisIntegral制約
- E-16: `http/source/served/http.d` 行114 - prefixes定数 "kMGTPE"
- E-17: `http/source/served/http.d` 行116-117 - 1024未満の分岐（"X B"形式）
- E-18: `http/source/served/http.d` 行118 - 指数計算 log2(bytes)/8
- E-19: `http/source/served/http.d` 行119 - フォーマット出力 "%.1f %siB"

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | InteractiveDownload構造体が正しく初期化されること | E-01 | ○ |
| C-02 | InteractiveDownload構造体のデフォルト初期化 | E-01 | ○ |
| C-03 | 0バイトの場合に"0 B"が返却されること | E-17 | ○ |
| C-04 | 1023バイトの場合に"1023 B"が返却されること | E-17 | ○ |
| C-05 | 1024バイトの場合にkiB単位で返却されること | E-17, E-18, E-19 | ○ |
| C-06 | 1500バイトの場合に正しいkiB表記が返却されること | E-18, E-19 | ○ |
| C-07 | 1048576バイト(1MB)の場合にMiB単位で返却されること | E-16, E-18, E-19 | ○ |
| C-08 | 1073741824バイト(1GB)の場合にGiB単位で返却されること | E-16, E-18, E-19 | ○ |
| C-09 | 1バイトの場合に"1 B"が返却されること | E-17 | ○ |
| C-10 | 1025バイトの場合に正しいkiB表記が返却されること | E-18, E-19 | ○ |
| C-11 | 1048575バイト(1MB-1)の場合にkiB単位で返却されること | E-18, E-19 | ○ |
| C-12 | 大きな値(TB相当)の場合にTiB単位で返却されること | E-16, E-18, E-19 | ○ |
| C-13 | int型の整数値を渡した場合に正しく動作すること | E-15 | ○ |
| C-14 | long型の整数値を渡した場合に正しく動作すること | E-15 | ○ |
| C-15 | int型最大値の場合に正しいサイズが返却されること | E-15, E-18 | ○ |
| C-16 | prefixesの全単位が正しく適用されること | E-16, E-19 | ○ |
| C-17 | 有効なURLからファイルが正常にダウンロードされること | E-02, E-03 | △ |
| C-18 | ダウンロード中に進捗ログが1秒ごとに通知されること | E-04, E-10, E-14 | ○ |
| C-19 | 進捗ログにタイトルとhumanSize形式のサイズが含まれること | E-10, E-14 | ○ |
| C-20 | 存在しないURLを指定した場合に例外がスローされること | E-06, E-07 | ○ |
| C-21 | 書き込み先パスが無効な場合にエラーとなること | E-03 | ○ |
| C-22 | 空文字列のURLが渡された場合にエラーとなること | E-06, E-07 | ○ |
| C-23 | ダウンロード完了後にファイルが正しくクローズされること | E-03 | ○ |
| C-24 | 0バイトのレスポンスの場合に空ファイルが作成されること | E-03, E-05 | ○ |
| C-25 | Fiber.yieldが進捗通知時に呼び出されること | E-11, E-14 | △ |
| C-26 | Windows環境でWinINet APIが使用されること | E-05 | △ |
| C-27 | 非Windows環境でrequestsライブラリが使用されること | E-12, E-13 | △ |
| C-28 | Windows環境でContent-Lengthヘッダが取得できた場合に進捗率が表示されること | E-08, E-10 | ○ |
| C-29 | Windows環境でContent-Lengthヘッダが取得できない場合に"???"が表示されること | E-10 | ○ |
| C-30 | Windows環境でInternetOpenA失敗時にenforceで例外がスローされること | E-06 | ○ |
| C-31 | Windows環境でInternetOpenUrlA失敗時にenforceで例外がスローされること | E-07 | ○ |
| C-32 | Windows環境でInternetReadFile失敗時に例外がスローされること | E-09 | ○ |

## 4) 不足情報（Unknown / Missing）
- C-17: downloadFileManualの正常系統合テストは、実際のネットワークI/OとファイルI/Oの両方が必要であり、ソースコードの静的解析だけでは実行時の動作を完全に保証できない
  - 候補：モックHTTPサーバーを用いた統合テスト / WinINet APIのモック / requestsライブラリのモック
- C-25: Fiber.yieldの呼び出し確認は、Fiberコンテキスト内での実行が前提であり、テスト環境でのFiber構築が必要
  - 候補：Fiberラッパーを用いたテストハーネス / yield呼び出しのカウンター挿入
- C-26: Windows版のWinINet API使用はversion(Windows)コンパイル条件に依存し、非Windows環境ではテスト不可
  - 候補：Windows CI環境でのクロスプラットフォームテスト / 条件付きコンパイルテスト
- C-27: 非Windows版のrequestsライブラリはDUBの外部依存であり、ライブラリの可用性に依存
  - 候補：DUBパッケージマネージャの依存確認 / requestsライブラリのモック

## 5) リスクフラグ（レビュー観点）
- **リスク2（高）**: downloadFileManual関数はネットワークI/O、ファイルI/O、Windows API呼び出しを含むため、単体テストとしてはモックの設計が重要。実際のネットワーク依存のテストは統合テストとして分離すべき
- **リスク1（中）**: humanSize関数のlog2ベースの指数計算において、浮動小数点精度の問題が発生する可能性がある（特に大きな値や境界値付近）
- **リスク1（中）**: version(Windows)によるコンパイル時分岐により、プラットフォーム固有のバグが検出しにくい
- **リスク0（低）**: InteractiveDownload構造体は単純なPODであり、テスト漏れのリスクは低い

## 6) レビュアーチェックリスト（最小）
- [ ] humanSize関数の期待値が正しいか（特にlog2(bytes)/8の計算結果と"%.1f"フォーマットの精度）
- [ ] downloadFileManualのテストケースがモック/スタブの利用を前提としているか確認
- [ ] Windows固有テスト（C-26, C-28〜C-32）のテスト環境要件が明確か
- [ ] Fiber.yield関連テスト（C-25）のテストハーネス設計が妥当か
- [ ] 異常系テスト（C-20〜C-22, C-30〜C-32）の例外メッセージがソースコードと一致しているか
- [ ] humanSize関数の境界値テスト（C-03〜C-05, C-09〜C-11）の期待値が計算上正しいか
