知識マップ: ミューテーションテストでテストをテストする ── Stryker.NETで確かめていないテストを見つける

記事「ミューテーションテストでテストをテストする ── Stryker.NETで確かめていないテストを見つける」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

ミューテーションテストは本番のコードを少し書き換えたミュータントを作り、ミュータントごとにユニットテストを流して、テストが失敗するかを調べる。テストが実行しない場所のミュータントはNo coverageとして分かれ、実行しても結果を確かめないテストはSurvivedのミュータントとして見つかる。C#と.NETではStryker.NETがこれを行い、設定はstryker-config.jsonに書く。

flowchart LR
    accTitle: ミューテーションテストとStryker.NETの知識マップ
    accDescr: Stryker.NETがミューテーションテストを実装し、ミューテーションテストがミュータントとユニットテストとコードカバレッジを使い、アサーションの検出力を確かめること、Stryker.NETをstryker-config.jsonで構成することを示します。
    mutation_testing["ミューテーションテスト"]
    stryker_net["Stryker.NET"]
    mutant["ミュータント"]
    unit_test["ユニットテスト"]
    code_coverage["コードカバレッジ"]
    test_assertion["アサーション"]
    stryker_config_json["stryker-config.json"]
    stryker_net -->|"実装を担う"| mutation_testing
    mutation_testing -->|"利用する"| mutant
    mutation_testing -->|"前提とする"| unit_test
    mutation_testing -.->|"利用する"| code_coverage
    test_assertion -.->|"で確認できる"| mutation_testing
    stryker_net -->|"で構成できる"| stryker_config_json

概念間の関係(全6件)

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

• Stryker.NETはミューテーションテストの実装を担います。Stryker.NETはC#と.NET向けにミューテーションテストを行うツールで、単体テストのプロジェクトのフォルダーでdotnet strykerを実行する。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典
• ミューテーションテストはミュータントを利用します。本番のコードに決まった規則で書き換えたミュータントを自動で入れ、ミュータントごとにテストを流す。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典
• ミューテーションテストはユニットテストを前提とします。ミュータントごとに既存のテストを流し、どれかが失敗すればkilled、すべて通ればsurvivedと判定する。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典
• ミューテーションテストはコードカバレッジを利用します。Strykerはテストが実行しない場所のミュータントをNo coverageとして分け、カバーされたコードだけで計算したミューテーションスコアも出す。カバレッジは実行したかを示すだけなので、確かめたかはミュータントが倒れるかで調べる。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典 出典
• アサーションはミューテーションテストで確認できます。結果を期待値と比べないアサーションでは、コードを書き換えてもテストが通り、ミュータントが生き残る。生き残ったミュータントから、確かめていない動きが分かる。等価ミュータントはどのテストでも倒せない。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典 出典 出典
• Stryker.NETはstryker-config.jsonで構成できます。実行するフォルダーに置いたstryker-config.jsonのstryker-configの下に、project・mutate・reporters・since・thresholdsなどを書く。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典

主要概念の定義

ミューテーションテスト

本番のコードに小さな書き換え(ミュータント)を自動で入れ、ミュータントごとにテストを流して、テストが失敗するかでテストがその変化に気づけるかを調べる方法。

Stryker.NET

C#と.NET向けのミューテーションテストのツール。.NETのツールとしてdotnet-strykerを入れ、単体テストのプロジェクトのフォルダーでdotnet strykerを実行する。

アサーション

テストの中で実行結果を期待値と比べ、テストの合否を決める確認の処理。Arrange・Act・Assertの構成のAssertに当たり、満たさなければテストは失敗する。

機械可読データ

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

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

作成

合同会社小村ソフト

ライセンス

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

最終確認日

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

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