DEPARTAMENTO ACADMICO DE RESPONSABILIDAD SOCIAL

INGENIERA DE SOFTWARE II DIAGRAMA DE CLASES

ESCUELA PROFESIONAL: INGENIERA DE SISTEMAS

Semestre: 2013 I
Docente Tutor: Heber Gomez Hurtado

Trujillo - Mayo 2013

UNIVERSIDAD CATOLICA LOS ANGELES DE CHIMBOTE

INGENIERIA DE SOFTWARE II

CALIDAD DE SOFTWARE I. Datos generales: 1. FACULTAD 2. CARRERA PROFESIONAL 3. CENTRO ULADECH CATLICA 4. NOMBRE DE LA ASIGNATURA 5. SEMESTRE ACADMICO 6. CICLO ACADMICO 7. DOCENTE TUTOR 8. INTEGRANTES 9. Fecha : Ingeniera : Ingeniera de Sistemas : Trujillo : Ingeniera de Software II : 2013 01 : VI : Ing. Heber Gomez Hurtado : Ever Elvis Espinoza Flores : 24 Mayo 2013

1400_TAREA: CALIDAD DE SOFTWARE CUADRO COMPARATIVO ENTRE LAS TECNICAS DE PRUEBA DE CAJA NEGRA Y CAJA BLANCA.

CAJA BLANCA (TESTEO ESTRUCTURAL) Analiza por mdulos, testea lo que el programa hace. Por lo tanto, es necesario tener informacin acerca de la estructura interna del software, no es tan importante tener presentes las especificaciones del mdulo. Se testea en base al conocimiento de la lgica del sistema y en base al estudio de la estructura del algoritmo. Se comprueban los caminos lgicos del software, diseando casos de prueba que ejerciten conjuntos de condiciones y/o bucles. Tcnicas de caja blanca Prueba del camino bsico: Se puede aplicar a un diseo procedimental detallado o a un cdigo fuente. Los casos de prueba obtenidos garantizan que se ejecuta por lo menos una vez cada sentencia. Los pasos a seguir son: 1. Elaborar el Grafo de flujo. 2. Determinar la complejidad ciclomtica 3. Determinar un conjunto bsico de caminos linealmente independientes. 4. Preparar casos de prueba que ejecutan todos los caminos del punto 3.

CAJA NEGRA (TESTEO FUNCIONAL) A diferencia de caja blanca, testea cmo deben comportarse los mdulos. Por lo que se basa en los requerimientos del mdulo, no en su estructura interna. Las pruebas se realizan sobre las interfaces y busca que las funciones sean operativas, que se obtenga una salida prevista para una entrada. Otro nombre para stas es pruebas funcionales debido a que al probador slo le interesa la funcionalidad y no la implementacin del software. El probador introduce las entradas en los componentes del sistema y examina las salidas correspondientes. Si las salidas no son las previstas, entonces la prueba ha detectado exitosamente un problema con el software. Tcnicas de caja negra Particin equivalente:Divide el dominio de entrada de un programa en clases de datos de los que se pueden derivar casos de prueba. La particin equivalente busca la definicin de casos de prueba que descubran errores. Se basa en una evaluacin de las clases de equivalencia para una condicin de entrada. Una condicin de entrada es un valor numrico

UNIVERSIDAD CATOLICA LOS ANGELES DE CHIMBOTE

Complejidad ciclomtica: Es una mtrica de software que proporciona una medicin a la complejidad lgica de un programa. Define el nmero de caminos independientes del conjunto bsico de un programa. Establece el lmite superior de pruebas a realizar para asegurar que cada sentencia se ejecuta por lo menos una vez. Prueba de bucles: Se centra en la validez de las construcciones de bucles en un programa. Dentro de los bucles tenemos cuatro clases:

INGENIERIA DE SOFTWARE II

especfico, un rango de valores, un conjunto de valores relacionados o una condicin booleana. Una clase de equivalencia es el conjunto de datos vlidos o no vlidos para condiciones de entrada. Anlisis de valores lmite: Los errores tienden a darse ms en los lmites del dominio de entrada que en el centro, y es por eso que se ha desarrollado esta tcnica de prueba. El anlisis de valores lmite es una tcnica de diseo de casos de prueba que se complementa con la particin equivalente. En lugar de seleccionar cualquier elemento de una clase de equivalencia se seleccionan casos de prueba en los bordes de la clase, se ejercitan los valores lmite. Otras tcnicas de pruebas de caja negra:

Bucles simples: Siendo n el nmero de pasos mximo que el bucle permite, el conjunto de pruebas a aplicar ser: saltar totalmente el bucle (la condicin no se cumple, el bucle no se ejecuta), pasar una vez por el bucle, pasar dos veces por el bucle, hacer m pasos por el bucle con m < n, hacer n-1, n y n+1 pasos por el bucle. Bucles anidados: El conjunto de pruebas sugerido es: empezar en el bucle ms interior y disponer de los dems bucles en sus valores mnimos; pruebas de bucles simples con este bucle interior; progresin hacia fuera, llevando a cabo pruebas para el siguiente bucle y manteniendo los bucles exteriores con sus valores mnimos; estos pasos se repiten hasta haber probado todos los bucles. Bucles concatenados: Si cada uno de los bucles es independiente, se pueden seguir los pasos descriptos para los bucles simples, de lo contrario, se seguirn los pasos sugeridos para los bucles anidados. Bucles no estructurados: siempre que sea posible, esta clase de bucles se debe redisear para que se ajuste a las construcciones de programacin estructurada.

Basados en casos de uso Mtodos basados en grafos Pruebas de comparacin Anlisis causa-efecto

Para cada tipo de bucles tenemos un conjunto de pruebas adicionales adems del anlisis del camino bsico (que asla los caminos de un bucle). Prueba de condicin: Es un mtodo de diseo de casos de prueba que ejercita las condiciones lgicas contenidas en el mdulo de un programa. Estas

UNIVERSIDAD CATOLICA LOS ANGELES DE CHIMBOTE

condiciones pueden ser simples o compuesta.

INGENIERIA DE SOFTWARE II

Condicin simple: es una variable lgica o una expresin relacional, posiblemente precedida con un operador NOT. Condicin compuesta: esta formada por dos o ms condiciones simples, operadores lgicos y parntesis. (operadores lgicos permitidos: OR, AND, NOT)