Qual bug não pode ser detectado na verificação?

Impossível detectar um bug que se manifesta em condições ou cenários ausentes do ambiente de teste ou conjuntos de dados de teste utilizados para verificação. Por exemplo, um bug que ocorre apenas sob carga muito alta, em uma configuração de hardware específica, em um estado externo particular ou em uma combinação única de ações do usuário, que não foi previsto ao desenvolver os casos de teste.

Outra categoria são bugs relacionados a requisitos não funcionais, que são difíceis ou impossíveis de verificar apenas por verificação por especificação e casos de teste:

• Desempenho: Falhas sob carga máxima, tempos de resposta longos.
• Confiabilidade: Falhas aleatórias e não reproduzíveis durante uso prolongado.
• Usabilidade: Interface não intuitiva, dificuldade na realização de tarefas, que não atendem às expectativas do usuário.
• Segurança: Vulnerabilidades a injeções, vazamento de dados em condições específicas.