Calidad

CALIDAD DE SOFTWARE
APLICACIONES CONVENCIONALES
METODO DE GRAFO
* Conjunto de rutas básicas es sensible en la mecanización. Una estructura de datos “matriz de grafo”.
* puede ser bastante útil para desarrollar una herramienta de software que auxilie en la prueba de ruta básica.
* Una matriz grafo es cuadrada cuyo tamaño (número de filas, columnas) es = al número de nodos delgrafico de flujo. Cada fila y columna corresponde a un nodo identificado y las entradas de la matriz corresponden a conexiones entre nodos.

PRUEBA DE LA ESTRUCTURA DEL CONTROL
ES MAS AMPLIA Y MEJORA LA CALIDAD DE LA PRUEBA DE LA CAJA BLANCA
* PRUEBA DE CONDICION
* Método de diseño de casos de prueba que revisa las condiciones lógicas contenidos en un módulo de programa.
* Una condiciónsimple es una variable booleana o una expresión relacional, posiblemente procedida de un operador NOT
* Una expresión relacional toma la forma.
* Una condición compuesta se integra con 2 o + condiciones simples, operadores booleanos y paréntesis.
* Una condición sin expresiones relacionales se conoce como expresión booleana.
* PRUEBA DE FLUJO DE DATOS
* Selecciona rutas deprueba de programa, de acuerdo con las ubicaciones de las definiciones y con el uso de variables en el programa.
* Para ilustrar el enfoque de prueba de flujo de datos, ”suponga que cada enunciado en un programa se le asigna un numero de enunciado único y que cada función no modifica sus parámetros o variables globales.
* DEF(S)={X| ENUNCIADO S CONTIENE UNA DEFINICION DE X}
* USE(S)={X|ENUNCIADO S CONTIENE UN USO DE X}
* “SI El enunciado S es un enunciado IF o LOOP, su conjunto DEF es vacio y su conjunto Use se basa en la condición del enunciado S
* Cadena de definición de uso (DU)
COMPLEMENTAR

* PRUEBA DE BUCLE
* Es una técnica de prueba de caja blanca que se enfoca exclusivamente en la validez de los constructores de bucles.
* Se pueden definir endiferentes bucles (SIMPLES, CONCATENADOS,ANIDADOS Y NO ESTRUCTURADO)
a) BUCLES SIMPLES: el siguientes conjunto de pruebas puede aplicarse a los bucles simple, donde n es el mismo # de pasadas permisivas a través del bucles.
1) Saltar por completo el bucle.
2) Solo una pasada a través del bucle.
3) Dos pasadas a través del bucle.
4) m Pasadas a través del bucle, donde m<n
5) n-1,n+1 pasadas a través del bucle.
b) BUCLES ANIDADOS: bucles anidados depende del número de pruebas posibles que se lleguen hacer
1) Comience con el bucle más interno. Establezca todos los otros bucles a valores mínimos.
2) Realice pruebas de bucle simple para el bucle más interno mientras mantiene los bucles exteriores en sus valores mínimos de parámetros de iteración.
3) Trabajehacia fuera y realice pruebas para el siguiente bucle, pero mantenga los otros exteriores en valores mínimos y los otros bucles anidados en valores “típicos”
4) Continúe hasta que todos los bucles se hayan probado.
c) BUCLES CONCATENADOS: usando el enfoque definido para bucles simples si cada uno de los bucles es independiente de los otros “NO OBSTANTE SI 2 BUCLES SE CONCATENAN Y USA ELCONTADOR DE BUCLE PARA EL BUCLE1 COMO VALOR INICIAL PARA EL BUCLE2, --NO SON INDEPENDIENTES----- CUANDO LOS BUCLES NO SON INDEPENDIENTES SE RECOMIENDA EL ENFOQUE APLICADO A BUCLES ANIDADOS.
d) BUCLES NO ESTRUCTURADO----siempre que sea posible debe rediseñarse para reflejar el uso de los constructos de programación estructurada.
PRUEBA DE CAJA NEGRA.
* Prueba de comportamiento, se enfoca elos requerimientos funcionales del software.
* Permite derivar conjuntos de condiciones de entrada que revisaran por completo los requerimientos funcionales.
* Caja negra intenta encontrar errores en las siguientes categorías:
1) Funciones incorrectas o faltantes.
2) Errores de interfaz.
3) Errores en las estructura de datos o en acceso a bases de datos externas.
4) Errores...