Técnicas de Calidad en el Software Sesión # 6

Pruebas de caja negra Pruebas de comportamiento Identificar errores: de funcionalidad de interfase en las Bases de Datos en el comportamiento También llamado “Pruebas de Comportamiento” Se enfoca a probar los requerimientos funcionales del software Se basa en diseñar casos de pruebas con varios conjuntos de datos de entrada que prueban todos los requisitos funcionales Ing. Rafael Salazar

Pruebas de caja blanca Se conocen como “Pruebas Estructurales” Basadas en estructura interna Enfoques: Valores de variables críticas Análisis del código Camino Básico Estructuras de Control Son pruebas internas al código de una aplicación Enfoques: A través de los valores que toman variables críticas A través del análisis de la construcción del código (del programa) Ing. Rafael Salazar

Técnica de Camino Básico Código  Grafo (flow graph) Posibilidad de caminos/rutas de ejecución Caminos básicos (CB)  basis path Pasan por todo el código Son caminos independientes Ayudan a definir el número de pruebas # CB = cantidad mínima de pruebas Ing. Rafael Salazar Se utilizan grafos Complejidad Ciclomática: caminos independientes Medir la Complejidad Lógica de un procedimiento Es una guía para definir un conjunto básico de recorridos de ejecución

Diseño de casos de prueba Dibujar grafo 2. Calcular cantidad de caminos básicos 3. Encontrar caminos básicos 4. Diseñar como mínimo un caso de prueba para cada camino básico Ing. Rafael Salazar Dibujar el grafo del código correspondiente Calcular la complejidad ciclomática Encontrar los caminos básicos Preparar los casos de prueba que ejecutan cada camino básico

1. Dibujar grafo Secuencia Decisión Sencilla (if) Ciclo (while, for) Decisión Múltiple (case) Ciclo (until) = Nodo Predicado Arcos =

1. Dibujar grafo: Ejemplo 2,3 6 4,5 7 8 9 10 11 1 2 3 6 5 4 7 8 9 10 11 R4 Grafo R2 R3 R1 R = Regiones

2. Calcular cantidad de CB Complejidad Ciclomática (CC) Basada en teoría de gráficas En el proceso de pruebas, ayuda a calcular el número de caminos independientes Métrica de la complejidad lógica de una rutina Complejidad Ciclomática mide la complejidad de una rutina Toda rutina no debería exceder una complejidad ciclomática de 10 Nos da la cantidad de caminos independientes (mínimo de caminos a probar) Forma de calcularla Arcos – Nodos + 2 Nodos predicado + 1

2. Calcular cantidad de CB Complejidad Ciclomática (CC) CC = #Regiones CC = #Arcos – #Nodos + 2 CC = #NodosPredicado + 1 Sólo si el código es: Estructurado y Sin decisiones múltiples Complejidad Ciclomática mide la complejidad de una rutina Toda rutina no debería exceder una complejidad ciclomática de 10 Nos da la cantidad de caminos independientes (mínimo de caminos a probar) Forma de calcularla Arcos – Nodos + 2 Nodos predicado + 1

2. Caminos básicos: Ejemplo 1 2,3 6 4,5 7 8 9 10 11 Complejidad Ciclomática Regiones = 4 Nodos = 9 Arcos = 11 Nodos predicado = 3 a) CC = 4 b) CC = 11 - 9 + 2 = 4 c) CC = 3 + 1 = 4 CC = CB = 4

3. Encontrar caminos básicos 1 2,3 6 4,5 7 8 9 10 11 Caminos básicos 1,11 1,2,3,4,5,10,1,11 1,2,3,6,7,9,10,1,11 1,2,3,6,8,9,10,1,11

4. Diseñar casos de prueba ID Camino Resultado esperado 1 1,11 2 1,2,3,4,5,10,1,11 3 1,2,3,6,7,9,10,1,11 4 1,2,3,6,8,9,10,1,11

Ejercicio en clase Inicio 1 2 3 4 6 7 5 8 9 11 12 10 13 14 ¿Cuál es el número mínimo de casos de prueba que se deben diseñar para el programa representado en este grafo? Ing. Rafael Salazar Fin

Respuesta CC = 4 NP + 1 = 5 Bloques independientes: Respuesta: Inicio 1 CC = 4 NP + 1 = 5 Bloques independientes: Fijo un camino en un bloque Recorrer caminos del otro Fijo un camino del otro bloque Recorrer caminos del primero Respuesta: 1,2,3,5,8,11,13 1,2,3,5,8,9,12,14,13 1,2,3,5,8,9,10,14,13 1,2,4,6,5,8,11,13 1,2,4,6,7,4,6,5,8,11,13 2 3 4 R1 R2 5 6 7 R5 8 9 10 11 12 R3 R4 Fin 13 14 Ing. Rafael Salazar