בדיקות מוטציה הן שליליות. בדיקות TDD הן חיוביות.

הסרת ‎.trim()‎ היא מוטציה סטנדרטית של קריאה למתודה. היא שורדת בכל פעם שאין fixture עם רווחים בקצוות, כלומר ברוב ה-fixtures — כולל אלה שמודל המציא לקוד של עצמו.

// 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.

ניתוח כיסוי לכל בדיקה הוא מנוף הביצועים הגדול ביותר: רצות רק הבדיקות שמגיעות בפועל לכל מוטנט. מצב הדרגתי משאיר ריצת pull request בטווח של דקות. ערך ה-break הוא רצפה נגד נסיגה, לא יעד לרדוף אחריו.

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

שתי שאלות עצמאיות, שנשאלות בידי שלב שלא כתב את הקוד: האם הקוד הזה בצורה שמאפשרת לשנות אותו, והאם הבדיקות שמגנות עליו מגיבות כשהוא משתנה? שתי התשובות עולות ל-pull request, ואף אחת מהן לא נתונה למשא ומתן עם המחבר.

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.