Verificación y validación Flashcards
Que preguntas ofrece la verficación?
❑¿Estamos construyendo el producto correctamente?
❑¿El software está de acuerdo con su especificación?
Que preguntas ofrece la validación?
❑¿Estamos construyendo el producto correcto?
❑¿El software cumple con las expectativas del cliente?
Objetivo de la validación y verificación?
V&V deberían establecer confianza que el software es adecuado para su
propósito. Debe ser suficientemente bueno para su uso previsto. El tipo de
uso determinará el grado de confianza que es necesario
Relación entre error, defecto y Fallo
El error puede generar un defecto (implementación de ese error en el código) que puede generar un fallo (Manifestación del defecto al usar el sistema)
Como son las V&V estática, dinámica y formal?
Estatica: ❑Análisis de la representación
estática del sistema para
descubrir defectos
(inspecciones)
* Puede ser complementado
por documentación basada en
herramientas y análisis de
código (manual o
automática)
Dinámica:
❑observar el
comportamiento del
producto (testing)
▪ El sistema es ejecutado con
datos de test y se observa su
comportamiento.
Formal: ❑métodos lógicomatemáticos (llamados
métodos formales) para
verificar (probar) la
correctitud del programa,
generalmente para
aplicaciones de misión
crítica
¿Qué detecto si realizo una prueba estatica y/o dinamica?
Estática: ERRORES O DEFECTOS
Dinámica: FALLOS
Cuales son los 7 principios del testing?
- testeo exhaustivo
- Defect Claustering
- Paradoja del pesticida
- Dependiente del contexto
- Cuanto mas temprano mejor
- Muestra la presencia de defectos
- Ausencia de error es una falacia
Que dice el Principio nro 1 – El testeo exhaustivo no es posible
Si tuviéramos que testear todas las combinaciones posible, la ejecución de las pruebas elevaría el costo y tiempo exponencialmente
Necesitamos un conjunto óptimo de tests basado en la evaluación de riesgo de
la aplicación.
Que dice el Principio nro 2 – Defect Clustering,
Un nro. de
módulos contienen gran parte de los defectos.
Que dice el Principio nro 3 – La Paradoja del pesticida.
Repetir
sistemáticamente los mismos test puede
eventualmente no encontrar más bugs.
Revisar periódicamente la efectividad de los test
Que dice el Principio nro 4 –
El testing es dependiente del
contexto
QUe dice el Principio nro 5
Cuanto mas temprano mejor. El error se
propaga por todo el ciclo de vida. El costo de corregirlo
aumenta a medida que avanza el proyecto
Que dice el Principio nro 6 –
Los tests muestran la presencia, no la
ausencia de errorrs (ley de Dijkstra)
Que dice el Principio nro 7 -
Ausencia de error es una falacia
Que es el testing dinamico?
Testing implica ejecutar un programa, esto es
evaluar su comportamiento dinámico
❑Es necesario ejecutar el programa para
asegurarnos que todos los factores ambientales
que pueden influir en la ejecución son tenidos
en cuenta
❑Los programas pueden arrojar distintos
resultados dependiendo el estado del sistema