Resumen ED04

1.- Planificación de las pruebas.
Verificación: comprobación que un sistema o parte de un sistema, cumple con las
condiciones impuestas. Se comprueba si la aplicación se está construyendo
correctamente.
Validación: proceso de evaluación del sistema o de uno de sus componentes, para
determinar si satisface los requisitos especificados.
Siguiendo el Modelo en Espiral, las pruebas empezaríancon la prueba de unidad, donde
se analizaría el código implementado y seguiríamos en la prueba de integración, donde
se prestan atención al diseño y la construcción de la arquitectura del software. El
siguiente paso sería la prueba de validación, donde se comprueba que el sistema
construido cumple con lo establecido en el análisis de requisitos de software. Finalmente
se alcanza la prueba desistema que verifica el funcionamiento total del software y otros
elementos del sistema.
Unitarias -> Integración -> Validación -> Verificación.
2.- Tipos de prueba.
Las pruebas de caja negra son aquellas realizadas son aquellas en las que se realiza la entrada y se espera la salida, pero no se
sabe el proceso ni la estructura interna del sistema para obtenerla. Sin embargo, las de cajablanca, se realizan directamente
sobre el código de la aplicación.
De unidad: Pruebas de un módulo o parte de un código.
De carga: Comprobaciones de rendimiento bajo condiciones diferentes de carga de peticiones.
De estrés: Se realizan pruebas de cargas para observar los límites y la solidez de la aplicación con muchos usuarios y peticiones.
De estabilidad: Se realizan pruebas de cargas continuadasen el tiempo para comprobar que es estable.
De picos: Pruebas de comportamiento ante el aumento y disminución repentinos de usuarios y peticiones.
Funcional: (Caja negra) centrado en entradas y salidas sin importar cómo se consiguen los resultados.
•
Particiones equivalentes: Pruebas de valores de conjunto.
•
Análisis de valores límite: Se seleccionan para probar con los valores máximos omínimos de los conjuntos.
•
Aleatorias: Generar entradas aleatorias para la aplicación. Manual o Automática(Generadores de prueba).
Estructural: (Caja blanca) Analiza los caminos que llevan a los resultados.
Criterios de cobertura lógica:
•
Cobertura de sentencias: casos suficientes para que cada instrucción del programa sea ejecutada, al menos, una vez.
•
Cobertura de decisiones: casos deprueba para que cada resultado se evalúe al menos una vez a cierto y otra a falso.
•
Cobertura de condiciones: casos de prueba para que cada elemento se evalúe al menos una vez a cierto y otra falso.
•
Cobertura de condiciones y decisiones: consiste en cumplir simultáneamente las dos anteriores.
•
Cobertura de caminos: Prueba de los distintos caminos de prueba desde inicio a fin.
Deregresión: Comprobar que los cambios sobre un componente de una aplicación, no introducen un comportamiento no
deseado o errores adicionales en otros componentes no modificados. Se hace un cambio en el sistema, tanto para corregir

un error, como para realizar una mejora. No es suficiente probar sólo los componentes modificados o añadidos.
3.- Procedimientos y casos de prueba.
En el diseño de loscasos de prueba, siempre es necesario asegurar que con ellos se obtiene un nivel aceptable de probabilidad
de que se detectarán los errores existentes. Las pruebas deben buscar un compromiso entre la cantidad de recursos que se
consumirán en el proceso de prueba, y la probabilidad obtenida de que se detecten los errores existentes
Enfoque funcional: El programa, o parte de él, recibe un entrada deforma adecuada y se produce una salida correcta
Enfoque estructural: Centradas en la implementación interna del programa.
Enfoque aleatorio: A partir de modelos, se elaboran casos de prueba que prueben las entradas del programa.

4.- Herramientas de depuración.
Todos los IDE´s tienen sus herramientas de depuración. Al programar con un IDE se pueden producir errores de compilación y...