Testen in die twee of meer varianten van een programma worden uitgevoerd met dezelfde ingangen, de uitgangen worden vergeleken, en fouten worden geanalyseerd in geval van verschillen.