CAPITULO: CAPITULO: TÉCNICAS DE DISEÑO DE PRUEBAS Complejidad Ciclomática de McCae !"#$ Métrica Métrica que mide la complejidad complejidad estática estática de un programa basada basada en su grafo de ujo de control. Mide los caminos linealmente independientes, como índice de testabilidad y mantenibilidad.
!"#$ % e & ' ( )p • • •
Número de aristas: e Número de nodos: n nspeccionadas: p !normalmente "#
NOTA: Valores hasta 10 aceptables. Para valores superiores el código debe ser reconstruido $jemplo: $l grafo tiene: " parte independientes "& nodos "' aristas (!g# % )
p%"
n % "& e % "'
Eje*cicio+: Dado el ,i-.ie'te /*a-me'to de p*o-*ama e' ja0a: mport ja*a.io +ublic class Maimo +ublic static *oid main !tring args/0# t1ro2s 3$ception bu4ered5eader entrada % ne2 6u4ered5eader !ne2 nputtream5eader!ystem.in##: nt ,y,7,ma8 ystem.out.print!9ntroduce ,y,7#8 ;%nteger.parseint !entrada.read
>=7# ma%8 else if!7=y# ma%78 else ma%y8 system.out.println!9$l maimo es ?ma#8 @ @
SE P!E
a$ Calc.la* la complejidad ciclomática de McCae !"#$ +ara calcular la complejidad ciclomática de McAabe, lo primero que tenemos que 1acer es dibujar el grado de ujo. +ara esto seguimos pasos: ". eBalamos en el cCdigo los pasos para dibujar el grafo de ujo
+
mport ja*a.io +ublic class Maimo +ublic static *oid main !tring args/0# t1ro2s 3$ception bu4ered5eader entrada % ne2 6u4ered5eader !ne2 nputtream5eader!ystem.in##: nt ,y,7,ma8 ystem.out.print!9ntroduce ,y,7#8 ;%nteger.parseint !entrada.read
)
if!=y >> =7# ma%8 else if!7 = y# ma%78 else ma%y8 system.out.println!9$l maimo es ?ma#8 @ @ Aobertura de decision $*alua las Aondiciones: if!=y >> =7# (D if!7 = y# (D Aobertura de condicion $*alua las Eecisiones =y (D =7 (D 7=y (D F. Eibujamos el grafo de ujo calculamos la complejidad ciclomática y determinamos los caminos independientes:
Aalculamos la ciclomática de McAabe:
complejidad
(!G# % e H n ? F% "I H J ? F % &
+or lo tanto identiKquemos los caminos independientes mirando el grafo de ujo: • • • •
Aamino " Aamino F Aamino Aamino &
"LFLL&LJ "LFLLLOLJ "LFLLOLJ "LFLL)LJ
1 De2'i* co'j.'to, de p*.ea, m3'imo pa*a alca'4a* lo, ,i-.ie'te, c*ite*io, de coe*t.*a: COBERTURA DE SENTENCIAS "i',t*.cci5'$ e trata de ejecutar con los casos de prueba cada sentencia a instrucciCn al menos una *e7. eleccionar los caminos a ejecutar: ",F y & *ale
Cami'o Aamino " Aamino F
Ca*acte*3,tica, ;=P ,;=Q PR;RQ
Ca,o de P*.ea 6 7 8 "I
F
"I
Aamino &
;RP , QRP
"I
Aaso de prueba " !camino "# ejecutamos un caso en el que =y y =7, como por ejemplo %"I, y% y 7%. Aaso de prueba F!camino F# ejecutamos un caso en el que yRR7 como por ejemplo !,y,7#%!,F,"I#. Aaso de prueba !camino &# ejecutamos un caso en el que Ry y 7Ry como por ejemplo !,y,7#%!,"I,# •
COBERTURA DE DECISIONES $scribimos los casos suKcientes para cada condiciCn tenga al menos un resultado *erdadero y otro falso. Stili7ando los mismos caminos y casos de prueba que en la cobertura de sentencias cubriremos también en este caso la cobertura de decisiones.
Cami'o Aamino " Aamino F Aamino & •
Ca*acte*3,tica, ;=P ,;=Q PR;RQ ;RP , QRP
Ca,o de P*.ea 6 7 8 "I
F "I
"I
COBERTURA DE CONDICIONES e trata de escribir los casos suKcientes para que cada condiciCn de cada decisiCn adopte el *alor *erdadero y el falso al menos una *e7.
Eje*cicio ): Dado el siguiente fragmento de programa en ja*a: f!a="# and !b=# and !cRF# t1en ;%?": $lse ;%L"8
9.; c*ite*io, de coe*t.*a ,ati,/ace' lo, ,i-.ie'te, ca,o, de p*.ea %++>c%+?> %@>c%@?> %>c%=? Eplica* cada .'o de ello,1 Aalculamos el grafo de ujo y la complejidad ciclomática, de la misma manera que en el ejercicio anterior. Ee esta manera *eremos con más facilidad cuales son los pasos que se ejecutan con los casos de prueba que nos dan. ". eBalamos en el fragmento de cCdigo de nodos:
ncluimos un seto nodo que 1ace referencia al cCdigo que supuestamente *iene después !en el enunciado no lo determina#. Ee esta manera podremos calcular la complejidad ciclomática sin errores. F. Eibujamos el grafo de ujo
. Aalculamos la ciclomatica (!G#%JLO?F%& caminos independientes. Aamino Aamino Aamino Aamino
" F &
complejidad
"L L O "LFLLO "LFLLLO "LFLL&LO
Aon el caso de prueba !a%I, b%"", c%"# ejecutamos el primer camino independiente. Aon el caso de prueba !a%&, b%&, c%&# ejecutamos el segundo camino independiente Aon el caso de prueba !a%F, b%O, c%I# ejecutamos el cuarto camino independiente.
COBERTURA DE SENTENCIAS
e trata de ejecutar con los casos de prueba cada sentencia a instrucciCn al menos una *e7. $jecutando los casos de prueba que nos dan en el enunciado ejecutaremos cada instrucciCn al menos una *e7: si nos Kjamos en los caminos independientes nos daremos cuenta de que el ujo de ejecuciCn pasa por todos los n odos del cCdigo.
COBERTURA DE DECISIONES: $scribimos los casos suKcientes para cada condiciCn tenga al menos un resultado *erdadero y otro falso. $n nuestro caso bastaría con ejecutar el interior de if y el interior del else, sin tener en cuenta las condiciones,. Auando tenemos decisiones multicondicionales puede ejecutarse el bloque else con diferentes combinaciones estas. $n este caso se cumple la cobertura de condiciones ya que se ejecutan el nodo & y que son las sentencias del interior del if y del else respecti*amente.
Coe*t.*a de co'dicio'e,: e trata de escribir los casos suKcientes para que cada condiciCn de cada decisiCn adopte el *alor *erdadero y el falso al menos una *e7. $n este caso a y b adoptan el *alor *erdadero y el *alor falso al menos una *e7. $n el caso de c comprobamos que en el caso de prueba -a%F, b%O, c%I@ adopta el *alor *erdadero, pero no encontramos el caso de prueba en el que se ejecute el *alor falso. $n el caso de prueba -a%&, b%&, c%&@ pese a tener un *alor falso no podemos considerarlo puesto que en este mismo caso de prueba b también adopta un *alor falso y se ejecuta antes. Ee esta manera c%& no llegaría nunca a ejecutarse. +or este moti*o concluimos que no se cumple la cobertura de condiciones.
Eje*cicio : Eado el mismo fragmento de cCdigo del ejercicio de anterior con dos clausulas 35, calcular el numero mínimo de casos de prueba que es necesario para que se cumpla la cobertura de condiciones. ". eBalemos en el cCdigo los nodos
F. Eibujamos el grafo de ujo. en este caso al tratarse de clausulas 35 en *e7 de TNE el dibujo cambia notablemente:
.
Aalculamos complejidad ciclomatica (!G#%JLO?F%& caminos independientes. Aamino " "L&LO Aamino F "LFL&LO Aamino "LFLL&LO Aamino & "LFLLLO
las
+ara que se cumpla el criterio de cobertura de condiciones, es decir, que cada condiciCn de cada decisiCn tome el *alor falso y *erdadero al menos una *e7, deberán ejecutarse los cuatro caminos críticos. $s
decir, el número mínimo de pruebas que deberemos reali7ar será cuatro. Aobertura de sentencia, decisiCn,condicion Aamino": "L&LO AaminoF: "LFL&L O Aamino: "LFLL &LO Amino&: "LFLL LO
a=" aR" 35 b=
U5S$ DT<$,U5S$
( D(
aR" 35 bR 35 cRF aR" 35 bR 35 c=F
D
DD( DDDD
Ejercicio 4: Teniendo en cuenta el siguiente fragmento de código, ¿Cuántas pruebas se requieren para cubrir el 100% cobertura decisión?
if (width > length) { biggest_dimension = width; if (height > width){ biggest_dimension = height; } else{ biggest_dimension = length; if (height > length){ biggest_dimension = height; }
he>le
} end_if
% A !
l%F
G%H
" #
C $
1
Ejercicio 5: &n termómetro mide la temperatura en grados solamente 'i la temperatura cae por deba(o de 1) grados, la calefacción está apagada 'e *uel*e a encender cuando la temperatura alcan+a $1 grados ¿Cuáles son los me(ores *alores en grados para cubrir todas las particiones de equi*alencia?
A 1, 1- . $ C 1), $0 . $$
" 1/, 1) . 1- 1, $ . !$
Ejercicio 6: Teniendo en cuenta la tabla siguiente decisión los siguientes casos de prueba . resultados esperados son *álidos?
¿Cuál
de
A " C
$! a2os en el seguro de la clase A, 3remium es /0 . el e4ceso es 00 1 a2os en el seguro de la clase C, 3remium es 100 . el e4ceso es 00 !1 a2os en el seguro de la clase ", 3remium es /0 . el e4ceso es 00 #! a2os en el seguro de la clase C, 3remium es 100 . el e4ceso es 000
Ejercicio 7: &n ma.orista *ende cartuc5os de impresora 6a cantidad m7nima de pedido es de 8a. descuento del $0% de los pedidos de 100 o más cartuc5os 'e le 5a pedido preparar casos de prueba utili+ando distintos *alores para las órdenes de cartuc5os ¿Cuál de los siguientes grupos contienen tres entradas de prueba que se generar7an con Análisis de 9alor 67mite?
A , , $0 C #, , --
" #, , )0 1, $0, 100
