Cualquier proyecto requiere el desarrollo de una serie de planes iniciales antes de comenzar su implementación, que sirven como base y
Los ingenieros usan la simulación para describirun programa desde un punto de vista específico, como los datos que utilizará, sus componentes o la forma en que esperan trabajar. Volviendo al ejemplo del proyecto de construcción, los planos serán "modelos" que se pueden utilizar como guía durante la fase de diseño, así como para modelar y probar.
Según los investigadores, el más comúnEl tipo de modelo utilizado es la notación de diagrama de clases del Lenguaje de modelado unificado (UML), que se utiliza para describir la estructura de un sistema de software. La ventaja de trabajar con estos modelos es que son más abstractos que el código fuente, que contiene muchos detalles específicos sobre la tecnología utilizada. Y estos modelos pueden ser más concisos, más fáciles de fabricar y comprender ".
Entonces la simulación podría servirmás bien un paso preliminar que una alternativa al código fuente. Los modelos facilitan la comprensión del sistema que se está desarrollando y también se pueden utilizar para crear elementos de implementación específicos, automatizando las partes más repetitivas del proceso de programación.
Los ingenieros utilizan herramientas de verificación para prevenir errores que podrían afectar el propio código y por tanto la implementación final del sistema.
"Necesitamos asegurarnos de que los modelos sean correctos para minimizar cualquier error de software que pueda surgir como resultado".
Profesor de la Universidad Oberta de Catalunya, miembro del grupo de investigación SOM Research Lab Robert Clariso
Cada vez que se realiza un cambio en el modelo,por ejemplo, agregar, eliminar o cambiar información: esto significa que todo el sistema debe volver a analizarse, por lo que la validación generalmente solo se realiza después de que se haya creado el modelo final al final del proceso.
Este método también es innovador porquese refiere al uso de certificados, ejemplos que ilustran el correcto funcionamiento del modelo. Como señaló el investigador, “cuando modificamos el modelo, tener un nuevo certificado elimina la necesidad de validarlo.
Es mucho más económico adaptar el certificadoque reiniciar el proceso de verificación. Al explicar el proceso, los autores proponen que en lugar de validar el nuevo modelo, el modelo de certificado original se puede adaptar al nuevo. El mayor desafío al que se enfrentan actualmente es integrar estas técnicas en entornos y herramientas de modelado de software existentes.
Lee también:
La tierra alcanzará una temperatura crítica en 20 años.
Aborto y ciencia: qué pasará con los niños que darán a luz.
Se encontró el arte rupestre más antiguo del mundo.
El Ministerio de Salud de Argentina ha divulgado datos sobre efectos secundarios en quienes recibieron Sputnik V.