libreria

CAPÍTULO

17
N

TÉCNICAS DE PRUEBA
DEL SOFTWARE
UNCA se dará suficiente importancia a las pruebas del software y sus implicaciones en
la calidad del software. Citando a Deutsch [DEU79]:

El desarrollo de sistemas de software implica una serie de actividades de producción en las que las posibilidades de que aparezca el fallo humano son enormes. Los errores pueden empezar a darse desde elpnmer momento del proceso, en el que los objetivos....p ueden estar especificados de forma errónea o imperfecta,
así como [en] posteriores pasos de diseño y desarrollo ...Debido a la imposibilidad humana de trabajar y
comunicarse de forma perfecta, el desarrollo de software ha de ir acompañado de una actividad que garantice la calidad.

Las pruebas del software son un elemento crítico para lagarantía de calidad del software y
representa una revisión final de las especificaciones, del diseño y de la codificación.
La creciente percepción del software como un elemento del sistema y la importancia de los
«costes» asociados a un fallo del propio sistema, están motivando la creación de pruebas minuciosas y bien planificadas. No es raro que una organización de desarrollo de softwareemplee
entre el 30 y el 40 por ciento del esfuerzo total de un proyecto en las pruebas. En casos extremos, las pruebas del software para actividades críticas (por ejemplo, control de tráfico aéreo,
control de reactores nucleares) puede costar ide tres a cinco veces más que el resto de los pasos
de la ingeniería del software juntos!

es? Una vez generado e
nte, el software debe ser
ga alcliente. Nues
ñar una serie de ca
tengan una alta
encontrar errores -

mebas que: (1) comca interna de 10s

da

descubrir enQresen la
el comportamiento Y
3 Durante las primeras

blanca». Los requisitos del software se
bas. Sin embargo, conforme rogresa
comprueixm u t i l i i o técnicas de d i e ~
el proceso de prueba, los especialis
ño de casos de prueba de .caja negras.
n pruebas sevan incorporando.
En
or que es ~
p
o bs~
revisi* ~
? ambos casos, se intenta encontrarel
mayor número de errores Con la menor
nes y otras actividades SQA descubren
cantidad de esfuerzoY
errores, pero no son suficientes. Cada
vez que el programa se ejecuta,el clien- ¿Cuál es el producto obtenido? Se
define y documenta un conjunto de
te lo está probando. Por lo tanto, debecasos de prueba,diseñados para comos hacer un intento especial por
probar la lógica interna y los requisitos
contrar y corregir todos los errores
externos. Se determinan los resultados
es de entregar el programa al clienesperados y se guardan los resultados
te. Con el objetivode encontrarel mayor
realmente obtenidos.
número posible de errores, las pruebas
n conducirse sistemátícamente. y ¿wm0
pd sagrvode que lo
wm
sos de prueba deben diseñarse
orrectaiirente? Cuanutilizando técnicas definidas.
la prueba, debes cambiar
¿Cdle
1 Pcrpwa El software debe
probarse desde dos perspectivas difeprueba de una forma disciplinada y
rentes: (1) la lógica interna del prograrevisa que dichos casos de prueba
comprueba u t i l i i d o técnicas de
abarcan todo lo desarrollado.
de casos de prueba deO), podemos generar fácilmente
un conjunto de pruebas con menos de 2" pruebas, de tal
forma que ese grupo de pruebas garantice la detección
de múltiples errores de operadores lógicos y también
sea efectivo para detectar otros errores.
Tai [TAI89] sugiere una estrategia de prueba de
condiciones que se basa en las técnicas destacadas
anteriormente. La técnica, denominada BRO* (prueba deloperador relacional y de ramificación), garantiza la detección de errores de operadores relacionales
y de ramificaciones en una condición dada, en la que
todas las variables lógicas y operadores relacionales
de la condición aparecen sólo una vez y no tienen
variables en común.
La estrategia BRO utiliza restricciones de condición
para una condición C. Una restricción de condición para
C con n...