INTRODUCCIÓN Podemos decir que las pruebas presentan una interesante anomalía para el ingeniero del software. Durante las fases anteriores de definición y de desarrollo, el ingeniero intenta construir el software partiendo de un concepto abstracto y llegando a una implementación tangible. A continuación, llegan las pruebas. El ingeniero crea una serie de casos de prueba que intentan «demoler» el software construido. De hecho, las pruebas son uno de los pasos de la ingeniería del software que se puede ver (por lo menos, psicológicamente) como destructivo en lugar de constructivo.
Los ingenieros del software son, por naturaleza, personas constructivas. Las pruebas requieren que se descarten ideas preconcebidas sobre la «corrección» del …ver más…

• No existe una separación clara entre estos dos tipos de pruebas. Durante las pruebas de defectos los desarrolladores obtienen una visión intuitiva de la fiabilidad, y durante las pruebas estadísticas, se descubren obviamente muchos fallos. 2. Pruebas y técnicas de verificación y validación
La verificación y validación es el nombre que se da a los procesos de comprobación y análisis que aseguran que el software que se desarrolla está acorde a su especificación y cumple las necesidades de los clientes. La V&V es un proceso de ciclo de vida completo. Inicia con las revisiones de los requerimientos y continúa con las revisiones del diseño y las inspecciones del código hasta la prueba del producto. Existen actividades de V&V en cada etapa del proceso de desarrollo del software.

La verificación y la validación no son la misma cosa, aunque es muy fácil confundirlas, Boehm (1979) expresó la diferencia entre ellas de forma sucinta:
Verificación:
¿Estamos construyendo el producto correctamente?
El papel de la verificación comprende comprobar que el software está de acuerdo con su especificación. Se comprueba que el sistema cumple los requerimientos funcionales y no funcionales que se le han especificado.
Validación:
¿Estamos construyendo el producto concreto?
La validación es un proceso más general. Se debe asegurar que el software cumple las expectativas del cliente. Va más allá de comprobar si el sistema está acorde con su especificación, para