IS4

Validación y verificación:
pruebas de software
Ingeniería del Software I
Autor: Marcos López Sanz
Actualizado por: Santiago Moral García

www.kybele.es

Índice




Conceptos previos
Prueba del software: objetivo, principios, proceso, diseño...
Ciclo de vida de pruebas: tipos
 Pruebas de unidad
 Enfoque de caja blanca
 Enfoque de caja negra
 Conjetura de errores
 Enfoque aleatorio
Pruebas de integración
 Descendentes: pruebas de regresión
 Ascendentes
 De humo
 Pruebas de sistema
 Pruebas de recuperación
 Pruebas de seguridad
 Pruebas de resistencia
 Pruebas de rendimiento
 Pruebas de validación
 Revisión de la configuración
 Pruebas alfa y beta




2

Documentación de la fase de pruebas
Depuración
www.kybele.es

Conceptos previos

3



“As a rule, softwaresystems do not work well until they have been
used, and have failed repeatedly, in real applications”. Dave Parnas



“The software isn't finished until the last user is dead”. Anonymous



“Poor management can increase software costs more rapidly than
any other factor”. Barry Boehm



“The best programmers write only easy programs”. Michael A.
Jackson



“The trouble with programmers is that youcan never tell what a
programmer is doing until it's too late”. Seymour Cray



“Fast, good, cheap: pick any two”. Anonymous

www.kybele.es

Conceptos previos


¿Qué es un defecto en el software?
 Una definición de datos incorrecta
 Un paso de procesamiento incorrecto en el programa



¿Qué es un fallo en el software?
 Es la incapacidad de un sistema para realizar las funciones

requeridasdentro de los requisitos de rendimiento especificados



¿Qué es un error en el software?





4

Un defecto (¿?)
Un resultado incorrecto
Acción humana que lleva a un resultado incorrecto
La diferencia entre un valor calculado y el verdadero

www.kybele.es

Conceptos previos

Un error (fault) del programador
introduce un defecto (defect)
y este defecto produce
un fallo (failure)

5www.kybele.es

Conceptos previos


¿Qué significa verificar el software?
 Determinar si los productos de una fase dada

satisfacen las condiciones impuestas al inicio de la
fase.
 ¿Estamos construyendo el producto correctamente?


¿Qué significa validar el software?
 Evaluar un sistema o uno de sus componentes,

durante o al final de su desarrollo, para determinar
si satisface los requisitos.
¿Estamos construyendo el producto correcto?
6

www.kybele.es

Conceptos previos


La importancia del software y los costes asociados a un fallo motivan la
creación de pruebas:
 minuciosas y
 bien planificadas



Las organizaciones de desarrollo de software emplean entre el 30% y el 40%
del esfuerzo total de un proyecto en las pruebas.



Las pruebas presentan una interesante anomalía para elingeniero del
software
 Durante las fases anteriores de desarrollo, el ingeniero intenta construir
 Cuando llegan las pruebas se crea una serie de casos de prueba que intentan

demoler el software construido.



Las pruebas requieren:
 Descartar ideas preconcebidas y
 Superar cualquier conflicto de intereses que aparezcan cuando se descubran

errores

7

www.kybele.es

Pruebas de software


¿Quées un caso de prueba?
 Un conjunto de:
 Entradas
 Condiciones de ejecución
 Resultados esperados

 Este conjunto se llama escenario de prueba

8

www.kybele.es

Pruebas de software




Características:
1.

La prueba es el proceso de ejecución de un programa con el fin de
descubrir un error, con poca cantidad de tiempo y esfuerzo

2.

Un buen caso de prueba es aquel que tiene una altaprobabilidad de
encontrar un error no descubierto hasta entonces

3.

Una prueba tiene éxito si descubre un error no detectado con
anterioridad

Consecuencias:





9

Hay que desechar la idea de que una prueba tiene éxito si no descubre
errores
Las pruebas pueden usarse como una indicación de la fiabilidad del
software y, de alguna manera, indican su calidad
Las pruebas no garantizan la ausencia...