---
generated_at: 2026-02-22 12:00:00
metrics:
  claims_total: 100
  claims_with_evidence: 95
  claims_without_evidence: 5
confidence_derived: 0.95
---

# 根拠レポート：mruby-bin-mrbc 単体テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.95**
  - 根拠あり：95 / 100、根拠なし：5
- 優先レビュー（高）
  1. **C-052 (UT-MRC-052)**: 不正なCシンボル名の具体的な判定ロジックはmrb_dump_irep_cfunc内部にあり、mrbc.c自体には含まれないため根拠不足
  2. **C-069 (UT-MRC-069)**: dump_fileがエラーを返す具体的条件はダンプ関数の内部実装に依存するため根拠不足
  3. **C-093 (UT-MRC-093)**: ビットフィールドの独立性はC言語仕様レベルの検証であり、mrbc.c固有のテスト根拠が薄い
  4. **C-094 (UT-MRC-094)**: flagsの3ビット上限値はコード上のビットフィールド定義から推定しているが、実際に全フラグ(7)が格納される保証の検証は実行時テストが必要
  5. **C-100 (UT-MRC-100)**: 改行なしファイルの動作はbintestから推定しているが、コンパイラ内部の挙動に依存

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

- E-01: `mrbgems/mruby-bin-mrbc/tools/mrbc/mrbc.c` - メインソースファイル（363行）。usage, get_outfilename, parse_args, cleanup, partial_hook, load_file, dump_file, main, mrb_init_mrblib, mrb_init_mrbgems を定義
- E-02: `mrbgems/mruby-bin-mrbc/tools/mrbc/stub.c` - リンクエラー回避用スタブ（105行）。complex, rational, set, task関連のスタブ関数を定義
- E-03: `mrbgems/mruby-bin-mrbc/mrbgem.rake` - gemビルド定義（16行）
- E-04: `mrbgems/mruby-bin-mrbc/bintest/mrbc.rb` - 既存の結合テスト（31行）。複数ファイルコンパイル、void引数パース、埋め込みドキュメントエラーの3テストケース
- E-05: `mrbgems/mruby-bin-mrbc/README.md` - 使用方法ドキュメント（59行）。コマンドラインオプション一覧と使用例
- E-06: `include/mruby/dump.h` - ダンプ関連定数定義。MRB_DUMP_DEBUG_INFO=1, MRB_DUMP_STATIC=2, MRB_DUMP_NO_LVAR=4, MRB_DUMP_OK=0, MRB_DUMP_INVALID_ARGUMENT=-6

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-001 | usage関数がヘルプメッセージを正しく出力する | E-01 (L32-57) | ○ |
| C-002 | get_outfilenameが拡張子ありファイルの拡張子を置換する | E-01 (L59-85) | ○ |
| C-003 | get_outfilenameが拡張子なしファイルに拡張子を付加する | E-01 (L59-85) | ○ |
| C-004 | get_outfilenameがC言語出力用拡張子に置換する | E-01 (L59-85, L14-15) | ○ |
| C-005 | get_outfilenameが空拡張子でファイル名をそのまま返す | E-01 (L68, L75-77) | ○ |
| C-006 | get_outfilenameが複数ドットのファイル名で最後のドット以降を置換する | E-01 (L70: strrchr) | ○ |
| C-007 | get_outfilenameがドットのみのファイル名を処理する | E-01 (L59-85) | ○ |
| C-008 | -cオプションでcheck_syntaxがTRUEになる | E-01 (L131-133) | ○ |
| C-009 | -oオプション（スペース区切り）で出力ファイルが設定される | E-01 (L101-113) | ○ |
| C-010 | -oオプション（直結）で出力ファイルが設定される | E-01 (L101-113) | ○ |
| C-011 | -Bオプション（スペース区切り）でinitnameが設定される | E-01 (L118-129) | ○ |
| C-012 | -Bオプション（直結）でinitnameが設定される | E-01 (L118-129) | ○ |
| C-013 | -Sオプションでdump_structがTRUEになる | E-01 (L115-116) | ○ |
| C-014 | -vオプションでverboseがTRUEになる | E-01 (L134-137) | ○ |
| C-015 | -gオプションでMRB_DUMP_DEBUG_INFOフラグが設定される | E-01 (L138-139), E-06 | ○ |
| C-016 | -sオプションでMRB_DUMP_STATICフラグが設定される | E-01 (L141-142), E-06 | ○ |
| C-017 | --remove-lvオプションでMRB_DUMP_NO_LVARフラグが設定される | E-01 (L166-168), E-06 | ○ |
| C-018 | --no-ext-opsオプションでno_ext_opsがTRUEになる | E-01 (L170-172) | ○ |
| C-019 | --no-optimizeオプションでno_optimizeがTRUEになる | E-01 (L173-176) | ○ |
| C-020 | --verboseオプションでverboseがTRUEになる | E-01 (L158-160) | ○ |
| C-021 | 複数オプションが同時に正しく解析される | E-01 (L98-187) | ○ |
| C-022 | オプションなしでファイル名インデックスが返される | E-01 (L182-186) | ○ |
| C-023 | -e/-Eオプションが非推奨メッセージを出力する | E-01 (L144-146) | ○ |
| C-024 | -hオプションで-1が返される | E-01 (L148-149) | ○ |
| C-025 | -oオプション重複で-1が返される | E-01 (L102-106) | ○ |
| C-026 | -Bオプションで空シンボル名の場合に-1が返される | E-01 (L126-129) | ○ |
| C-027 | 不明なオプションでそのインデックスが返される | E-01 (L179-180) | ○ |
| C-028 | 不明な長形式オプションで-1が返される | E-01 (L178) | ○ |
| C-029 | 引数がプログラム名のみでargcが返される | E-01 (L98, L187) | ○ |
| C-030 | argsが初期化されて設定される | E-01 (L90-96) | ○ |
| C-031 | cleanup関数がリソースを解放する | E-01 (L190-195) | ○ |
| C-032 | cleanup関数がoutfile=NULLでもクラッシュしない | E-01 (L193) | ○ |
| C-033 | partial_hookが次のファイルを正常に開く | E-01 (L197-216) | ○ |
| C-034 | partial_hookが既存ファイルをクローズしてから次を開く | E-01 (L203) | ○ |
| C-035 | partial_hookがファイル終端で-1を返す | E-01 (L204-207) | ○ |
| C-036 | partial_hookがファイルオープン失敗で-1を返す | E-01 (L210-213) | ○ |
| C-037 | load_fileがRubyファイルを正常にパースする | E-01 (L218-255) | ○ |
| C-038 | load_fileがstdin(-)を入力として使用できる | E-01 (L231-233) | ○ |
| C-039 | load_fileがverboseモードでdump_result=TRUEにする | E-01 (L226-227) | ○ |
| C-040 | load_fileがno_exec=TRUEに設定する | E-01 (L228) | ○ |
| C-041 | load_fileがno_ext_opsをコンテキストに反映する | E-01 (L229) | ○ |
| C-042 | load_fileがno_optimizeをコンテキストに反映する | E-01 (L230) | ○ |
| C-043 | load_fileが複数ファイル時にpartial_hookを設定する | E-01 (L243-245) | ○ |
| C-044 | load_fileが単一ファイル時にファイルをクローズする | E-01 (L249) | ○ |
| C-045 | load_fileが存在しないファイルでnilを返す | E-01 (L236-239) | ○ |
| C-046 | load_fileが構文エラーでnilを返す | E-01 (L251-253) | ○ |
| C-047 | load_fileがコンテキストを解放する | E-01 (L250) | ○ |
| C-048 | dump_fileがinitname無しでバイナリ形式出力する | E-01 (L274-275) | ○ |
| C-049 | dump_fileがinitname有り/dump_struct無しでCfunc形式出力する | E-01 (L267-268) | ○ |
| C-050 | dump_fileがinitname有り/dump_struct有りでC構造体形式出力する | E-01 (L264-265) | ○ |
| C-051 | dump_fileがflagsを正しくダンプ関数に渡す | E-01 (L265, L268, L275) | ○ |
| C-052 | dump_fileが不正なCシンボル名でINVALID_ARGUMENTを返す | E-01 (L270-271), E-06 | △ |
| C-053 | dump_fileがダンプエラー時にstderrにメッセージ出力する | E-01 (L277-278) | ○ |
| C-054 | mainが単一ファイルコンパイル成功でEXIT_SUCCESSを返す | E-01 (L283-349) | ○ |
| C-055 | mainが-oで出力ファイル指定コンパイルできる | E-01 (L330-337) | ○ |
| C-056 | mainが-cで構文チェックのみ行いEXIT_SUCCESSを返す | E-01 (L321-328) | ○ |
| C-057 | mainが-Bで.cファイルを生成する | E-01 (L305-307), E-05 | ○ |
| C-058 | mainが複数ファイルを-oで結合コンパイルする | E-01 (L306-313), E-04 | ○ |
| C-059 | mainが出力先「-」でstdoutに出力する | E-01 (L331-332) | ○ |
| C-060 | mainがmrb_open_core=NULLでEXIT_FAILUREを返す | E-01 (L290-293) | ○ |
| C-061 | mainが引数解析失敗でusage表示しEXIT_FAILUREを返す | E-01 (L296-300) | ○ |
| C-062 | mainがファイル引数なしでEXIT_FAILUREを返す | E-01 (L301-304) | ○ |
| C-063 | mainが複数ファイル/-o未指定でEXIT_FAILUREを返す | E-01 (L308-312) | ○ |
| C-064 | mainが存在しないファイルでEXIT_FAILUREを返す | E-01 (L317-320) | ○ |
| C-065 | mainが書き込み不可ファイルでEXIT_FAILUREを返す | E-01 (L334-337) | ○ |
| C-066 | mainが構文エラーファイルでEXIT_FAILUREを返す | E-01 (L317-320), E-04 (L23-30) | ○ |
| C-067 | mainがinitname指定時に.c拡張子で出力ファイルを生成する | E-01 (L307: C_EXT), E-01 (L15) | ○ |
| C-068 | mainがinitname未指定時に.mrb拡張子で出力ファイルを生成する | E-01 (L307: RITEBIN_EXT), E-01 (L14) | ○ |
| C-069 | mainがdump_fileエラー時にEXIT_FAILUREを返す | E-01 (L346-348) | △ |
| C-070 | mrb_init_mrblibスタブが何も行わず正常終了する | E-01 (L353-355) | ○ |
| C-071 | mrb_init_mrbgemsスタブが何も行わず正常終了する | E-01 (L357-362) | ○ |
| C-072 | mrb_complex_newスタブがnil返す | E-02 (L9-12) | ○ |
| C-073 | mrb_complex_addスタブがnil返す | E-02 (L13-16) | ○ |
| C-074 | mrb_complex_subスタブがnil返す | E-02 (L17-20) | ○ |
| C-075 | mrb_complex_mulスタブがnil返す | E-02 (L21-24) | ○ |
| C-076 | mrb_complex_divスタブがnil返す | E-02 (L25-28) | ○ |
| C-077 | mrb_complex_to_iスタブがnil返す | E-02 (L29-32) | ○ |
| C-078 | mrb_complex_to_fスタブがnil返す | E-02 (L33-36) | ○ |
| C-079 | mrb_complex_copyスタブが正常終了する | E-02 (L37-39) | ○ |
| C-080 | mrb_rational_newスタブがnil返す | E-02 (L43-46) | ○ |
| C-081 | mrb_rational_addスタブがnil返す | E-02 (L47-50) | ○ |
| C-082 | mrb_rational_subスタブがnil返す | E-02 (L51-54) | ○ |
| C-083 | mrb_rational_mulスタブがnil返す | E-02 (L55-58) | ○ |
| C-084 | mrb_rational_divスタブがnil返す | E-02 (L59-62) | ○ |
| C-085 | mrb_rational_to_iスタブがnil返す | E-02 (L63-66) | ○ |
| C-086 | mrb_rational_to_fスタブがnil返す | E-02 (L67-70) | ○ |
| C-087 | mrb_as_rationalスタブがnil返す | E-02 (L71-75) | ○ |
| C-088 | mrb_rational_copyスタブが正常終了する | E-02 (L76-78) | ○ |
| C-089 | mrb_rational_markスタブが2を返す | E-02 (L79-82) | ○ |
| C-090 | mrb_gc_mark_setスタブが0を返す | E-02 (L86-90) | ○ |
| C-091 | mrb_gc_free_setスタブが正常終了する | E-02 (L92-95) | ○ |
| C-092 | mrb_task_mark_allスタブが正常終了する | E-02 (L99-103) | ○ |
| C-093 | mrbc_args構造体のビットフィールドが独立して動作する | E-01 (L17-30) | △ |
| C-094 | flagsの3ビットフィールドに全フラグ(7)が格納できる | E-01 (L29), E-06 | △ |
| C-095 | -gと-sの組み合わせでflags=3になる | E-01 (L138-142), E-06 | ○ |
| C-096 | 全フラグ同時指定でflags=7になる | E-01 (L138-142, L166-168), E-06 | ○ |
| C-097 | -v二重指定でmrb_show_versionが一度だけ呼ばれる | E-01 (L135) | ○ |
| C-098 | -cオプションで出力ファイルが生成されない | E-01 (L321-328) | ○ |
| C-099 | -c + -o併用で構文チェック後に正常終了する | E-01 (L321-328) | ○ |
| C-100 | 改行なしRubyファイルが正常コンパイルされる | E-04 (L3-12) | △ |

## 4) 不足情報（Unknown / Missing）
- **C-052**: mrb_dump_irep_cfuncおよびmrb_dump_irep_cstructの内部実装が不明。不正なCシンボル名の具体的な判定基準（英数字・アンダースコアのみ許可等）はダンプ関数内部に依存している
  - 候補：`src/dump.c` / `include/mruby/dump.h` / C言語識別子仕様
- **C-069**: dump_fileがMRB_DUMP_OK以外を返す条件はダンプ関数の内部実装依存。irepデータが不正な場合等の具体的条件が特定できない
  - 候補：`src/dump.c` / ダンプ関数のエラーハンドリング仕様
- **C-093, C-094**: ビットフィールドの動作はC言語仕様に依存。コンパイラ実装による挙動差（パディング等）はコードからは確認不可
  - 候補：C99/C11仕様書 / コンパイラ実装ドキュメント
- **C-100**: 改行なしファイルのコンパイル成功はbintestから動作が確認されているが、mrbc.cの単体テストとしての根拠はコンパイラ（mruby-compiler）の内部動作に依存
  - 候補：`mrbgems/mruby-compiler/core/parse.y` / bintestの実行結果

## 5) リスクフラグ（レビュー観点）
- **0 (低リスク)**: スタブ関数群（C-070〜C-092）。コードが単純で、返り値も自明
- **0 (低リスク)**: parse_argsの各オプション解析（C-008〜C-023）。コードから直接確認可能
- **1 (中リスク)**: get_outfilenameの境界値テスト（C-006, C-007）。strrchrの挙動に依存するが、コードから確認可能
- **1 (中リスク)**: ビットフィールドの動作検証（C-093, C-094）。C言語仕様レベルの検証が必要
- **1 (中リスク)**: dump_fileのエラーハンドリング（C-052, C-053, C-069）。外部関数の返り値に依存
- **0 (低リスク)**: mainのフロー制御テスト（C-054〜C-068）。コードのif/else分岐から直接確認可能

## 6) レビュアーチェックリスト（最小）
- [ ] get_outfilename関数のメモリ管理（mrb_mallocの返り値チェック、バッファサイズ計算）が正しいか確認
- [ ] parse_args関数で-Bオプションの空文字列チェック（L126）が正しく動作するか確認
- [ ] partial_hook関数でp->fがNULLの場合のfclose呼び出し（L203）が安全か確認
- [ ] dump_file関数でMRB_DUMP_INVALID_ARGUMENT以外のエラーコードの取り扱いが適切か確認
- [ ] flagsのビットフィールド（3ビット）がMRB_DUMP_DEBUG_INFO|MRB_DUMP_STATIC|MRB_DUMP_NO_LVAR（=7）を格納するのに十分か確認
- [ ] スタブ関数群（stub.c）のコンパイル条件（#ifdef）が正しいか確認
- [ ] 複数ファイルコンパイル時のpartial_hookとload_fileの連携が正しくテストされるか確認
