Verificacion y validacion

Computación
Estadística
Tema 6: Verificación y Validación

2

Tema 6: Verificación y
Validación
Introducción
El papel de la verificación y la validación
Validación del modelo conceptual
Verificación y validación del modelo lógico
Verificación del modelo de simulación
Validación del modelo de simulación
Ayuda para la validación de los modelos
Calibración y validación del modeloRevisiones estructuradas
Conclusiones
Computación Estadística – Tema 6: Verificación y Validación

3

Introducción
Las salidas de nuestro modelo se aplicarán sobre un sistema
real ⇒ Es importante que se pueda confiar en el modelo
¿∃ correspondencia entre el sistema real y nuestro modelo?
Verificación: Construcción correcta del modelo. Es el proceso
de determinar si la lógica operacionaldel modelo se corresponde
con la lógica del diseño
¿∃ errores en el programa?
Validación: Construcción de un modelo correcto. Es el proceso
de determinar si el modelo, como abstracción, es una buena
representación del sistema
Calibración del modelo: Proceso iterativo de comparar el
comportamiento del modelo con el del sistema, ajustando el
modelo en base a las diferencias que aparezcan. Serepite hasta
validar el modelo
Computación Estadística – Tema 6: Verificación y Validación

4

El papel de la verificación y la
validación (I)
•

Etapas en el modelado de un sistema real:
-

•

•

•

Modelo conceptual
Modelo lógico
Modelo de simulación

Se valida un modelo cuando resulta una
representación creíble del sistema real
Se verifica un modelo si la lógica dedicho modelo
se ha implementado correctamente
Para ambas tareas, se establecerán una serie de
criterios
Computación Estadística – Tema 6: Verificación y Validación

5

El papel de la verificación y la
validación (II)
P.e., Simulación de un supermercado. Posibles
cuestiones:
¿Relación entre el nº de cajeros y empaquetadores con
respecto al tiempo de espera en cola?
¿Efecto de laexistencia o no de cajas rápidas con
respecto al tiempo de espera en cola?
¿Efecto sobre el tiempo de espera en cola del hecho de
más de un cajero comparta empaquetador?
¿Efecto de que se puedan abrir o cerrar cajas según el
tamaño de la cola?

Computación Estadística – Tema 6: Verificación y Validación

6

El papel de la verificación y la
validación (III)
Modelo Conceptual
Identificarelementos del sistema real y sucesos
para incluirlos en el modelo
Variables exógenas
Variables endógenas
Sucesos externos
Variables de estado
Medidas de ejecución

Se valida por parte de los usuarios o el
administrador del sistema
Computación Estadística – Tema 6: Verificación y Validación

7

El papel de la verificación y la
validación (IV)
Modelo lógico
Incorpora los elementos,sucesos y variables
definidos en el modelo anterior
Implica validación y verificación

Modelo de simulación
Implementación del modelo anterior
Implica validación y verificación

Computación Estadística – Tema 6: Verificación y Validación

8

El papel de la verificación y la
validación (y V)
Nivel de
modelado

Verificación

¿Contiene el modelo todos los elementos,
sucesos, yrelaciones relevantes?
¿Podrá el modelo responder a las cuestiones
planteadas?

Conceptual

Lógico

de Simulación

Validación

¿Están los eventos representados
correctamente?
¿Son las fórmulas matemáticas y
las relaciones correctas?
¿Están las medidas estadísticas
formuladas correctamente?

¿Incluye el modelo todos los elementos
considerados en el modelo conceptual?
¿Contiene todaslas relaciones del modelo
conceptual?

¿Contiene el código todos los
aspectos del modelo lógico?
¿Están las estadísticas y las
fórmulas calculadas
correctamente?
¿Contiene el modelo errores de
codificación?

¿Es el modelo una representación válida del
sistema real?
¿Puede el modelo duplicar el
comportamiento del sistema real?
¿Es creíble el modelo para los expertos del
sistema?...