Testes em que duas ou mais variantes de um programa são executadas com as mesmas entradas, as saídas são comparadas, e erros são analisados em caso de discrepâncias.