できることのすべて、調整できることのすべて

AI がテストを書いたなら

生成されたテストスイートに対するカバレッジ

概要では一般論として述べています。ここではそれを機能一覧そのものに突き合わせます。生成されたテストスイートは特徴的な形で失敗するからです — すべての行に触れ、判定の半分は一度も通らず、テスト名に挙がっているのに一度も呼ばれない関数がいくつかある — そして以下のうち五つが、まさにその形を可視化します。

• 分岐カバレッジと MC/DC は、各アームと各判定のホバーとあわせて、行が実行されたことと判定が実際に通されたことを切り分けます。ハッピーパスだけをたどるスイートは、行では 100% 近く、分岐では 50% 近くと出ます。この開きこそが所見です。テストが全部緑でも、そこには何も現れません。
• 複合スコアは調和平均なので、強い指標が弱い指標を覆い隠せません。生成されたスイートに当てるべき計算はまさにこれです。行の数値と分岐の数値を単純平均すれば、見るべき唯一の数値が埋もれてしまいます。
• デッドコード警告は、計測可能な行がありながらカバレッジがゼロの関数について、Problems パネルに項目を立てます。テスト名に関数を挙げておきながら一度も到達しないスイートは、ほかのどこでも失敗しません。
• 差分カバレッジは git のベース ref と比較して、以上のすべてを変更されたばかりの行に絞り込みます。リポジトリの通算平均ではなく、今日の午後にあなたが受け入れたコードです。通算平均のままなら、大きな既存スイートはいつまでも健康そうに見え続けます。
• Copy Uncovered Lines は、一度も実行されなかったものだけを Markdown で出力します。つまり、そのスイートを書いたアシスタントにそのまま貼り戻せる形です。

これらのどれ一つとして、テストを読んでその良し悪しを判定するものではありませんし、そう主張しているとも取らないでください。アサーションが一つもないテストでも、触れた行はすべてカバー済みになります。ここで測っているのは、レビュアーが頭の中に抱えきれない部分 — どのコードが一度も実行されなかったか、です。

この拡張機能だけの機能

行カバレッジは 100% です。それでもバイナリの 312 バイトは一度も実行されていません。

ここにある他のすべての指標はソースから測定されます。コードを計装し、計装済みビルドを実行し、何が発火したかを数えます。オブジェクトコードカバレッジは、ソースベースのツールでは決して届かないものを測定します — ビルドされたバイナリのどれだけが実際に実行されたかを、命令バイト単位で、命令ストリームを観測して測ります。コンパイラはソースのどの行にも対応しないコードを出力します。配列境界チェック、switch のジャンプテーブル、レジスタのスピル、除算や浮動小数点のランタイム補助ルーチンなどです。これらはソースには一切現れないため、ソースベースのツール — この拡張機能自身が読む他のどの指標についても含め — はそれが実行されたかどうかを示せません。また、手書きのアセンブリは決して計装されないため、これはアセンブリを覆うのかという問いに答えられる唯一の指標でもあります。

DO-178C はこれを明示しています。レベル A では MC/DC に加えて必須です。これを読み取る VS Code 拡張機能は他にありません。組み込みターゲットからこれを得る方法 →

機能一覧

コア機能

• 計測されたすべてのファイルの Coverage ビュー、概要ルーラー、Annotated Source。エディター自身のガターには、既定では印を付ける価値のあるものだけ — MC/DC のバー、前回の実行以降の三角形、編集行のドット — が表示され、未カバーのみのバーやヒット数のヒートマップは設定 1 つで有効にできます。
• トレースファイルが提供する内容に応じた、行単位のステートメント、ブランチ、関数、リージョン、MC/DC、C++インスタンス化カバレッジ。
• 複数フォーマットの取り込みと、記録された由来情報を伴う複数実行の決定論的マージ。
• パスの再マッピング — CIビルドマシンのパス → ローカルワークスペース。
• 差分カバレッジ — gitのベース参照と比較して変更された行のみを装飾。
• 複合スコアに応じて色分けされるExplorerバッジと実行全体のステータスバー項目。
• watchモード — トレースファイルが変更されると自動的に再読み込み。
• Run Tests with Coverage — ワークスペースのルートからテストランナーを認識し、カバレッジを有効にして実行し、書き出されたものを読み込みます。
• リモートのトレースファイル — coverageFile.paths の項目に https:// URL を書けます。CI のアーティファクトは remote.headers で設定したヘッダー付きで条件付き（ETag / Last-Modified）取得され、ローカルファイルと同様に読み込まれ、remote.refreshMinutes でタイマーにより再取得されます。取得に失敗したときは最後にダウンロードしたコピーが代わりに読み込まれます。
• パス内の変数 — すべてのパス設定で ${workspaceFolder}、${workspaceFolderBasename}、${userHome}、${env:NAME}、${command:id}、${config:section.key} が使えます。未知の変数は書かれたとおりに残されるため、打ち間違いは消えてなくなるのではなく検出ログに現れます。
• マルチルート ワークスペース — 各フォルダーは自身の設定（.vscode/settings.json または .code-workspace の項目）から検出され、そのトレースファイルは 1 つの実行にマージされ、Coverage ビューはファイルをフォルダーごとにまとめ、フォルダーの追加や削除はそれ自体でカバレッジを再読み込みします。
• 再読み込みのトリガーが 2 つ追加 — ワークスペース外の絶対パスの coverageFile.paths 項目はポーリングされるため、そこに現れたファイルは読み込まれます。また watch.reloadAfterTasks に挙げたタスク（npm: test）の終了時に、watch モードのオン・オフにかかわらずカバレッジを再読み込みします。
• キャンセルできる進行状況 — 10 個以上、または合計 8 MB 以上のトレースファイルの読み込みと、すべての Generate Full HTML Report は、「キャンセル」ボタン付きの進行状況の通知の下で実行されます。キャンセルすると前回の実行が読み込まれたまま残ります。
• VS Code 自身の Test Coverage ビュー — すべての読み込みはエディターの Test Coverage API を通じても公開されるため（testCoverage.publish）、Test Explorer のカバレッジパネル、Explorer のファイルごとのパーセンテージ、エディター自身の Show Inline Coverage トグルが同じ数値を示します。Show in Test Coverage View は求めに応じて公開し、パネルを開きます。テストに名前がある場合（lcov の TN:）、ビューでファイルのカバレッジをテストごとに絞り込めます。
• 再マッピングルールの提案 — 読み込みで一致しないファイルが残ると（ローカルのチェックアウトに対するコンテナや CI のパス）、拡張機能はそれらの最も多くを説明する pathRemap ルールを推定し、読み込み結果に Apply Suggested Remap を、パレットに Suggest Path Remap Rule を提示します。クリックしなければ何も書き込まれません。
• 無視グロブ — fuciniCoverage.ignore（vendor/**、**/*.generated.ts）は読み込み時にファイルを丸ごと実行から外すため、すべてのビュー、ゲート、エクスポートがそれら抜きで数えます。読み込み結果はいくつ外したかを述べ、出力がそれぞれの名前を挙げます。
• 未計測と未カバー — どのテストも読み込まなかったファイルが、知らないうちに 0% として採点されることはありません。そのようなファイルではステータスバーが not measured と示し、unmeasured.mode でそれらを Coverage ビューに列挙するか、各ファイルを未カバーファイルとして数えるかを選べ、threshold.unmeasuredFiles でその数をゲートにできます。
• 統合の結果が見える — 複数のトレースファイルを読み込むと、各ファイル行に数値の出所であるレポート名が付き、その数値が古いレポートを上書きした箇所ではバッジに枠線が付き、各トレースファイル行には上書きされた、あるいは上書きしたファイル数が表示され、トレースファイル行をクリックするとそのファイルがツリー内で強調表示されます（coverageView.mergedMarks）。

複合スコアとコンプライアンス

行、ブランチ、関数、リージョン、MC/DC、インスタンス化にわたる単一の加重調和平均。調和平均であるため、弱い指標が完璧な指標によってマスクされることはありません。重みはデフォルトで IEC 61508 / ISO 26262 / DO-178C の各レベルに整合しており、COMPLIANT / NON-COMPLIANT の判定は、指標ごとの閾値と設定可能なモードによって決まります。

Screenshot pending — add assets/img/statusbar.png (see SCREENSHOTS.md).

エディタ内解析

• 関数CodeLens — 関数ごとのカバレッジ％、クリックで最初の未カバー行にジャンプ。
• ブランチおよびMC/DCホバー — 分岐ごとのTaken/Not-Taken回数と判定ごとの条件／ベクター内訳；オプションの色付きMC/DCマージンガター。
• デッドコード警告 — 測定可能な行があり、カバレッジがゼロの関数に対するProblemsパネルでの警告。
• Next/Previous Uncovered ナビゲーション。
• 不一致の警告 — ファイルの内容が実行結果と合わなくなったとき。保存やディスク上の変更に合わせて更新され、ホバーで正確な差分を示します。
• 前回の実行以降 — 前回実行され今回実行されなかった各行に赤い三角形、逆に緑の三角形。概要ルーラーとホバーのヒット数付き。
• 編集中のバッファ — 編集に合わせてすべてのマーク、ホバー、CodeLens がテキストと一緒に移動し、書き換えた行からは退き、灰色の点がその理由を示します。
• エディターのガターモード — editorGutter.mode でガターを所見だけにとどめる（off）、一度も実行されなかったすべての行にバーを、分岐のアームが一度も通らなかった行に琥珀色のバーを置く（uncovered）、あるいは実行されたすべての行に実行回数が多いほど濃い暖色を加える（heatmap）。Choose Editor Gutter Mode... でパレットまたはステータスバーのメニューから切り替えます。
• インラインのヒット数 — hitCounts.inline は文が始まる各行の後ろに ×12 を書き込みます。×0 も含めて。Toggle Inline Hit Counts で切り替えます。
• 行ごとの Problems 項目 — problems.perLine は、開いているドキュメントで一度も実行されなかった行のブロックごとに Information 診断を置き（デッド関数は 40 項目ではなく 1 項目）、任意で分岐のアームが一度も通らなかった各行にも置きます。項目は編集に合わせて行に追従します。
• 行の色付けとスクロールバーの地図 — lineHighlight はガターの印の代わりに（あるいはそれに加えて）行そのものの背後に半透明の色を敷き、overviewRuler はスクロールバーの線を単独で決めます。ガターをオフにすれば、ファイルのギャップの地図だけが残り、コードの横には何も出ません。
• この行をカバーしたのはどのトレースファイルか — 複数のレポートをマージしているとき、実行回数のホバーがその行をカバーしたレポートをすべて挙げ（lcov の TN: のスイート名も含みます）、Coverage ビューでトレースファイルの行をクリックすると、そのファイルが測定した行が光ります。

• 赤・琥珀・緑 — editorGutter.mode と lineHighlight の coverage モードは、計測されたすべての行をカラースケールの色で塗ります。ステータスバーのモードボタンと Alt+G で次のモードへ移ります。
• 自分の色をプレビュー — カラースケールとヒートマップの濃淡（heatmap.colors、heatmap.colorsDark）は設定項目で、設定ページでは選んだその場でライトとダークのエディターにプレビューされます。
• ファイルがどのレポートから来るか — 2 つのレポートが同じコードを計測しているとき、coverageFile.sources のルール、または Choose Coverage Source for This File... が、最新のものを勝たせる代わりに各ファイルがどちらを表示するかを決めます。

レポートと履歴

• Generate Full HTML Report — ディレクトリごとの自己完結型・複数ページレポート；単一ファイル向けのOpen Annotated Source。
• カバレッジトレンド（▲/▼）付きのオプションのローカル実行履歴、および Compare Two History Runs と Compare with Last Run。
• Show Worst-Covered Files / Functions と Copy Uncovered Lines（Markdown）。
• Export Fucini JSON — 正規化されたモデル全体。
• Export Coverage Report... — 同じ実行を CSV（ファイル単位・関数単位）、Markdown サマリー、LCOV トレースファイル、Cobertura XML、SARIF、自己完結型 SVG バッジとして。25 のリーダーとこれらのライターにより、拡張機能は形式間を変換します。JaCoCo や llvm-cov JSON を読み込んで、Codecov・Coveralls・SonarQube が読む LCOV や、Jenkins・GitLab・Azure DevOps が取り込む Cobertura XML を出力できます。
• Generate Coverage Badge — ワークスペースに直接書き出される shields 風の SVG（badge.outputPath、既定は coverage-badge.svg）。README は ![coverage](coverage-badge.svg) で、ホストされたサービスなしに埋め込めます。badge.metric が行、分岐、MC/DC、複合スコアのどれかを選び、色は colorScale.* の段階に従い、badge.autoUpdate は読み込みのたびに書き直します。

Screenshot pending — add assets/img/report.png (see SCREENSHOTS.md).

Screenshot pending — add assets/img/annotated-source.png (see SCREENSHOTS.md).

Community と Pro、機能ごとに

2 つのリスティング、1 つのコードベース。Community は永久に無料の層であり、Pro のリスティングが 14 日間のトライアル後に落ち着く先でもあります。Pro とトライアルはすべてを上限なしで含みます。線引きは、無料層が常にあらゆる所見を見られるようにし、対価を払うのは利便性・証拠・規模だけになるように行われています — VS Code 内では Fucini Coverage: What Community Includes が同じ一覧を各上限に対する今日のカウント付きで表示します。

1 週間は、その週を開始した最初の利用から 7 日間です。カバレッジを読み取るだけの操作は一切カウントされません。サブスクリプションにはまだ早いとお考えですか? 7 日間パスなら、右の列のすべてを 1 週間、一度のお支払いで利用でき、解約の手続きも不要です。

VS Code と Visual Studio を並べて

1 つの製品、2 つのエディター、1 つのリーダー：同じレポートから両方で桁まで同じ数値が得られます。Visual Studio 版 Coverage Studio は Visual Studio 2022 と 2026 — Community、Professional、Enterprise で動作し、2022 では Enterprise 限定の Visual Studio 自身のコード カバレッジは使いません。すべての有料プランに含まれ、両方のエディターがあるデバイスは 1 シートです。線より上はどちらにもあり、線より下は Visual Studio に対応するものがないもの、そしてこれから追加されるものです。

設定リファレンス

設定UI（Fucini Coverage を検索）または settings.json で構成します。

Download the complete settings reference — a commented settings.json holding every fuciniCoverage.* setting at the same default the packaged extension uses, ready to copy into your workspace or user settings. Regenerated from the extension on every release, so it cannot drift from what the VSIX ships.

フォルダーごと。で終わる行は、マルチルート ワークスペースでフォルダー単位の値を取ります。各フォルダーは自身の .vscode/settings.json または .code-workspace の項目で検出され、その中の ${workspaceFolder} はそのフォルダーを意味します。

ローカライズ

検出と読み込み

カラースケールとバッジ

複合スコア（加重調和平均）

閾値とコンプライアンス

差分、再マッピング、レポート

表示と解析

履歴

ステータスバーのクイックアクション

最後の 2 つを除きすべてデフォルトで false；有効にすると対応するアクションがクイックメニューに追加されます：quickActions.compareWithLastRun、openAnnotatedSource、openAnnotatedSourceToSide、toggleAnnotatedSource、toggleWatch、worstCoveredFiles, worstCoveredFolders、worstCoveredFunctions、nextUncovered、previousUncovered、checkThresholds、copyUncoveredLines、compareHistoryRuns、exportJson、exportReport、generateBadge、showTestCoverage、chooseGutterMode、toggleInlineHitCounts。

テレメトリ

アップデート

ライセンス