מדד CRAP: איתור מורכבות לא נבדקת

כל דוח כיסוי ועוד כל כלי מורכבות נותנים כל מה שהנוסחה צריכה.

// crap.js — coverage is a fraction, 0..1
export function crap(complexity, coverage) {
	const untested = 1 - coverage;
	return complexity ** 2 * untested ** 3 + complexity;
}

crap(15, 0);    // 240
crap(15, 0.5);  // 43.125
crap(15, 1);    // 15

מחגר על מתודות שהשתנו מונע כניסה של סיכון חדש בלי לפתוח פרויקט ניקוי שאף אחד לא תקצב. ציונים היסטוריים נשארים גלויים בדשבורד במקום לחסום כל בנייה. בענפים שסוכן כתב, זה כל השער.

# CI: score only the methods this branch touched
git diff --name-only origin/main... -- '*.js' \
  | xargs node ./tools/crap-report.mjs --threshold 30 --changed-only

# exit non-zero when a touched method crosses the line;
# print the untouched offenders as a report, not a failure

כשהציון נובע ממורכבות ולא מכיסוי, לבדוק חזק יותר זו התשובה הלא נכונה. הוציאו כל הסתעפות למשהו במורכבות 1, והמנוע יישאר שטוח לא משנה כמה כללים יגיעו — כולל כללים שסוכן עתידי יוסיף.

// Before: complexity climbs with every rule anyone adds.
function validate(order) {
	if (!order.id) return 'missing id';
	if (order.items.length === 0) return 'no items';
	if (order.total < 0) return 'negative total';
	if (order.currency !== 'USD' && order.currency !== 'EUR') return 'bad currency';
	if (order.customer && !order.customer.email) return 'customer without email';
	return null;
}

// After: each rule is trivially testable, the driver stays at 2.
const RULES = [
	[(o) => !o.id, 'missing id'],
	[(o) => o.items.length === 0, 'no items'],
	[(o) => o.total < 0, 'negative total'],
	[(o) => !['USD', 'EUR'].includes(o.currency), 'bad currency'],
	[(o) => Boolean(o.customer) && !o.customer.email, 'customer without email']
];

function validate(order) {
	for (const [fails, message] of RULES) if (fails(order)) return message;
	return null;
}

שתי בדיקות, בסדר הזה, שמריץ שלב שלא כתב את הקוד. הראשונה אומרת שהקוד בצורה שאפשר לשנות; השנייה אומרת שהבדיקות שמגנות עליו באמת מגיבות כשהוא משתנה.

# 1. structural: is this changeable code?
crap-report --changed-only --threshold 30 || exit 1

# 2. behavioural: do the new tests assert anything?
stryker run --incremental --mutate "$(git diff --name-only origin/main...)"

# report both on the PR. one number is about the code,
# the other is about the tests that claim to cover it.