Métodos Informales (Validación y Verificación)
Los métodos informales de validación y verificación son algunos de los que se utilizan con mayor frecuencia en el modelado y la simulación. Se llaman informales porque son más cualitativos que cuantitativos. [2] Mientras que muchos métodos de validación o verificación se basan en resultados numéricos, los métodos informales tienden a basarse en las opiniones de expertos para sacar una conclusión. Si bien los resultados numéricos no son el enfoque principal, esto no significa que los resultados numéricos se ignoren por completo. Hay varias razones por las que se puede elegir un método informal. En algunos casos, los métodos informales ofrecen la conveniencia de realizar pruebas rápidas para ver si se puede validar un modelo. En otros casos, los métodos informales son la mejor opción disponible. En todos los casos, es importante tener en cuenta que informal no significa que sea un método de prueba menos verdadero. Estos métodos deben realizarse con la misma disciplina y estructura que uno esperaría en los métodos "formales". Cuando se ejecuta de esa manera, se pueden sacar conclusiones sólidas. [3]
En el modelado y la simulación, se utilizan técnicas de verificación para analizar el estado del modelo. La verificación se completa con diferentes métodos con el objetivo de comparar diferentes aspectos del modelo ejecutable con el modelo conceptual. Por otro lado, los métodos de validación son los métodos mediante los cuales se compara un modelo, ya sea conceptual o ejecutable, con la situación que se intenta modelar. Ambos son métodos mediante los cuales se puede analizar el modelo para ayudar a encontrar defectos en los métodos de modelado que se utilizan o posibles tergiversaciones de la situación de la vida real.
La inspección es un método de verificación que se usa para comparar qué tan cierto el modelo conceptual coincide con el modelo ejecutable. Los equipos de expertos, desarrolladores y probadores escanearán a fondo el contenido (algoritmos, código de programación, documentos, ecuaciones) en el modelo conceptual original y lo compararán con la contraparte adecuada para verificar qué tan cerca coincide el modelo ejecutable. [2] Uno de los propósitos principales de este método de verificación es ver qué objetivos originales se han pasado por alto. Al realizar una verificación de inspección en el modelo, el equipo no solo puede ver qué problemas podrían haberse pasado por alto, sino también detectar posibles fallas que pueden convertirse en un problema más adelante en el proyecto. [1]
Dependiendo de los recursos disponibles, los miembros del equipo de inspección pueden o no ser parte del equipo de producción del modelo. Preferiblemente serían grupos separados. Cuando son del mismo grupo, puede encontrarse con problemas en los que se pasan por alto cosas, ya que el miembro del grupo ya ha dedicado tiempo a analizar el proyecto desde el punto de vista de la producción. Las inspecciones también son más flexibles en el sentido de que pueden ser ad hoc o altamente estructuradas, con miembros de un equipo de inspección asignados roles específicos, como moderador, lector y registrador, y pasos de procedimientos específicos utilizados en la inspección. El objetivo de los inspectores es encontrar y documentar fallas entre el modelo conceptual y el modelo ejecutable. [2] [4]
El equipo que inspecciona un diseño de simulación puede incluir un moderador; una grabadora; un lector del equipo de diseño de simulación que explicará el proceso de diseño y responderá preguntas sobre el diseño; un representante del Desarrollador que traducirá el diseño a un formato ejecutable; PYMES familiarizadas con los requisitos de la aplicación, y el Agente V&V.
· Descripción general: el equipo de diseño de la simulación prepara una sinopsis del diseño. Esta y la documentación relacionada (p. ej., definición y objetivos del problema, requisitos de M&S, agenda de inspección) se distribuye a todos los miembros del equipo de inspección.
