ミューテーションテストは否定的。TDD のテストは肯定的。

.trim() の除去は定番のメソッド呼び出し変異です。前後の空白を含むフィクスチャがなければ生き残ります。そして多くのフィクスチャは含みません。モデルが自分のコードのために作ったものも同じです。

// importer.js
const normalise = (value) => value.trim().toLowerCase();

export function importRows(rows) {
	return rows.map((row) => ({ email: normalise(row.email) }));
}

// Surviving mutant: normalise() with .trim() removed.
// The suite passes either way, so the report flags it.

このテストは生存者を殺します。同時に現在の実装を凍結します。normalise は到達可能なままで、ちょうどこの回数だけ呼ばれなければならない。名前を変え、インライン化し、境界の裏へ動かせば、振る舞いは何も変わっていないのにテストが壊れます。スコアを最適化するエージェントは、既定でこの形を生みます。

it('calls normalise once per row', () => {
	const spy = vi.spyOn(internals, 'normalise');
	importRows([{ email: ' Ada@Example.COM ' }]);
	expect(spy).toHaveBeenCalledTimes(1);
});

// Green. Mutant dead. Score up.
// Nothing here states what an imported email address should look like.

同じミュータント、同じ撃墜ですが、アサーションはプロダクト側の人でも読める規則です。公開関数を通すので内部は自由に動かせますし、半年後の失敗メッセージが自ら説明してくれます。

it('trims and lower-cases every imported email address', () => {
	expect(importRows([{ email: ' Ada@Example.COM ' }]))
		.toEqual([{ email: 'ada@example.com' }]);
});

// Same mutant dead, but the suite gained a specification
// instead of a snapshot of today's call graph.

テスト単位のカバレッジ解析が最大の性能レバーです。各ミュータントに実際に到達するテストだけを走らせます。増分モードならプルリクエストの実行を数分に収められます。break のしきい値は後退を防ぐ床であり、追いかける目標ではありません。

{
	"testRunner": "vitest",
	"coverageAnalysis": "perTest",
	"incremental": true,
	"mutate": ["src/**/*.js", "!src/**/*.test.js"],
	"thresholds": { "high": 80, "low": 60, "break": 60 }
}

コードを書いていない工程が投げる、独立した 2 つの問い。このコードは変更できる形をしているか。そしてそれを守るテストは、変更されたときに反応するか。両方の答えをプルリクエストに載せ、どちらも著者には交渉させません。

CHANGED=$(git diff --name-only origin/main... -- 'src/**/*.js')

# structural: complexity against coverage on touched methods
crap-report --changed-only --threshold 30 $CHANGED || exit 1

# behavioural: do the new tests notice anything?
stryker run --incremental --mutate "$CHANGED"

# survivors are review items with a named requirement attached,
# never a licence to write a test that pins the call graph.