知識マップ: カバレッジでテストされていないコードを見つける ── AIが書いたC#のテストを確かめる

記事「カバレッジでテストされていないコードを見つける ── AIが書いたC#のテストを確かめる」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

コードカバレッジはテストが実行したコードの量を行・分岐などの単位で表す。.NETではCoverletがdotnet testコマンドの実行中に計測し、Cobertura形式で出力する。ReportGeneratorはその結果をHTMLのレポートに、diff-coverは変更した行のカバレッジにする。生成コードはExcludeFromCodeCoverageAttributeなどで計測から外せる。カバレッジは実行されたかしか数えないので、結果を確かめているかは別の方法で調べる。

flowchart LR
    accTitle: コードカバレッジの知識マップ
    accDescr: Coverletがコードカバレッジを計測し、dotnet testコマンドから使われること、ReportGeneratorとdiff-coverがCobertura形式を読むこと、ExcludeFromCodeCoverageAttributeで計測から外せること、行カバレッジと分岐カバレッジがコードカバレッジの種類であることを示します。
    code_coverage["コードカバレッジ"]
    coverlet["Coverlet"]
    dotnet_test_command["dotnet testコマンド"]
    reportgenerator["ReportGenerator"]
    cobertura_xml["Cobertura形式"]
    diff_cover["diff-cover"]
    excludefromcodecoverageattribute["ExcludeFromCodeCoverageAttribute"]
    coverlet -->|"実装を担う"| code_coverage
    dotnet_test_command -.->|"利用する"| coverlet
    reportgenerator -->|"利用する"| cobertura_xml
    diff_cover -->|"利用する"| cobertura_xml
    code_coverage -->|"で構成できる"| excludefromcodecoverageattribute

概念間の関係(全5件)

図と同じ関係を文章でも列挙します。表示している文と機械可読な意味データ(RDFa)は同じ要素に載っています。確度が「確立した関係」のものは直接の関係として、「条件付きの関係」のものは成立条件つきの言明(rdf:Statement)として表現しています。

• Coverletはコードカバレッジの実装を担います。Coverletは.NETのテストの実行中に、行・分岐などのコードカバレッジを計測し、Cobertura形式などで結果を出力する。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典
• dotnet testコマンドはCoverletを利用します。VSTestで動くテストプロジェクトでは、coverlet.collectorを入れてdotnet test --collect:"XPlat Code Coverage"で計測する。coverlet.collectorはMicrosoft.Testing.Platform(MTP v2)と互換性がなく、MTPではcoverlet.MTPのdotnet test --coverletを使う。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典 出典 出典
• ReportGeneratorはCobertura形式を利用します。ReportGeneratorはCobertura形式のcoverage.cobertura.xmlを読み、HTMLのレポートに変換する。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• diff-coverはCobertura形式を利用します。diff-coverはCobertura形式などのカバレッジのレポートとバージョン管理の差分を比べ、変更した行のカバレッジを報告する。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• コードカバレッジはExcludeFromCodeCoverageAttributeで構成できます。ExcludeFromCodeCoverageAttributeを付けたクラスやメソッドはコードカバレッジの計測から外れる。Coverletはこの属性の付いたコードを常に外す。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典

主要概念の定義

コードカバレッジ

テストを実行したときに、プログラムのどれだけの部分が実行されたかを、行・分岐・メソッドなどの単位で表す尺度。実行されたかを数えるもので、テストが結果を確かめたかは表さない。

Coverlet

.NET Foundationに属する、C#向けのオープンソースのクロスプラットフォームなコードカバレッジ計測ツール。結果をCobertura形式などで出力する。

dotnet testコマンド

.NET SDKに含まれる標準のテスト実行コマンド。

ReportGenerator

Cobertura形式などのカバレッジの結果を、HTMLなどの読みやすいレポートに変換するオープンソースのツール。

diff-cover

カバレッジのレポートとバージョン管理の差分を比べ、変更した行のカバレッジを報告するコマンドラインツール。

機械可読データ

• JSON-LD / Turtle ── この記事の知識グラフ全体
• 概念一覧 / 語彙(述語)の定義

このデータセットについて

作成

合同会社小村ソフト

ライセンス

CC BY 4.0 ── 出典(合同会社小村ソフト)とライセンスへのリンクを明示し、改変した場合はその旨を示すことを条件に、再配布・改変を含めて再利用できます

最終確認日

2026-11-01 ── 収録する関係のうち、最後に出典と照合した日

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。