Na fase de testes de um sistema, procura-se determinar a existência de falhas no programa. Com relação à quantidade de testes a serem realizados, idealmente, deveriam ser gerados testes que cobririam todas as entradas possíveis do sistema e todas as suas combinações possíveis, de forma a se assegurar um perfeito funcionamento. Em sistemas reais, entretanto, o teste exaustivo é inviável para sistemas não-triviais, sendo necessárias estratégias de teste para cobrir um conjunto significativo de falhas.