Ayudar a las PYME a validar la calidad del software
El Lenguaje de Especificación y Descripción (SDL) se usa comúnmente en el campo de las telecomunicaciones para la descripción de funcionalidades y para la generación de códigos software. El lenguaje ahora se usa cada vez más en otras aplicaciones de tiempo real, como dispositivos médicos o aviones u otros medios de transporte. El proyecto SDL-SAFE desarrolló una metodología para la evaluación automática de la calidad del software con ayuda del SDL. Esta metodología se estructura en varias fases. En primer lugar se definen los objetivos de estilo, o el carácter deseado de la aplicación general. Estos objetivos se continúan desarrollando en el marco de unas normas específicas de SDL, que ofrecen estrictas directrices sobre la forma en que se puede definir un sistema de alta calidad en el lenguaje. Posteriormente se construye un modelo de evaluación de alta calidad, basado en criterios de validación de la calidad y complementado mediante la extracción de metrología de la calidad. Por ultimo, las normas, el modelo y la metrología se utilizan para definir un proceso automático de evaluación de calidad para el sistema de software que se está desarrollando. SDL-SAFE también ha desarrollado una serie de herramientas software, por ejemplo un analizador de la sintaxis y la estructura o un analizador semántico para comprobar que el sistema SDL está completo y es compatible. El proceso de evaluación de calidad incluye entonces el establecimiento de unas normas de calidad y la agrupación de las mismas de acuerdo con los elementos críticos del sistema. Esto resulta de gran ayuda para las PYME, porque permite que los grupos de normas coincidan con los criterios de calidad del software, en lugar de tener que ajustar las normas una por una. La tecnología y la metodología desarrollada por el proyecto reducen los costes de diseño, de las pruebas y de implementación, mejoran la precisión de las pruebas y producen unos diseños fiables para sistemas eficientes. Son especialmente valiosas para el creciente número de desarrolladores europeos de software para PYME que carecen de los recursos necesarios para evaluar y validar la calidad.
