Plan de pruebas - camino basico

Juan Manuel Fernández Peña

Capítulo 3

Capítulo 3 Caminos básicos

Caminos básicos

Los métodos de prueba analizados en el Capítulo 2 son de tipo funcional; su
realización depende de lasespecificaciones del software. Por ello dejan margen
para la existencia de defectos derivados de la implementación, especialmente en
aquellos aspectos donde ésta se aleja de las especificaciones.Para asegurar adecuadamente el software conviene aplicar, además de las
pruebas funcionales, alguna prueba de tipo estructural (o de caja blanca), centrada
en la implementación. Estas pruebas resultancomplementarias, como se hace
notar en (Watson y McCabe, 1996).
Existen varios tipos de pruebas estructurales, como son aquellas que ejercitan
todas las proposiciones del software bajo análisis,las que ejercitan todas las
condiciones y las que ejercitan los caminos básicos. Como se discute más
adelante en este capítulo, la prueba estructurada de McCabe, basada en un
conjunto básico decaminos, resulta la más conveniente. Así pues, en este
capítulo se describe dicha prueba.
El método de McCabe opera así:
1. Convertir el código a un grafo de control
2. Calcular el número ciclomático yobtener la base de caminos
3. Preparar un caso de prueba para cada camino básico
En este capítulo se tratará el método de McCabe [Watson y McCabe 1996].
Para comenzar se presenta el concepto degrafo de control y la manera de
construirlo a partir de un algoritmo o programa, después el concepto de
complejidad ciclomática y su relación con los caminos de ejecución, luego se
explica el métodode obtención de una base de dichos caminos y por último la
generación de casos de prueba a partir de la base. Se concluye con algunas
consideraciones adicionales sobre sus ventajas y la mención deotros métodos
relacionados.

3.1 Modelo de control
Los métodos estructurales o de caja blanca descansan sobre el código y la forma
en que éste se ejecuta instrucción por instrucción. Por ello el...