---
generated_at: 2026-02-20 12:00:00
metrics:
  claims_total: 221
  claims_with_evidence: 210
  claims_without_evidence: 11
confidence_derived: 0.95
---

# 根拠レポート：workspace-d-core 単体テストケース一覧

## 本レポートについて

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

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

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

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

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

---

## 1) サマリー（まず見るところ）
- 総合信頼度（derived）：**0.95**
  - 根拠あり：210 / 221、根拠なし：11
- 優先レビュー（高）
  1. **getConfigPath関連テスト（C-35, C-36）**：standardPaths依存のため実行環境による動作差異の可能性
  2. **statFile関連テスト（C-177〜C-179）**：OS依存のシステムコールを使用しており、プラットフォーム固有動作
  3. **IndexCache save/load関連テスト（C-182〜C-187）**：ファイルI/O依存であり、実環境での検証が必要
  4. **Future.getYieldImpl関連**：Fiberコンテキストが必要なため、テストケースとして記載していない
  5. **DefaultComponentFactory/register関連**：テンプレートメタプログラミングとUDAに依存する複雑なロジック

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

- E-01: `workspace-d/source/workspaced/api.d` - API定義、CodeReplacement、checkVersion、extractPathSemver等
- E-02: `workspace-d/source/workspaced/backend.d` - Configuration、WorkspaceD、WorkspaceD.Instance等
- E-03: `workspace-d/source/workspaced/coms.d` - public importのみ（テスト対象なし）
- E-04: `workspace-d/source/workspaced/dparseext.d` - D言語パーサ拡張、トークン操作、AST操作等
- E-05: `workspace-d/source/workspaced/future.d` - Future非同期処理クラス、whenAllDone等
- E-06: `workspace-d/source/workspaced/helpers.d` - ユーティリティ関数、binarySearch、insertSorted等
- E-07: `workspace-d/source/workspaced/index_format.d` - IndexCache、DefinitionElement、シリアライズ等
- E-08: `workspace-d/source/workspaced/api.d` 内のunittestブロック（L457-464, L532-544） - orDubFetchFallback、extractPathSemverの既存テスト
- E-09: `workspace-d/source/workspaced/dparseext.d` 内のunittestブロック（L193-235, L397-416） - tokenIndexAtByteIndex、getIfElseの既存テスト
- E-10: `workspace-d/source/workspaced/helpers.d` 内のunittestブロック（L362-390） - binarySearch、insertSortedの既存テスト

## 3) Claims と根拠の対応（レビューの主戦場）
| Claim ID | 主張 | Evidence | 状態 |
|---|---|---|---|
| C-01〜C-03 | component関数・traceTaskLogの基本動作 | E-01 (L70-73, L83-89) | ○ |
| C-04〜C-10 | CodeReplacement.applyの正常系・境界値・異常系 | E-01 (L328-351) | ○ |
| C-11〜C-14 | checkVersion(string)の正常系・異常系・境界値 | E-01 (L377-386) | ○ |
| C-15〜C-18 | checkVersion(int[3])の正常系 | E-01 (L388-397) | ○ |
| C-19〜C-22 | isLocallyCompiledDCDの各ケース | E-01 (L424-429) | ○ |
| C-23〜C-27 | orDubFetchFallbackの各ケース | E-01 (L432-455), E-08 | ○ |
| C-28〜C-34 | extractPathSemverの各ケース | E-01 (L468-530), E-08 | ○ |
| C-35〜C-36 | getConfigPathの正常系・異常系 | E-01 (L362-374) | △ |
| C-37〜C-46 | Configuration.get/set/loadBaseの各ケース | E-02 (L105-166) | ○ |
| C-47〜C-51 | Configuration.toValueT/toTypeの各ケース | E-02 (L22-95) | ○ |
| C-52〜C-53 | WorkspaceD.this/shutdownの基本動作 | E-02 (L344-366) | ○ |
| C-54〜C-56 | WorkspaceD.getInstanceの各ケース | E-02 (L368-375) | ○ |
| C-57〜C-60 | WorkspaceD.getBestInstanceの各ケース | E-02 (L442-462) | ○ |
| C-61〜C-63 | WorkspaceD.addInstanceの各ケース | E-02 (L645-657) | ○ |
| C-64〜C-65 | WorkspaceD.removeInstanceの各ケース | E-02 (L659-672) | ○ |
| C-66〜C-67 | WorkspaceD.attachの各ケース | E-02 (L686-703) | ○ |
| C-68〜C-69 | WorkspaceD.gthreadsの各ケース | E-02 (L705-715) | ○ |
| C-70〜C-71 | WorkspaceD.checkHasGlobalComponentの各ケース | E-02 (L470-476) | ○ |
| C-72〜C-83 | WorkspaceD.Instance各メソッドの各ケース | E-02 (L202-326) | ○ |
| C-84〜C-87 | makeString/astToStringの各ケース | E-04 (L14-30) | ○ |
| C-88〜C-96 | tokenText/textLength/isSomeString/isLikeIdentifierの各ケース | E-04 (L60-99) | ○ |
| C-97〜C-102 | tokenIndexAtByteIndex/tokenIndexAtPositionの各ケース | E-04 (L121-190), E-09 | ○ |
| C-103〜C-104 | evaluateExpressionStringの各ケース | E-04 (L253-337) | ○ |
| C-105〜C-109 | substrの各ケース | E-04 (L418-436) | ○ |
| C-110〜C-112 | getIfElseの各ケース | E-04 (L376-395), E-09 | ○ |
| C-113〜C-127 | Future各メソッドの各ケース | E-05 (L9-199) | ○ |
| C-128〜C-131 | whenAllDone/createの各ケース | E-05 (L201-238) | ○ |
| C-132〜C-135 | determineIndentationの各ケース | E-06 (L14-28) | ○ |
| C-136〜C-141 | stripLineEndingLengthの各ケース | E-06 (L30-46) | ○ |
| C-142〜C-145 | isIdentifierCharの各ケース | E-06 (L48-51) | ○ |
| C-146〜C-149 | indexOfKeywordの各ケース | E-06 (L53-72) | ○ |
| C-150〜C-151 | endsWithKeywordの各ケース | E-06 (L74-78) | ○ |
| C-152〜C-153 | getIdentifierAtの各ケース | E-06 (L80-90) | ○ |
| C-154〜C-155 | isDIdentifierSeparatingCharの各ケース | E-06 (L95-99) | ○ |
| C-156〜C-159 | isValidDIdentifierの各ケース | E-06 (L101-107) | ○ |
| C-160〜C-164 | existsAndIsFile/existsAndIsDirの各ケース | E-06 (L251-265) | ○ |
| C-165〜C-170 | binarySearchの各ケース | E-06 (L326-360), E-10 | ○ |
| C-171〜C-176 | insertSorted/insertSortedNoDupの各ケース | E-06 (L299-322), E-10 | ○ |
| C-177〜C-179 | statFileの各ケース | E-06 (L198-249) | △ |
| C-180 | IndexCache.defaultFilenameの動作 | E-07 (L23-47) | △ |
| C-181〜C-184 | IndexCache.loadの各ケース | E-07 (L103-206) | ○ |
| C-185〜C-187 | IndexCache.saveの各ケース | E-07 (L208-249) | △ |
| C-188〜C-191 | IndexCache.setFileの各ケース | E-07 (L289-314) | ○ |
| C-192〜C-195 | IndexCache.getIfActiveの各ケース | E-07 (L325-361) | ○ |
| C-196 | IndexCache.indexCountの動作 | E-07 (L98-101) | ○ |
| C-197〜C-198 | IndexCache.getFileMetaの各ケース | E-07 (L316-323) | ○ |
| C-199〜C-200 | IndexCache.IndexedFile.opCast(bool)の各ケース | E-07 (L59-62) | ○ |
| C-201 | DefinitionElement.dupの動作 | E-07 (L386-400) | ○ |
| C-202〜C-205 | DefinitionElement.cmpTypeAndNameの各ケース | E-07 (L402-413) | ○ |
| C-206〜C-208 | DefinitionElement.isVerboseTypeの各ケース | E-07 (L447-452) | ○ |
| C-209〜C-212 | DefinitionElement.isConditionalの各ケース | E-07 (L483-486) | ○ |
| C-213〜C-216 | DefinitionElement.isImportableの各ケース | E-07 (L488-493) | ○ |
| C-217〜C-218 | DefinitionElement serialize/deserializeの各ケース | E-07 (L500-527) | ○ |
| C-219 | IndexedFile.moduleDefinitionの動作 | E-07 (L65-68) | ○ |
| C-220〜C-221 | IndexCache.opCast(bool)の各ケース | E-07 (L88-91) | ○ |

## 4) 不足情報（Unknown / Missing）
- **getConfigPath（C-35〜C-36）**：`standardpaths`パッケージの`standardPaths`関数に依存しており、テスト環境でのパス設定の詳細な挙動が不明。モック化が必要。
  - 候補：standardpathsパッケージのドキュメント / 環境変数設定の仕様書
- **statFile（C-177〜C-179）**：OS固有のシステムコール（Posix: stat, Windows: GetFileAttributesExW）を使用しており、プラットフォーム間の動作差異が確認不足。
  - 候補：POSIX stat仕様 / Windows API仕様 / クロスプラットフォームテスト結果
- **IndexCache.defaultFilename（C-180）**：キャッシュパスの決定ロジックが`standardpaths`パッケージに依存。
  - 候補：standardpathsパッケージのAPIリファレンス
- **IndexCache.save（C-185〜C-187）**：ファイルI/O操作の実際のバイナリフォーマット検証が必要。テスト実行時にはテンポラリファイルでの検証が推奨される。
  - 候補：バイナリフォーマット仕様書 / ファイルダンプ検証結果
- **Future.getYieldImpl**：Fiber コンテキストが必要なためテストケースに含めていない。テスト方法の検討が必要。
  - 候補：core.threadのFiberドキュメント / ファイバーテストフレームワーク
- **mixinテンプレート内メソッド（DefaultGlobalComponentWrapper, DefaultComponentWrapper）**：テンプレートMixinによりインスタンス化時にのみ存在するメソッドであり、具体的な利用クラスを通じたテストが必要。
  - 候補：各コンポーネント実装クラスを通じた統合テスト

## 5) リスクフラグ（レビュー観点）
- **リスク1（中）**: getConfigPath - 外部パッケージ（standardpaths）依存のためモック化なしではテスト困難
- **リスク1（中）**: statFile - OS依存のシステムコールを直接呼び出しており、クロスプラットフォーム動作の保証が必要
- **リスク1（中）**: IndexCache.save/load - バイナリフォーマットの前方/後方互換性が serializeVersion に依存
- **リスク0（低）**: coms.d - public importのみでありテスト対象が存在しない（テストケース除外は正当）
- **リスク0（低）**: mixinテンプレート - テンプレート単体でのテストは不可能であり、統合テストでのカバーが必要

## 6) レビュアーチェックリスト（最小）
- [ ] CodeReplacement.apply の全境界値テスト（C-04〜C-10）が実装漏れのない十分な網羅性を持つか確認
- [ ] checkVersion の2つのオーバーロード間の一貫性を確認（string版がint[3]版を呼び出す構造）
- [ ] Configuration.loadBase のディープコピー動作が正しくテストされているか確認
- [ ] WorkspaceD.getBestInstance のフォールバックロジック（依存パスによる検索を含む）が十分にテストされているか確認
- [ ] Future クラスのスレッドセーフティに関する観点が追加で必要か検討
- [ ] IndexCache の排他制御（synchronized/Mutex）が適切にテストされているか確認
- [ ] binarySearch のリニアサーチパス（配列長<6）とバイナリサーチパス（配列長>=6）の両方がカバーされているか確認
- [ ] getConfigPath, statFile のOS依存テストについてモック戦略を検討
- [ ] coms.d がテスト対象外であることの正当性を確認
