Dado que em um código a nível de RTL, a operação: if (a ^ b) foi erroneamente tr...

Questão de Engenharia de Telecomunicações da banca FUNRIO (2012). Confira a resolução completa abaixo:

Dado que em um código a nível de RTL, a operação: if (a ^ b) foi erroneamente trocada por: if (a | b) Que tipo de metodologia de teste e métrica de cobertura de teste provavelmente conseguirá detectar o problema?