Analisis de riesgo de Especificaciones de Requisitos de software
Resumen:
- Es ampliamente aceptado que muchos de los errores presentes en el software se deben a la incorrecta comprensión sobre qué debe hacer el sistema a construir. Luego, poner suficiente énfasis en la captura y especificación de requisitos es de fundamental importancia, práctica y económica, en las metodologías de desarrollo de software modernas. Usualmente, las descripciones de requisitos tienden a idealizar demasiado algunos aspectos del ambiente, asumiendo que tendrá ciertos comportamientos favorables para con el sistema, que no son para nada realistas. Además, las descripciones pueden ser demasiado abstractas, dejando lugar a situaciones contradictorias cuyo tratamiento no está especificado. Precisamente, la etapa de análisis de requisitos se enfoca en este tipo de problemáticas, tratando de identificarlos lo más temprano posible para poder tomar las acciones adecuadas que nos permitan mejorar las especificaciones de requisitos, antes de su implementación. Las metodologías orientados a objetivos proponen organizar los requisitos de software alrededor de la noción de objetivos, sentencias prescriptivas que especifican lo que debe hacer el sistema a ser desarrollado. Los objetivos son utilizados en numerosas actividades a lo largo del proceso de ingeniería de requisitos, como el análisis de alternativas posibles, la priorización de algunas funcionalidades respecto de otras, y las potenciales amenazas para su satisfacción. De hecho, el análisis de riesgo se enfoca en este tipo de problemáticas, de varias maneras diferentes, incluyendo el análisis de conflictos entre objetivos. Un conflicto representa una condición que, al estar presente, hace que los objetivos dejen de ser consistentes. Precisamente, el análisis de conflictos consiste en identificar, evaluar y resolver los conflictos en nuestra especificación de requisitos. Las metodologías orientadas a objetivos proponen la explicitación de requisitos en forma de objetivos claramente definidos, por ejemplo, formalizados en Lógica Temporal Lineal. Sin embargo, en la actualidad no contamos con suficiente mecanismos automáticos, que de manera eficiente, nos permitan realizar el análisis de riesgo de nuestras especificaciones. El objetivo principal de este proyecto es, precisamente, la adaptación y aplicación de técnicas de análisis automático, para la automatización de actividades propias del análisis de riesgo, en el contexto particular de las metodologías orientadas a objetivos. Las técnicas de análisis automático a aplicar son las provenientes de los métodos formales de desarrollo, más precisamente análisis basado en satisfactibilidad booleana (SAT Solving), y técnicas vinculadas a la enumeración, conteo y síntesis de modelos a partir de especificaciones. Para lograr esto, será necesario extender algunas de las técnicas desarrolladas por nuestro grupo de investigación, además de estudiar y mejorar otras existentes, que a nuestro criterio, no son lo suficientemente generales.
Financiamiento :
- Externo
Área temática:
- (FONCYT) Tecnología Informática, de las Comunicaciones y Electrónica
Solicitud de información de oferta tecnológica
Ultimas novedades
Buscador tecnológico por PALABRA CLAVE FACULTAD DISCIPLINA
-
El Área de Vinculación y Transferencia Tecnológica de la Universidad Nacional de Villa María visitó la UNRC -
La UNRC fue una de las sedes del primer Foro de Innovación Sostenible -
GridX en la UNRC | La Company Builder se reunió con investigadores de la universidad -
Reunión exclusiva con GRIDX: "¿Estás interesado en transformar tu investigación en una startup?" -
Cursá "Modelos de negocios" [Trayecto en Desarrollo Emprendedor]