Badania w których wykonywane są dwa lub więcej wariantów programu z tych samych danych wejściowych, rezultaty są porównywane, i błędy są analizowane w przypadku rozbieżności.