---
generated_at: 2026-02-22 12:00:00
metrics:
  claims_total: 70
  claims_with_evidence: 62
  claims_without_evidence: 8
confidence_derived: 0.89
---

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

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.89**
  - 根拠あり：62 / 70、根拠なし：8
- 優先レビュー（高）
  1. **UAT-019 Tab補完動作**: 実際のTab補完候補の出力形式はターミナル環境依存のため要実機確認
  2. **UAT-022 構文ハイライト**: 色分け表示の具体的な配色はターミナル設定依存のため要確認
  3. **UAT-035 クロスコンパイル**: ターゲット環境固有のツールチェーン要件は環境依存
  4. **UAT-062 MRB_NO_STDIOビルド**: 最小構成の動作範囲は要検証
  5. **UAT-063 MRB_NO_FLOATビルド**: 浮動小数点なし環境での動作範囲は要検証
  6. **UAT-065 ソケット通信**: ネットワーク環境依存の動作は要実機確認
  7. **UAT-064 UTF-8文字列長**: MRB_UTF8_STRING有効時の文字数カウント仕様は要確認
  8. **UAT-070 E2E統合テスト**: 全フェーズの連携は個別テスト通過後に統合確認が必要

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

- E-01: `mrbgems/mruby-bin-mruby/tools/mruby/mruby.c` — mrubyコマンドの実装（オプション解析、実行ロジック、エラー処理）
- E-02: `mrbgems/mruby-bin-mrbc/tools/mrbc/mrbc.c` — mrbcコマンドの実装（コンパイルオプション、出力形式）
- E-03: `mrbgems/mruby-bin-mirb/tools/mirb/mirb.c` — mirbの実装（REPLループ、オプション）
- E-04: `mrbgems/mruby-bin-mirb/tools/mirb/mirb_completion.c` — Tab補完機能の実装
- E-05: `mrbgems/mruby-bin-mirb/tools/mirb/mirb_editor.c` — マルチラインエディタ実装
- E-06: `mrbgems/mruby-bin-mirb/tools/mirb/mirb_highlight.c` — 構文ハイライト実装
- E-07: `mrbgems/mruby-bin-mirb/tools/mirb/mirb_history.c` — 履歴管理実装
- E-08: `mrbgems/mruby-bin-debugger/tools/mrdb/mrdb.c` — mrdbデバッガ本体
- E-09: `mrbgems/mruby-bin-debugger/tools/mrdb/cmdbreak.c` — ブレークポイント管理
- E-10: `mrbgems/mruby-bin-debugger/tools/mrdb/cmdrun.c` — 実行制御コマンド
- E-11: `mrbgems/mruby-bin-debugger/tools/mrdb/cmdprint.c` — 値表示コマンド
- E-12: `mrbgems/mruby-bin-strip/tools/mruby-strip/mruby_strip.c` — mruby-stripの実装
- E-13: `Rakefile` — ビルドシステムのエントリポイント
- E-14: `build_config/default.rb` — デフォルトビルド設定
- E-15: `build_config/minimal.rb` — 最小構成ビルド設定
- E-16: `build_config/cross-mingw.rb` — クロスコンパイル設定例
- E-17: `examples/mrbgems/ruby_extension_example/` — Ruby拡張gemの例
- E-18: `examples/mrbgems/c_extension_example/` — C拡張gemの例
- E-19: `examples/mrbgems/c_and_ruby_extension_example/` — ハイブリッドgemの例
- E-20: `mrbgems/mruby-io/README.md` — IO/File gem仕様
- E-21: `mrbgems/mruby-socket/README.md` — Socket gem仕様
- E-22: `mrbgems/mruby-dir/mrbgem.rake` — Dir gem定義
- E-23: `mrbgems/mruby-math/mrbgem.rake` — Math gem定義
- E-24: `mrbgems/mruby-time/mrbgem.rake` — Time gem定義
- E-25: `mrbgems/mruby-fiber/mrbgem.rake` — Fiber gem定義
- E-26: `mrbgems/mruby-eval/mrbgem.rake` — eval gem定義
- E-27: `mrbgems/mruby-pack/mrbgem.rake` — pack gem定義
- E-28: `mrbgems/mruby-struct/mrbgem.rake` — struct gem定義
- E-29: `mrbgems/mruby-metaprog/mrbgem.rake` — metaprog gem定義
- E-30: `mrbgems/mruby-random/mrbgem.rake` — random gem定義
- E-31: `mrbgems/mruby-benchmark/mrbgem.rake` — benchmark gem定義
- E-32: `mrbgems/mruby-encoding/mrbgem.rake` — encoding gem定義
- E-33: `mrbgems/mruby-error/mrbgem.rake` — error gem定義
- E-34: `mrbgems/mruby-bin-config/mrbgem.rake` — mruby-config gem定義
- E-35: `test/bintest.rb` — バイナリテストフレームワーク
- E-36: `test/assert.rb` — アサーションライブラリ
- E-37: `mrbgems/mruby-bin-mruby/bintest/mruby.rb` — mrubyバイナリテスト
- E-38: `mrbgems/mruby-bin-mrbc/bintest/mrbc.rb` — mrbcバイナリテスト
- E-39: `mrbgems/mruby-bin-mirb/bintest/mirb.rb` — mirbバイナリテスト
- E-40: `include/mruby.h` — C言語API定義
- E-41: `doc/guides/compile.md` — コンパイルガイド
- E-42: `doc/guides/mrbgems.md` — mrbgemsガイド
- E-43: `doc/guides/debugger.md` — デバッガガイド
- E-44: `doc/guides/mrbconf.md` — ビルド設定ガイド
- E-45: `SECURITY.md` — セキュリティポリシー
- E-46: `README.md` — プロジェクト概要

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01 | UAT-001: mrubyコマンドでRubyスクリプトを直接実行できる | E-01, E-37 | ○ |
| C-02 | UAT-002: コマンドライン引数をARGV経由でスクリプトに渡せる | E-01, E-37 | ○ |
| C-03 | UAT-003: -eオプションでインラインコードを実行できる | E-01, E-37 | ○ |
| C-04 | UAT-004: -cオプションで構文チェックのみ実行できる | E-01, E-37 | ○ |
| C-05 | UAT-005: 構文エラー時にエラーメッセージが表示される | E-01, E-37 | ○ |
| C-06 | UAT-006: -rオプションでライブラリを事前読み込みできる | E-01, E-37 | ○ |
| C-07 | UAT-007: --versionでバージョン情報が表示される | E-01 | ○ |
| C-08 | UAT-008: -dオプションで$DEBUGがtrueに設定される | E-01 | ○ |
| C-09 | UAT-009: 存在しないファイル指定時にエラーメッセージが表示される | E-01 | ○ |
| C-10 | UAT-010: 実行時例外のバックトレースが表示される | E-01 | ○ |
| C-11 | UAT-011: mrbcでRubyソースをバイトコードにコンパイルできる | E-02, E-38 | ○ |
| C-12 | UAT-012: -oオプションで出力ファイル名を指定できる | E-02, E-38 | ○ |
| C-13 | UAT-013: 複数ファイルを1つにコンパイルできる | E-02 | ○ |
| C-14 | UAT-014: -BオプションでC言語ソースを生成できる | E-02, E-38 | ○ |
| C-15 | UAT-015: -gオプションでデバッグ情報付きバイトコードを生成できる | E-02 | ○ |
| C-16 | UAT-016: コンパイル済み.mrbファイルを-bオプションで実行できる | E-01, E-02, E-37 | ○ |
| C-17 | UAT-017: mirbを起動して対話的にRubyコードを実行できる | E-03, E-39 | ○ |
| C-18 | UAT-018: mirbで複数行のコードを入力できる | E-03, E-05 | ○ |
| C-19 | UAT-019: mirbでTab補完が動作する | E-04 | △ |
| C-20 | UAT-020: mirb実行時エラー後もREPLが継続する | E-03, E-39 | ○ |
| C-21 | UAT-021: quit/exitでmirbを正常終了できる | E-03 | ○ |
| C-22 | UAT-022: mirbで構文ハイライトが表示される | E-06 | △ |
| C-23 | UAT-023: Up/Downキーでコマンド履歴を呼び出せる | E-07 | ○ |
| C-24 | UAT-024: mrdbでスクリプトをデバッグ実行できる | E-08, E-43 | ○ |
| C-25 | UAT-025: mrdbでブレークポイントを設定して停止できる | E-09, E-43 | ○ |
| C-26 | UAT-026: mrdbでステップ実行と変数確認ができる | E-10, E-11, E-43 | ○ |
| C-27 | UAT-027: continueコマンドで次のブレークポイントまで実行継続できる | E-10, E-43 | ○ |
| C-28 | UAT-028: mruby-stripでデバッグ情報を削除しファイルサイズを削減できる | E-12 | ○ |
| C-29 | UAT-029: strip後のバイトコードが正常に実行できる | E-12, E-01 | ○ |
| C-30 | UAT-030: デフォルト設定でmrubyをビルドできる | E-13, E-14, E-41 | ○ |
| C-31 | UAT-031: rake testでテストスイートを実行できる | E-13, E-35, E-36 | ○ |
| C-32 | UAT-032: rake cleanでビルド成果物をクリーンアップできる | E-13 | ○ |
| C-33 | UAT-033: build_config.rbでカスタムビルド設定を構成できる | E-14, E-41, E-44 | ○ |
| C-34 | UAT-034: ツールチェーンを切り替えてビルドできる | E-14, E-41 | ○ |
| C-35 | UAT-035: クロスコンパイル設定でビルドできる | E-16, E-41 | △ |
| C-36 | UAT-036: 外部gemをGitHubリポジトリから追加できる | E-42, E-14 | ○ |
| C-37 | UAT-037: ローカルパスからgemを追加できる | E-42, E-14 | ○ |
| C-38 | UAT-038: gemboxで複数gemをまとめて追加できる | E-42, E-14 | ○ |
| C-39 | UAT-039: 新しいmrbgemを作成してビルドに統合できる | E-17, E-18, E-19, E-42 | ○ |
| C-40 | UAT-040: C拡張gemのメソッドをRubyから呼び出せる | E-18, E-40 | ○ |
| C-41 | UAT-041: 配列操作（Array）が正しく動作する | E-37 | ○ |
| C-42 | UAT-042: ハッシュ操作（Hash）が正しく動作する | E-37 | ○ |
| C-43 | UAT-043: 文字列操作（String）が正しく動作する | E-37 | ○ |
| C-44 | UAT-044: 数学関数（Math）が正しく動作する | E-23 | ○ |
| C-45 | UAT-045: Timeクラスが正しく動作する | E-24 | ○ |
| C-46 | UAT-046: ファイルの読み書きができる | E-20 | ○ |
| C-47 | UAT-047: ディレクトリ操作ができる | E-22 | ○ |
| C-48 | UAT-048: begin-rescue-endで例外を捕捉できる | E-33 | ○ |
| C-49 | UAT-049: カスタム例外クラスを定義して使用できる | E-33 | ○ |
| C-50 | UAT-050: Fiberを使った協調的マルチタスクが動作する | E-25 | ○ |
| C-51 | UAT-051: eval関数で動的にコードを評価できる | E-26 | ○ |
| C-52 | UAT-052: mrubyをC言語アプリケーションに組み込んで実行できる | E-40, E-41 | ○ |
| C-53 | UAT-053: 事前コンパイルしたバイトコードをC言語から実行できる | E-02, E-40 | ○ |
| C-54 | UAT-054: 不正オプション指定時に使用法が表示される | E-01 | ○ |
| C-55 | UAT-055: mrbc不正オプション指定時にエラーが表示される | E-02 | ○ |
| C-56 | UAT-056: -eオプションでコード未指定時にエラーが表示される | E-01, E-37 | ○ |
| C-57 | UAT-057: Benchmarkモジュールで処理時間を計測できる | E-31 | ○ |
| C-58 | UAT-058: Array#packとString#unpackでバイナリデータを扱える | E-27 | ○ |
| C-59 | UAT-059: Structクラスでデータ構造を定義・利用できる | E-28 | ○ |
| C-60 | UAT-060: define_methodで動的にメソッドを定義できる | E-29 | ○ |
| C-61 | UAT-061: mruby-configでビルド設定情報を確認できる | E-34 | ○ |
| C-62 | UAT-062: MRB_NO_STDIOで標準I/Oなしビルドができる | E-15, E-44 | △ |
| C-63 | UAT-063: MRB_NO_FLOATで浮動小数点なしビルドができる | E-44 | △ |
| C-64 | UAT-064: UTF-8文字列が正しく処理される | E-32 | △ |
| C-65 | UAT-065: TCPソケットでクライアント・サーバー通信ができる | E-21 | △ |
| C-66 | UAT-066: 乱数生成が正しく動作する | E-30 | ○ |
| C-67 | UAT-067: ピープホール最適化を無効にしてコンパイルできる | E-02 | ○ |
| C-68 | UAT-068: --lvarオプションでローカル変数情報も削除できる | E-12 | ○ |
| C-69 | UAT-069: -rオプションでmirbにライブラリを事前読み込みできる | E-03 | ○ |
| C-70 | UAT-070: 開発からデプロイまでの一連フローが完了する | **根拠なし** | △ |

## 4) 不足情報（Unknown / Missing）
- **Tab補完の出力形式（C-19）**: mirb_completion.cにロジックは存在するが、実際のターミナルでの表示形式・候補リストの具体的表示は環境依存
  - 候補：実機テスト / ターミナルエミュレータ別検証
- **構文ハイライトの配色（C-22）**: mirb_highlight.cに実装はあるが、具体的な色割り当てはターミナル背景色の自動検出に依存
  - 候補：各ターミナルでの目視確認
- **クロスコンパイルの完全性（C-35）**: 設定ファイルは存在するが、ターゲット環境での実行確認は環境依存
  - 候補：各ターゲットプラットフォームでの実機検証
- **MRB_NO_STDIO/MRB_NO_FLOATの動作範囲（C-62, C-63）**: 設定ガイドに記載はあるが、具体的な機能制限範囲の詳細は要検証
  - 候補：各設定でのビルド＋機能テスト
- **UTF-8文字列長カウント（C-64）**: mruby-encoding gemの存在は確認済みだが、String#lengthの具体的動作仕様は要確認
  - 候補：mruby-encoding gemのソースコード / テストファイル
- **ソケット通信（C-65）**: mruby-socket gemのREADMEで仕様は確認済みだが、実際のネットワーク環境での動作は未検証
  - 候補：ローカル環境でのTCPサーバー・クライアントテスト
- **E2E統合フロー（C-70）**: 各フェーズの個別テストケースの根拠はあるが、全フェーズ連携の統合テスト根拠は不在
  - 候補：全ツールチェーンを使った一連テストの実施

## 5) リスクフラグ（レビュー観点）
- 0: 低リスク — CLIツール単体の基本機能テスト（UAT-001〜016, 041〜060）：ソースコードとbintestで十分な根拠
- 1: 中リスク — 環境依存テスト（UAT-019, 022, 035, 062〜065）：ターミナル・プラットフォーム環境による差異の可能性
- 1: 中リスク — ビルドシステムテスト（UAT-030〜038）：ビルド環境（Ruby版、コンパイラ版）による差異の可能性
- 2: 高リスク — E2E統合テスト（UAT-070）：全フェーズ連携の検証が不十分。個別フェーズのテスト通過が前提条件

## 6) レビュアーチェックリスト（最小）
- [ ] UAT-001〜010: mrubyコマンドの全オプションが実機で動作するか確認
- [ ] UAT-011〜016: mrbcの出力形式（.mrb, .c）が仕様通りか確認
- [ ] UAT-017〜023: mirb対話機能（マルチライン、Tab補完、ハイライト）の実機確認
- [ ] UAT-024〜027: mrdbデバッガコマンドの動作確認（MRB_USE_DEBUG_HOOK有効前提）
- [ ] UAT-030〜038: ビルドシステムがCI/CD環境でも再現可能か確認
- [ ] UAT-039〜040: gem開発フローのテンプレート準拠を確認
- [ ] UAT-052〜053: C言語組み込みワークフローのコンパイル・リンク手順を確認
- [ ] UAT-062〜063: 最小構成ビルドの機能制限範囲を確認
- [ ] UAT-070: E2E統合テストの全フェーズ連携を実機で通し確認
