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

Analisis de riesgo de Especificaciones de Requisitos de software

Resumen:

Solicitud de información de oferta tecnológica

Ultimas novedades

Buscador tecnológico por PALABRA CLAVE FACULTAD DISCIPLINA