Ejemplos Pruebas

Camino Bsico

Guillermo Choque Aspiazu

Abril 2015

Prueba del Camino Bsico

La prueba del camino bsico es una tcnica de
prueba de caja blanca propuesta inicialmente por Tom
McCabe.
Esta tcnica permite al diseador de casos de prueba
obtener una medida de la complejidad lgica de un
diseo procedimental y usar esa medida como gua
para la definicin de un conjunto bsico (diseo de
casos de prueba) de caminos de ejecucin.
Los casos de prueba derivados del conjunto bsico
garantizan que durante la prueba se ejecuta por lo
menos una vez cada sentencia del programa.

Grafo de Flujo
Cualquier representacin del diseo procedimental se
puede traducir a un grafo de flujo o grafo del programa.
Cada crculo denominado nodo del grafo de flujo,
representa una o ms sentencias procedimentales.
Un solo nodo puede corresponder a una secuencia de
cuadros de proceso y a un rombo de decisin.
Las flechas del grafo denominadas aristas o enlaces,
representan flujo de control. Una arista debe terminar en
un nodo, incluso aunque el nodo no represente ninguna
sentencia procedimental.
Las reas delimitadas por aristas y nodos de denominan
regiones. Cuando se contabiliza las regiones se incluye
el rea exterior del grafo, contando como otra regin
ms.

Notacin Grafo de Flujo

Ejemplos Iniciales

Complejidad Ciclomtica
Define el nmero de caminos independientes del
conjunto bsico de un programa y proporciona un
lmite inferior para el nmero de pruebas que se
deben realizar para asegurar que se ejecuta cada
sentencia al menos una vez.
Un camino independiente es cualquier camino del
programa que introduce por lo menos un nuevo
conjunto de sentencias de procesamiento o una
nueva condicin.
En trminos del grafo de flujo, un camino
independiente se debe mover por lo menos por una
arista que no haya sido recorrida anteriormente a la
definicin de un camino.

Complejidad Ciclomtica
La complejidad ciclomtica V(G) se puede calcular
de tres formas:
1. El nmero de regiones del grafo de flujo
coincide con la complejidad ciclomtica.
2. Aristas - Nodos + 2, es decir V (G) = A N + 2.
3. Nodos Predicado + 1 (un nodo predicado es el
que representa una condicional if o case, es
decir, que de l salen varios caminos).
Por tanto se deben preparar los casos de prueba
que forzarn la ejecucin de cada camino del
conjunto bsico.

Ej. Complejidad Ciclomtica

1. V(G) = #R = 4.
El nmero de regiones del grafo de
flujo es 4.
2. V (G) = A-N+2
V(G)=11-9+2=4.
3. V(G) = #NP+1
V(G)=3+1=4.
Caminos Bsicos
1) 5, 7, 10, 0, 5, 15
2) 5, 7, 11, 12, 0, 0, 5, 15
3) 5, 7, 11, 13, 0, 0, 5, 15
4) 5, 15

Ej. Complejidad Ciclomtica

Complejidad Ciclomtica
1. V(G) = #R = 4.
2. V (G) = A-N+2 V(G)=11-9+2=4.
3. V(G) = #NP+1 V(G)=3+1=4.

Caminos Bsicos
1) 1, 11
2) 1, 2, 3, 4, 5, 10, 1, 11
3) 1, 2, 3, 6, 8, 9, 10, 1, 11
4) 1, 2, 3, 6, 7, 9, 10, 1, 11

Ej. Complejidad Ciclomtica

El cdigo corresponde a un programa Java que realiza
una serie de salidas respecto al valor de la variable a.

Ej. Complejidad Ciclomtica

Analizado el cdigo, se identifican las estructuras de
control de flujo y las secuencias implicadas (en amarillo las
estructuras de control y en azul las secuencias).
Luego se numeran las sentencias del cdigo.

Ej. Complejidad Ciclomtica

Luego se traduce el cdigo a un diagrama de flujo

Ej. Complejidad Ciclomtica

Posteriormente se obtiene el grafo de flujo y la
complejidad ciclomtica.
Complejidad Ciclomtica
1. V(G) = #R = 4.
2. V (G) = A-N+2
V(G)=11-9+2=4.
3. V(G) = #NP+1
V(G)=3+1=4.
Caminos Bsicos
1) 1, 11
2) 1, 2, 3, 6, 7, 9, 10, 1, 11
3) 1, 2, 3, 6, 8, 9, 10, 1, 11
4) 1, 2, 3, 4, 5, 10, 1, 11

Consultas

saguicas@yahoo.com.mx

http://menteerrabunda.blogspot.com/