Documentos de Académico
Documentos de Profesional
Documentos de Cultura
1. Descripcin y objetivos
Las pruebas son prcticas a realizar en diversos momentos de la vida del sistema de informacin para verificar:
El correcto funcionamiento de los componentes del sistema. El correcto ensamblaje entre los distintos componentes. El funcionamiento correcto de las interfaces entre los distintos subsistemas que lo componen y con el resto de sistemas de informacin con los que se comunica. El f ncionamiento correcto del sistema integrado de funcionamiento hardware y software en el entorno de operacin. Que el sistema cumple con el funcionamiento esperado y permite al usuario de dicho sistema que determine su aceptacin, desde el punto de vista de su funcionalidad y rendimiento. Q Que los cambios sobre un componente de un sistema de p informacin, no introducen un comportamiento no deseado o errores adicionales en otros componentes no modificados.
1. Descripcin y objetivos
El diseo de casos de prueba para la verificacin del software puede significar un esfuerzo considerable (cerca del 40% del tiempo total de desarrollo) Verificacin y Validacin
Verificacin: V ifi i
estamos construyendo el producto correctamente?
Validacin:
estamos construyendo el producto correcto?
Recursos: http://www.aptest.com/resources.html
3
2. Tipologas. Pruebas Pruebas b Pruebas Pruebas Pruebas Pruebas Unitarias. de d Integracin. del Sistema. de Implantacin. de Aceptacin. de Regresin Regresin.
2. Tipologas. Unitarias
Las pruebas unitarias constituyen la prueba inicial de un sistema y las dems pruebas deben d b apoyarse sobre ellas. b ll Tipologas:
Enfoque estructural o d caja bl E f t t l de j blanca. S verifica Se ifi la estructura interna del componente con independencia de la funcionalidad establecida para el mismo. Por tanto, no se comprueba la correccin de los resultados si stos se p producen. Enfoque funcional o de caja negra. Se comprueba el correcto funcionamiento de los componentes del sistema de informacin analizando las entradas y informacin, salidas y verificando que el resultado es el esperado.
5
2. Tipologas. Integracin El objetivo de las pruebas de integracin es verificar el correcto ensamblaje entre los distintos componentes una vez que han sido probados unitariamente con el fin de comprobar que interactan correctamente a travs de sus interfaces, tanto internas como externas cubren la funcionalidad externas, establecida y se ajustan a los requisitos no funcionales especificados en las verificaciones correspondientes.
6
2. Tipologas. Del Sistema. Las pruebas del sistema tienen como objetivo ejercitar profundamente el sistema comprobando la integracin del sistema de informacin g globalmente, , verificando el funcionamiento correcto de las interfaces entre los distintos subsistemas que lo componen y con el resto de sistemas de informacin con los que se comunica.
7
2. Tipologas. De Implantacin. El objetivo es comprobar el funcionamiento correcto del sistema integrado de hardware y software en el entorno de operacin, y permitir al q , p usuario que, desde el punto de vista de operacin, revise el sistema en base al cumplimiento de los requisitos no funcionales especificados.
2. Tipologas. De Aceptacin. El objetivo de las pruebas de aceptacin es validar que un sistema cumple con el funcionamiento esperado y permitir al usuario de dicho sistema que determine su aceptacin, desde el p , punto de vista de su funcionalidad y rendimiento. rendimiento
10
2. Tipologas. De Regresin. El objetivo de las pruebas de regresin es eliminar el efecto onda es decir onda, decir, comprobar que los cambios sobre un componente de un sistema de , no introducen un informacin, comportamiento no deseado o errores adicionales en otros componentes no modificados (Repeticin d casos d prueba) (R i i de de b )
11
12
13
14
Until
15
3. Pruebas de Caja Blanca. Camino Bsico Complejidad ciclomtica de un grafo de flujo V(G) establece el nmero de caminos independientes Puede calcularse d P d l l de t tres f formas alternativas:
El nmero de regiones del grafo de flujo V(G) = A - N + 2,
donde A es el nmero de aristas y N es el nmero de nodos
V(G) = P + 1 1,
donde P es el nmero de nodos predicado
16
V(G) = 4 El grafo de la figura tiene cuatro regiones. 11 aristas - 9 nodos + 2 i t d =4 3 nodos predicado + 1 = 4
2, 3
66
4, 5 4, 5
77 99
88
10 10
11 11
17
Estructuras de Control
19
Estructuras de Control
Concatenados
1.Comenzar por el bucle ms interno. 2. Probarlo como un bucle simple. 3. Progresar hacia fuera, manteniendo los bucles internos en sus valores tpicos. 4. Continuar hasta probarlos todos.
Anidados
Si el contador del primer bucle no se utiliza como valor inicial del segundo bucle, pueden probarse como bucles simples. Si no es as deber aplicarse el enfoque de anidados.
20
4. Pruebas de Caja Negra. Algunas tcnicas que se basan en la filosofa de la caja negra son:
Particin Equivalente Anlisis de Valores Lmite Grafos de Causa-Efecto Causa Efecto Pruebas de Comparacin
22
Particin Equivalente
Mtodo que divide el campo de entrada de un programa en clases de datos Una condicin de entrada es un valor numrico especfico un rango de valores un especfico, valores, miembro de un conjunto de valores o lgica Una clase d equivalencia representa un U l de i l i conjunto de estados vlidos y no vlidos para una condicin d entrada di i de d La prueba de particin equivalente se basa en evaluar las clases de equivalencia para una condicin de entrada
23
Particin equivalente.
Clase Equivalencia No Vlida
Cdigo banco L i Cdi b Lgica (puede 1: En blanco ( d 1 E bl estar o no) Si est 2: 100<= Cdigo banco <= 999 es Rango Cdigo Cdi sucursal N Cuenta Rango R Valor
3: Un l 3 U valor no numrico i 4: Cdigo banco < 100 5: Cdigo banco > 999
6: 6 0 <= Cdi sucursall <= 7 Cdi sucursall < 1000 Cdigo 7: Cdigo 9999 8: Cdigo sucursal >= 9999 9: Cualquier nmero de cinco 10: Nmero de ms de cinco dgitos dgitos 11: Nmero de menos de cinco dgitos 12: Cualquier cadena de 13: Cadena de menos de 5 caracteres alfanumricos posiciones de 5 posiciones 14: Cadena de ms de 5 posiciones i i 18: Cadena distinta de blanco y de las vlidas
Clave
Valor
Orden
24
Valores lmite
La tcnica de Anlisis de Valores Lmites selecciona casos de prueba que ejerciten los valores l l lmite Complementa l la l prueba b de d particin i i equivalente. En lugar de realizar la prueba con cualquier elemento de la particin equivalente, se escogen los valores en los bordes de la clase Se derivan tanto casos de prueba a partir de las condiciones d entrada como con l l di i de d las d de salida
25
26