Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Pruebas Del Software PDF
Pruebas Del Software PDF
Ciclo de vida
software
Activid.
1
Activid.
2 ......... Activ.
N-1
Pruebas
.........
Controles
DEFINICIONES
Pruebas (test): una actividad en la cual un sistema o uno de sus
componentes se ejecuta en circunstancias previamente
Proceso de
ejecutar un
especificadas, los resultados se observan y registran y se realiza
programa una evaluacin de algn aspecto
con el fin de
encontrar
errores
Caso de prueba (test case): un conjunto de entradas, condiciones
de ejecucin y resultados esperados desarrollados para un objetivo
particular
DEFINICIONES
Defecto Un defecto
Fallo Un resultado incorrecto
Error Una accin humana que conduce a un resultado incorrecto .
PRUEBAS DEL SOFTWARE
12.040
Defecto (calidad)
S.Aproximacin
Xyx//
???
Fallo (fiabilidad)
Se Plasma Da lugar a Fallo Que provoca
Error Defecto Efectos negativos
(del programador) (en el software) (el sistema no se (dependiendo de la
comporta como debera) criticidad del sistema)
PRUEBAS DEL SOFTWARE
12.045
PROCESO DE PRUEBA
ACTIVIDADES
Entrada Salida
Estructural
Caja negra
Funciones
PRUEBAS DEL SOFTWARE
12.120
PRUEBAS ESTRUCTURALES
GRAFO DE FLUJO DE UN PROGRAMA (PSEUDOCODIGO)
1
Abrir archivos;
Leer archivo ventas, al final indicar no ms registros; 2
Limpiar lnea de impresin;
WHILE (haya registros ventas) DO
3
Total nacional = 0;
Total extranjero = 0; 4
WHILE (haya reg. ventas) y (mismo producto)
IF (nacional) THEN 5
El diseo de casos Sumar venta nacional a total nacional
de prueba tiene ELSE 6
que estar basado Sumar venta extranjero a total extranjero
en la eleccin de ENDIF; 7a 7b
caminos Leer archivo ventas, al final indicar no ms registros;
PRUEBAS ESTRUCTURALES
GRAFO DE FLUJO DE LAS ESTRUCTURAS BASICAS DE PROGRAMA
x x
Ms riguroso
(ms caros)
PRUEBAS DEL SOFTWARE
12.150
PRUEBAS ESTRUCTURALES
then then
(a=1) (c=4)
(a=1) and (c=4)
else
else
PRUEBAS DEL SOFTWARE
12.160
PRUEBAS ESTRUCTURALES
PRUEBAS ESTRUCTURALES
a1
a2 a3
12.170
a4
3 Regin 1
a5
a6 a7
4
Regin 2
a8
a9
5 Regin 3
a10
6
a11 a12
Regin 4
7 8
a13
a14
PRUEBAS DEL SOFTWARE
9
PRUEBAS ESTRUCTURALES
10
Regin 5
11
CALCULO DE LA COMPLEJIDAD CICLOMATICA SOBRE UN GRAFO
a) V(G) = 14-11+2 = 5
b) V(G) = 5 regiones cerradas
c) V(G) = 5 condiciones
PRUEBAS DEL SOFTWARE
12.180
PRUEBAS FUNCIONALES
Se centran en las funciones, entradas y salidas Es impracticable probar el
software para todas las posibilidades. De nuevo hay que tener criterios para
elegir buenos casos de prueba
PRUEBAS FUNCIONALES
TCNICA: PARTICIPACIONES O CLASES DE EQUIVALENCIA
Cualidades que definen un
PRUEBAS FUNCIONALES
PARTICIPACIONES O CLASES DE EQUIVALENCIA
PRUEBAS FUNCIONALES
PARTICIPACIONES O CLASES DE EQUIVALENCIA
PRUEBAS FUNCIONALES
PARTICIPACIONES O CLASES DE EQUIVALENCIA
El ltimo paso del mtodo es el uso de las clases de equivalencia para identificar los
casos de prueba correspondientes. Este proceso consta de las siguientes fases:
PRUEBAS FUNCIONALES
TABLA DE CLASES DE EQUIVALENCIA DEL EJEMPLO
Habra que disear casos de prueba que cubran todas las clases de equivalencia, tanto
vlidas como invlidas, y para las invlidas en casos de prueba distintos
PRUEBAS DEL SOFTWARE
12.240
PRUEBAS FUNCIONALES
TCNICA: ANALISIS DE VALORES LIMITE (AVL)
La experiencia indica que los casos de prueba que exploran las condiciones
lmite de un programa producen un mejor resultado para detectar defectos
El AVL es una tcnica de diseo de casos de prueba que complementa a la
de particiones de equivalencia. Las diferencias son las siguientes:
PRUEBAS FUNCIONALES
ANALISIS DE VALORES LIMITE (AVL)
LAS REGLAS PARA IDENTIFICAR CLASES SON:
1. Si una condicin de entrada especifica un rango de valores, se deben generar
casos para los extremos del rango y casos no vlidos para situaciones justo ms
all de los extremos
2. Si la condicin de entrada especifica un nmero finito y consecutivo de valores, hay que
escribir casos para los nmeros mximo, mnimo, uno ms del mximo y uno menos del
mnimo de valores
3. Usar la regla 1 para la condicin de salida
4. Usar la regla 2 para cada condicin de salida
PRUEBAS FUNCIONALES
TCNICA: CONJETURA DE ERRORES
Se enumera una lista de posibles equivocaciones tpicas que pueden cometer los
desarrolladores y de situaciones propensas a ciertos errores
PRUEBAS ALEATORIAS
Una cuestin importante es por qu son necesarias las pruebas de caja blanca
si comprobamos que las funciones se realizan correctamente?
Especificacin Especificacin
de diseo de diseo
de las pruebas ............... de las pruebas
Especificacin
de caso de
prueba
Especificacin
de procedimiento
de pruebas
EJECUCIN
Informes
PRUEBAS DEL SOFTWARE
12.320
PLAN DE PRUEBAS
PLAN DE PRUEBAS
Estructura fijada en el estndar
1. Identificador nico del documento
2. Introduccin y resumen de elementos y caractersticas a probar
3. Elementos software a probar
4. Caractersticas a probar
5. Caractersticas que no se probarn
6. Enfoque general de la prueba
7. Criterios de paso/fallo para cada elemento
8. Criterios de suspensin y requisitos de reanudacin
9. Documentos a entregar
10. Actividades de preparacin y ejecucin de pruebas
11. Necesidades de entorno
12. Responsabilidades en la organizacin y realizacin de las pruebas
13. Necesidades de personal y formacin
14. Esquema de tiempos
15. Riesgos asumidos por el plan y planes de contingencias
16. Aprobaciones y firmas con nombre y puesto desempeado
PRUEBAS DEL SOFTWARE
12.340
identificador
casos que se van a utilizar
procedimientos que se van a seguir
ESPECIFICACION DE PROCEDIMIENTO
DE PRUEBA
ESPECIFICACION DE PROCEDIMIENTO
DE PRUEBA
Estructura fijada en el estndar
1.EJECUTAR
3.PRUEBAS
ADICIONALES
2.COMPROBAR
SI TERMIN
LA PRUEBA
3.EVALUAR
RESULTADOS
PRUEBAS DEL SOFTWARE
12.410
EJECUTAR
PRUEBAS
DEPURAR
LAS DEPURACIN DEL
PRUEBAS CDIGO
Si ALGUN Si
FALLO? DEFECTOS
DEFECTOS
EN LAS SOFTWARE
No
PRUEBAS
COMPROBAR
TERMINACIN
PRUEBAS DEL SOFTWARE
12.420
PRUEBAS
ADICIONALES EJECUCIN
No Si Criterios de
CONDICIONES Pruebas complecin descritos
ANORMALES adicionales? en el plan de pruebas
No
TERMINACIN
NORMAL
EVALUACIN
TERMINACIN
ANORMAL
PRUEBAS DEL SOFTWARE
12.430
EJECUCION
Se pueden
distinguir
histricos,
Histrico Informe Histrico Informe
de de de de incidencias y
pruebas incidente pruebas incidente
resmenes
Ejecucin
Ejecucin
Informe
Resmen
PRUEBAS DEL SOFTWARE
12.440
HISTORICO DE PRUEBAS
Objetivo
HISTORICO DE PRUEBAS
Identificador
Fecha y hora
Identificador de informe de incidente
Otras informaciones
PRUEBAS DEL SOFTWARE
12.460
INFORME DE INCIDENTE
Objetivo:
INFORME DE INCIDENTE
Identificador
Objetivo:
Identificador
Casos
de
prueba
Ejecucin
Causas
ignoradas
Correcciones
Sntomas
de
Depuracin defectos
Causas (errores)
Esta informacin no debera ser usada para evaluar al personal, sino para la
formacin del mismo sobre cmo prevenir los errores. Tambin se utiliza para
predecir futuros fallos software
PRUEBAS DEL SOFTWARE
12.535
Con el esquema del diseo del software, los mdulos probados se integran
para comprobar sus interfaces en el trabajo conjunto (prueba de integracin)
Etapas tpicas ms en detalle
El software ya validado se integra con el resto del sistema (por ejemplo, elementos
mecnicos, interfaces electrnicas, etc.) para probar su funcionamiento conjunto
(prueba del sistema)
Por ltimo, el producto final se pasa a la prueba de aceptacin para que el usuario
compruebe en su propio entorno de explotacin si lo acepta como est o no (prueba
de aceptacin)
PRUEBAS DEL SOFTWARE
12.550
Cdigo
PRUEBA DE UNIDAD
Se trata de las pruebas formales que permiten declarar que un mdulo est listo y
terminado (no las informales que se realizan mientras se desarrollan los mdulos)
PRUEBAS DE INTEGRACION
PRUEBAS DE INTEGRACION
Tipos fundamentales de integracin
Se combinan los mdulos de bajo nivel en grupos que realicen una funcin
o subfuncin especfica (o quizs si no es necesario, individualmente) de
este modo reducimos el nmero de pasos de integracin.
Se escribe para cada grupo un mdulo impulsor o conductor de este
modo permitimos simular la llamada a los mdulos, introducir datos de
prueba y recoger resultados.
Se prueba cada grupo mediante su impulsor
Se eliminan los mdulos impulsores y se sustituyen por los mdulos de
nivel superior en la jerarqua.
PRUEBAS DEL SOFTWARE
12.590
B C D
E F G
PRUEBAS DEL SOFTWARE
12.600
E F G D
Pruebas de
Unidad
PRUEBAS DEL SOFTWARE
12.610
2 fase 3 fase
Impulsor de E Impulsor de F A
B C D
B C
E F G
E F G
Prueba de unidad de E
Prueba de integracin de B con E
PRUEBAS DEL SOFTWARE
12.615
ETAPAS FUNDAMENTALES DE LA
INTEGRACION DESCENDENTE
El mdulo raz es el primero: Se escriben mdulos ficticios que simulan
los subordinados
MDULOS FICTICIOS
-Complejidad
Mdulos que slo muestran un mensaje de traza
B Ficticio C Ficticio D
Recordar el recorrido de
rboles en profundidad
PRUEBAS DEL SOFTWARE
12.660
B C ficticio D
Recordar el recorrido de
Ficticio E rboles en anchura
PRUEBAS DEL SOFTWARE
12.670
INTEGRACION NO INCREMENTAL
Cada mdulo que tiene que ser probado necesita lo siguiente:
Una vez probado cada mdulo por separado, se ensamblan todos de una vez y
se prueban en conjunto
PRUEBAS DEL SOFTWARE
12.680
Impulsor
Ventajas de la incremental:
PRUEBA DE ACEPTACION
Es la prueba planificada y organizada formalmente para
determinar si se cumplen los requisitos de aceptacin marcados
por el cliente.
Sus caractersticas principales son las siguientes:
RECOMENDACIONES GENERALES