Verificación y Validación

Validación se refiere a determinar si el modelo de una simulación conceptual es una representación precisa del sistema en estudio, por lo tanto, la verificación apunta a un programa informático “perfecto”, en el sentido de que el código de computadora no tiene errores de programación restantes.

Pero de igual forma no se puede suponer que la validación de como resultado un modelo perfecto, ya que el modelo perfecto sería el sistema real en si mismo. El modelo debe ser “lo suficientemente bueno”, lo que depende del objetivo del modelo.

Un ejemplo es que algunas aplicaciones solo necesitan diferentes escenarios. El modelo conceptual se desarrolla a través de una fase de análisis y modelado, el modelo computarizado se desarrolla a través de una fase de programación e implementación de computadora, y las inferencias sobre la entidad problemática se obtienen al realizar experimentos por computadora en un modelo computarizado en una fase llamada experimentación.

En la practica son cuestiones importantes. Un programa de computadora con errores lo único que puede generar son resultados inútiles o peor aún, puede generar tonterías que pasan desapercibidas por lo tanto un modelo no valido puede conducir a decisiones equivocadas.

En la práctica la verificación y la validación a menudo son mixtas.

Todos los procesos tienen elementos de arte y ciencia.

Miser afirma que “la naturaleza de la investigación científica implica que es posible eliminar por completo las trampas” ya que este tipo de problemas ocurren en todo tipo de modelados y en todos los tipos de programas de computadora.

El interés en V&V muestra un fuerte aumento en la comunidad de defensa de los estados unidos también en Europa y china, la organización de defensa también parece tomar la iniciativa misma.

El renovado interés en V&V nos ilustra también mediante la publicación de una monografía sobre la validación por Knepell y Arangno y el numero especial sobre la “validación de modelos en investigación operativa” del European Journal of operational research

No existe realmente una teoría estándar sobre V&V, tampoco una caja de herramientas estándar en donde se tomen las herramientas en un orden ya elaborado de manera natural.

Existen una gran cantidad de teorías filosóficas, técnicas y estadísticas, prácticas de software, etc.

Son posibles barias de las clasificaciones de los métodos en V&V, el énfasis del articulo está en las técnicas de estadísticas, ya que ellas nos pueden ayudar a proporcionar datos cuantitativos, objetivos y reproducciones sobre la calidad de los modelos de una simulación

Para poder clasificar las técnicas, en el documento se enfatiza que en una practica las cantidades de los datos en las entradas y las salidas de una simulación muchas veces pueden variar mucho.

El objetivo final de este tipo de trabajos es encuestar las técnicas de estadísticas de V&V, además también presenta dos nuevas técnicas de estadísticas para la validación.

Verificación

Ya que el modelo de simulación ha sido programado, los analistas también llamados programadores se deben percatar y deben verificar que el código de la computadora contiene algún tipo de error en la programación, varias de las técnicas son aplicables, pero ninguno es perfecto.

La ingeniería de software es de hecho una vasta área de investigación. Algunos términos clave utilizados son: programación modular, programación orientada a objetos, enfoque del programador jefe, recorridos estructurados y pruebas de corrección

Obtener todos los resultados intermedios de un programa de computadora automáticamente se llama rastreo. Incluso si un analista no desea calcular algún tipo de resultado intermedio a mano. Aun puede observas el seguimiento del programa y buscar los errores en la programación.

El código de la computadora debe diseñarse de manera modular y no de como programación espagueti. Después los analistas dividen y vencen, o sea verifican el código informativo total modulo por modulo. Los diferentes miembros de los equipos pueden verificar diferentes módulos

Muchos de los generadores requieren programación de maquina o programación bastante

...