Zusammenfassung der Ressource
Métodos de verificación
de programas
- Aserciones
- Precondiciones
- Postcondiciones
- Reglas para la prueba de un programa
- Se debe seguir un esquema estratégico que incluya:
- Pruebas de validación
- Revisión de la configuración
- Garantizar que el desarrollo de
todos los elementos se haya dado
de forma adecuada
- Pruebas alfa y beta
- Permiitir al usuario
validar los
requerimientos
- Pruebas del sistema
- Pruebas de recuperación
- Forza al sistema a fallar y verifica que
se recupere de manera adecuada
- Pruebas de seguridad
- Verifica los mecanismos de protección
- Pruebas de esfuerzo
- Enfrenta los programas
con situaciones
anormales
- Pruebas de rendimiento
- Pone a prueba el rendimiento del software en
tiempo de corrida, dentro del contexto de un
sistema integrado.
- Pruebas de despliegue
- Prueba el programa en cada
entorno que será utilizado
- Depuración
- Correción
- Etapas para la corrección de un
programa
- Verificación y validación
- Verificación
- Conjunto de tareas que garantizan que el
software implementa
correctamente su función
- Validación
- Conjunto diferente de tareas que aseguran que el
software se construye de acuerdo a los
requerimientos del cliente
- Incluye
- Revisiones técnicas
- Auditorías de calidad y configuración
- Monitoreo de rendimiento
- Simulación
- Estudio de factibilidad
- Revisión de documentación
- Revisión de base de datos
- Análisis de algoritmos
- Pruebas de desarrollo
- Pruebas de usabilidad
- Pruebas de calificación
- Pruebas de aceptación
- Pruebas de instalación
- Pruebas de unidad
- Para descubrir errores en los datos y en la lógica
de procesamiento encapsulado en uno o varios
componentes
- Pruebas de integración
- Integrar los componentes hasta construir el
sistema completo
- Pruebas de orden superior
- Descubrir errores en la satisfacción de requerimientos del cliente
- Depuración
- Diagnosticar y corregir los
errores conforme se vayan
descubriendo