O objetivo de qualquer teste é justamente expor os possíveis erros do sistema. Se formos pensar que o objetivo é testar até nenhum erro ser encontrado, podemos simplesmente não fazer nenhum teste que nenhum erro será encontrado e damos o software como validado.
Gabarito C
Sobre a alternativa A: se não tivermos testado a condição de erro X, se esta ocorrer durante a execução do programa, teremos uma falha. Com isso, podemos dizer que os testes realmente não podem garantir que não ocorrerá erro na execução de um programa, salvo se prevermos todas as infinitas condições em que o SW estará submetido.