Pruebas en que se ejecutan dos o más variantes de un programa con las mismas entradas, las salidas se comparan, y se analizan errores en caso de discrepancias.