Pruebas de software

Técnicas de prueba

Técnicas de prueba
El desarrollo de Sistemas de software implica la realización de una serie de actividades predispuestas a incorporar errores (en la etapa de definición de requerimientos, de diseño, de desarrollo, ...). Debido a que estos errores se deben a nuestra habilidad innata de provocar errores, tenemos que incorporar una actividad que garantice la calidad delsoftware. En este capítulo estudiaremos: • Fundamentos de la prueba del software, que definen los objetivos fundamentales de la fase de prueba. • Diseño de casos de prueba, que se centra en un conjunto de técnicas para que satisfagan los objetivos globales de la prueba.

1. FUNDAMENTOS DE LA PRUEBA DEL SOFTWARE
En la etapa de prueba del software se crean una serie de casos de prueba que intentan"destruir" el software desarrollado. La prueba requiere que se descarten ideas preconcebidas sobre la "calidad o corrección" del software desarrollado.

1.1. Objetivos de la prueba
• • • La prueba es un proceso de ejecución de un programa con la intención de descubrir un error Un buen caso de prueba es aquel que tiene una alta probabilidad de mostrar un error no descubierto hasta entonces Unaprueba tiene éxito si descubre un error no detectado hasta entonces

El objetivo es diseñar casos de prueba que, sistemáticamente, saquen a la luz diferentes clases de errores, haciéndolo con la menor cantidad de tiempo y de esfuerzo. La prueba no puede asegurar la ausencia de errores; sólo puede demostrar que existen defectos en el software.

1.2. Proceso de prueba

1

Técnicas de pruebaEl proceso de prueba tiene dos entradas: • Configuración del software: Incluye la especificación de requisitos del software, la especificación del diseño y el código fuente • Configuración de prueba: Incluye un plan y un procedimiento de prueba Si el funcionamiento del software parece ser correcto y los errores encontrados son fáciles de corregir, podemos concluir con que: • La calidad y lafiabilidad del software son aceptables, o que • Las pruebas son inadecuadas para descubrir errores serios

1.3. Diseño de casos de prueba
Se trata de diseñar pruebas que tengan la mayor probabilidad de encontrar el mayor número de errores con la mínima cantidad de esfuerzo y de tiempo. Cualquier producto de ingeniería se puede probar de dos formas: • • Pruebas de caja negra: Realizar pruebas de formaque se compruebe que cada función es operativa. Pruebas de caja blanca: Desarrollar pruebas de forma que se asegure que la operación interna se ajusta a las especificaciones, y que todos los componentes internos se han probado de forma adecuada.

En la prueba de la caja negra, los casos de prueba pretenden demostrar que las funciones del software son operativas, que la entrada se acepta deforma adecuada y que se produce una salida correcta. En la prueba de caja blanca se realiza un examen minucioso de los detalles procedimentales, comprobando los caminos lógicos del programa, comprobando los bucles y condiciones, y examinado el estado del programa en varios puntos. A primera vista, la prueba de caja blanca profunda nos llevaría a tener "programas 100 por cien correctos", es decir: •Definir todos los caminos lógicos • Desarrollar casos de prueba para todos los caminos lógicos • Evaluar los resultados Pero esto supone un estudio demasiado exhaustivo, que prolongaría excesivamente los planes de desarrollo del software, por lo que se hará un estudio de los caminos lógicos importantes.

2. PRUEBA DE LA CAJA BLANCA
La prueba de la caja blanca es un método de diseño de casos deprueba que usa la estructura de control del diseño procedimental para derivar los casos de prueba.
2

Técnicas de prueba

Las pruebas de caja blanca intentan garantizar que: • Se ejecutan al menos una vez todos los caminos independientes de cada módulo • Se utilizan las decisiones en su parte verdadera y en su parte falsa • Se ejecuten todos los bucles en sus límites • Se utilizan todas las...