Aunque las pruebas pueden determinar la corrección de software bajo la suposición de algunas hipótesis específicas (ver jerarquía de las pruebas de dificultad a continuación), las pruebas no pueden identificar todos los defectos dentro del software. en cambio, proporciona una crítica o comparación que compara el estado y el comportamiento del producto contra los principios de oráculos o mecanismos por los que alguien podría reconocer un problema. estos oráculos pueden incluir (pero no son limitados a) Especificaciones, contratos, productos comparables, versiones pasadas del mismo producto, inferencias sobre el propósito previsto o esperado, las expectativas de usuario o de los clientes, las normas pertinentes, las leyes aplicables, u otros criterios.
Qué puede probar no encontrar completamente?
todos los defectos