Jeden z nejjednodušších druhů testování. Testujeme zdali jsou splněny invariantní podmínky v průběhu vykonávání programů. Nejčastěji používáme pro testování vstupních hodnot metod.