Verificacion Y Valida Cion De Un Sistema
Enviado por javierirazoqui • 18 de Noviembre de 2014 • 703 Palabras (3 Páginas) • 228 Visitas
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
...