Una nueva herramienta para el diseño de software rápido y sin errores

software

Crédito de la foto: CC0 Public Domain

Todo proyecto de construcción requiere la formulación de una serie de planos iniciales antes de que comience la construcción, que sirven como base y guía para todo el proceso. Se utiliza un proceso similar en el desarrollo de software, que implica un paso específico conocido como modelado. “El proceso equivale a la elaboración de una serie de planos de un edificio antes de su construcción”, afirma el catedrático de la Facultad de Informática, Multimedia y Telecomunicaciones de la Universidad de Oberta de Catalunya (UOC) y miembro de la SOM Research Laboratorio del Instituto Interdisciplinario de Internet (IN3), Robert Clarisó.

Los ingenieros utilizan el modelado para describir un sistema de software desde una perspectiva específica, p. Ej. B. los datos que utilizará, sus componentes o la forma en que esperan que sea. Volviendo al ejemplo de un proyecto de construcción: los planos serían los modelos que se pueden utilizar como guía durante la fase de desarrollo, así como para realizar simulaciones y pruebas.

Según el investigador, "el tipo de modelo más utilizado es la notación de diagrama de clases UML (Unified Modeling Language), 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. En palabras de Clarisó: "Los modelos pueden ser más concisos, más fáciles de producir y comprender".

Por lo tanto, el modelado serviría como un paso preliminar en lugar de una alternativa al código fuente. Los modelos facilitan la comprensión del sistema en desarrollo y también se pueden utilizar para generar elementos de implementación específicos, automatizando así las partes repetitivas del proceso de programación.

El papel de las herramientas de verificación

Los ingenieros utilizan herramientas de verificación para evitar errores que podrían afectar al código en sí y, por tanto, a la implementación final del sistema. Clarisó destacó la importancia de este proceso y dijo: "Necesitamos asegurarnos de que los modelos sean correctos para minimizar los posibles errores en el software que pudieran resultar de ellos".

Como parte de un estudio publicado en el Journal of Object Technology, Clarisó, junto con los colegas Carlos A. González (investigador del Gran Telescopio Canarias) y Jordi Cabot (investigador del ICREA), desarrollaron una nueva técnica de verificación para modelos UML / OCL que resuelven un problema común. Cada vez que un diseñador realiza cambios en el modelo, p. Ej. B. Si se agrega, elimina o cambia información, esto significa que todo el sistema debe volver a analizarse. Por esta razón, la verificación generalmente no se realiza hasta que se haya producido un modelo final al final del proceso.

Como explicó Clarisó, "Nuestro artículo describe el uso de métodos de verificación incrementales, lo que significa que facilitamos la verificación de un modelo con cada cambio". En lugar de poder verificar el modelo al final del proceso, como es el caso actualmente, se puede verificar durante el diseño sin tener que comenzar de nuevo, lo que facilita la identificación de errores desde el principio.

Una comunidad activa, tanto a nivel nacional como mundial

Este método también es innovador en términos de uso de certificados. Estos ejemplos muestran cómo funciona correctamente el modelo. Como señaló el investigador, “si cambiamos un modelo, un nuevo certificado eliminaría la necesidad de verificación.

Personalizar un certificado es mucho más económico que volver a ejecutar el proceso de verificación. "Los autores explican el proceso y sugieren que en lugar de verificar el nuevo modelo, se debe adaptar un certificado del modelo original al nuevo modelo. El principal desafío ahora es integrar estas técnicas en las herramientas y entornos de modelado de software existentes".

Clarisó, coordinador de la Red Española de Excelencia en Ingeniería de Software Dirigida a Modelos, comentó sobre el sector en general, destacando: "La comunidad española del modelaje sigue siendo muy activa y participa en un gran número de proyectos de investigación nacionales e internacionales".

Aunque la red ya no está operativa, la comunidad continúa trabajando junta y colaborando en la conferencia anual de ingeniería de software y bases de datos, que proporciona un área para la ingeniería de software basada en modelos.


Una herramienta para automatizar la programación de dispositivos para aplicaciones de IoT


Más información:
Robert Clarisó y col. Verificación incremental de modelos UML / OCL.,. La revista de tecnología de objetos (2020). DOI: 10.5381 / jot.2020.19.3.a7

A cargo de la Universitat Oberta de Catalunya

Citar: Una nueva herramienta para facilitar el diseño de software rápido y sin errores (2021, 15 de enero), consultado el 21 de enero de 2021 desde https://techxplore.com/news/2021-01-tool-fast-error-free- software .html

Este documento está sujeto a derechos de autor. Excepto en el caso de comercio justo con fines de estudio o investigación privados, no se puede reproducir ninguna parte sin permiso por escrito. El contenido se proporciona únicamente con fines informativos.

Subir

Usamos cookies. Ver mas