בדיקות מוטציה הן שליליות. בדיקות 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 }
}