Verificacion Y Valida Cion De Un Sistema

Modelo de Simulación

Que es la verificación

Para la simulación es importante la verificación del modelo que permite determinar que el programa realiza lo que se propuso. Si no fuera así se realiza la corrección de los errores.La verificación chequea el traslado del modelo de simulación conceptual (diagrama de flujo e hipótesis) en un programa que ejecute correctamente lo pactado. El concepto es simple pero el trabajo es tedioso

Técnicas de Verificación

Diseño modular top-down (completo)

La modularidad es el modelado expresado en módulos, que son subrutinas, subprogramas y procedimientos individuales comunicados por interfaces que son el número de entradas o salidas o estructura de datos.

Interface + módulo - desarrollo y mantenimiento independientes.

Son pequeños problemas a resolver.

TOP-DOWN = diseño jerárquico - llevar el sistema a pequeños problemas.

Los módulos con distintas funciones se subdividen en otros módulos más pequeños hasta un punto en que sean simples de manejar.

Corrección de errores (Debugging)

Hay varias formas de hacer la corrección de errores (debbuging):

1. Realizar la construcción del programa con modelos.

2. Comparar las formas de pensar el modelo con distintas personas.

3. Correr varios valores de parámetros y chequear salidas razonables.

4. Correr por trazas: la traza es el estado del sistema en un tiempo dado de simulación. Cada vez que ocurre un evento se imprime una lista para poder seguirla "a mano".

5. Disponer de un modelo simplificado para chequear.

6. Observar una animación de la salida del programa.

7. Escribir las salidas y comparar con datos históricos.

8. Usar un simulador en paralelo que ejecute el mismo modelo.

Técnicas de Verificación de modelos

La inclusión de chequeos y salidas en el programa indican dónde está el error. Por ejemplo si la suma de las probabilidades da 1 para ciertos eventos, el programa chequea esta condición e imprime un mensaje de error.

• Estructura “caminar a través de (“walking through”): Se explica el código a otra persona o grupo. Si no lo entienden se observa cuidadosamente dónde está el error.

• Modelos determinísticos: Se usan funciones de distribución conocidas para saber los resultados para su corrección.

• Casos simplificados de corridas: Se corren casos simples para saber si hay errores.

• Traza: es una lista ordenada en el tiempo de eventos y sus variables asociadas. El nivel de detalle puede ser la traza de eventos, de procedimientos, de variables. Las salidas de trazas son útiles para detectar errores pero causan mucho overhead en el procesamiento.

• Gráficas on-line: Muestra lo que sucede durante la corrida. Demanda mucho tiempo pero es más

...