EVVE ENTORNO PARA LA VERIFICACIÓN Y VALIDACIÓN DE ESPECIFICACIONES SOFTWARE

EVVE ENTORNO PARA LA VERIFICACIÓN Y VALIDACIÓN DE ESPECIFICACIONES SOFTWARE Presentación del Proyecto Albacete, 27 de Marzo de 2009

Índice Objetivos científicos y tecnológicos Antecedentes, necesidad de abordar el proyecto Objetivos del proyecto Innovaciones que plantea el proyecto Descripción del equipo de trabajo Descripción técnica del proyecto Paquetes de trabajo Cronograma Metodología de trabajo Explotación de resultados 2

Objetivos científicos y tecnológicos Antecedentes, necesidad de abordar el proyecto Importancia de la externalización de software (1,3 B$ 2008) España como centro de nearshoring y offshoring (>100 factorías software instaladas) Importancia creciente de las certificaciones software España con un elevado número de certificaciones Aparición de la ingeniería dirigida por modelos Actividades de V&V se han desplazando del código a las especificaciones de los sistemas software necesidad de controlar/asegurar la calidad de las especificaciones software 4

Objetivos científicos y tecnológicos Objetivos del proyecto Crear un entorno para la verificación y validación (V&V) de especificaciones software, compuesto por: Un componente metodológico (desarrollado conjuntamente con investigadores de la Universidad de Castilla-La Mancha). Un componente tecnológico que ofrezca soporte (semi)automático mediante herramientas basadas en la plataforma Eclipse. oportunidad de ofrecer un servicio de aseguramiento/control de calidad en modalidad nearshoring desde la región de Castilla-La Mancha, con una relación calidad/precio muy competitiva 6

Objetivos científicos y tecnológicos Objetivos técnicos metodológicos Objetivos del proyecto Aplicación de técnicas de la Ingeniería del Software Empírica para la validación de las métricas y listas de control. Aplicación de meta-análisis para la validación de métricas para modelos UML. Validación empírica en casos reales de diferentes técnicas y métricas para la calidad de modelos UML. Propuesta de una metodología integral para la calidad de modelos UML. 7

Objetivos científicos y tecnológicos Objetivos técnicos instrumentales Objetivos del proyecto Definición de un entorno que de soporte (semi)automático mediante herramientas (idealmente basadas en la plataforma Eclipse) a los componentes metodológicos anteriores. 8

Objetivos científicos y tecnológicos Innovaciones que plantea el proyecto Mayor parte del esfuerzo en calidad de procesos EVVE: Calidad de producto Dentro de la calidad del producto, centrados en código EVVE: Calidad de especificaciones de software (UML) Existencia de algunas métricas para calidad de modelos EVVE: Centrada en modelos UML (Diagramas de clases, casos de uso, transición de estados, etc.) Mayoría de métricas y listas de control sin validar EVVE: Validación en caso de estudio real 10

Descripción del equipo de trabajo Alarcos Quality Center Empresa fundada en 2008 como spin-off de la Universidad de Castilla-La Mancha creada con el fin de atender la demanda de servicios de aseguramiento de la calidad del software. Cuenta con más de diez años de investigación sobre calidad del software desarrollados por el grupo Alarcos, y con el apoyo de un grupo de profesionales con amplia experiencia en fábricas de desarrollo y de testing de software, mejora de procesos, medición y estimación de proyectos. 12

Descripción del equipo de trabajo Alarcos Quality Center La principal actividad de AQC se centra en la consultoría y prestación de servicios en el área de la calidad de software. Específicamente en temas relacionados con: Aseguramiento de calidad de modelos y sistemas software Testing de sistemas informáticos Calidad de datos Ingeniería de procesos 13

Descripción del equipo de trabajo Alarcos Quality Center Artefacto Software Organización que ha externalizado el desarrollo Fábrica/Departamento de desarrollo software Evaluación de la calidad independiente 14

Descripción del equipo de trabajo Grupo de Investigación Alarcos Grupo de profesores e investigadores cuyo objetivo es contribuir al desarrollo científico e industrial en el campo de la Tecnología del Software. Creado en 1997 como grupo de investigación de la UCLM, cuenta actualmente con 57 personas entre profesores, tecnólogos y doctorandos. Cuenta con la colaboración de profesores y estudiantes de otras universidades españolas y extranjeras, combinando la experiencia profesional en empresas con la dedicación a la universidad. 15

Descripción técnica del proyecto Paquetes de trabajo Paquete de trabajo Tareas Entregables WP1. Gestión del proyecto - Gestionar y administrar el proyecto - Coordinar los Trabajos de los distintos investigadores - Realizar el seguimiento - Organizar las reuniones D.1. Informes de seguimiento parciales D.2. Informe final del proyecto WP 2. Validación de métricas, listas y técnicas de gestión de consistencia - Validar empíricamente las métricas, listas de control y técnicas propuestas. D3. Paquetes de laboratorio con el material utilizado en la experimentación WP3. Aplicación de meta-análisis para validación de métricas WP4. Validación en casos reales - Aplicación de técnicas de meta-análisis para la validación de métricas - Llevar a cabo casos de estudio reales para validar las métricas, listas de control y técnicas propuestas D4. Resultado del metanálisis D5. Informe sobre los resultados de los casos de estudio 17

Descripción técnica del proyecto Paquetes de trabajo Paquete de trabajo Tareas Entregables WP5. Elaboración de una metodología integral para calidad de modelos UML WP6. Diseñar y desarrollar una herramienta que de soporte a la metodología propuesta. WP7. Difusión y publicación - Integrar los elementos anteriores en una metodología global de calidad - Proporcionar soporte automático para la facilitar la utilización de la metodología - Elaboración de presentaciones sobre el proyecto, incluyendo, presentaciones a autoridades informáticas, directivos de empresas, y personal técnico - Publicación de artículos, participación en conferencias, congresos, etc. - Construcción de un sitio Web para la difusión del proyecto D6. Informe sobre la Metodología con ejemplos que ilustren su aplicación D7. Herramienta para implementar la metodología D8. Manual de usuario D.9 Presentaciones sobre el proyecto D.10 Artículos, ponencias, conferencias D.11 Sitio Web del proyecto 18

Descripción técnica Cronograma Id Nombre de tarea 1 PROYECTO EVVE 2 WP1. Gestión del Proyecto 3 WP2. Validación de métricas, listas... 4 WP3. Aplicación de meta-análisis 5 WP4. Validación en casos reales 6 WP5. Elaboración metodología 7 WP6. Diseño y desarrollo herramienta 8 WP7. Difusión y publicación tri 3 2008 tri 4 2008 tri 1 2009 tri 2 2009 tri 3 2009 tri 4 2009 jul ago sep oct nov dic ene feb mar abr may jun jul ago sep oct nov dic 20

Metodología de trabajo Objetivo Evitar desconexión entre Investigación y Práctica Problemas Investigación Problemas Prácticos Desconexión Investigación en Ingeniería del Software Práctica en Ingeniería del Software Ideas, Marcos de Trabajo, Métodos Soluciones 22

Metodología de trabajo Propuesta Aproximación de trabajo Investigación-Acción Clientes de AQC (beneficiarios) Resultados de la Investigación Resultados de la aplicación Propuestas Personal de la Empresa AQC y otras empresas clientes (DGT) (grupo crítico de referencia) Resultados refinados Calidad de las Especificaciones Software basadas en Modelos UML (objeto investigado) Miembros del Grupo Alarcos y AQC (investigador) Propuestas para la Mejora de Calidad de Especificaciones Software basadas en modelos UML 23

Explotación de resultados Plan de explotación Ofrecer la metodología desarrollada en el proyecto EVVE a los clientes de Alarcos Quality Center. Difundir los resultados del proyecto en publicaciones científicas, congresos, asociaciones como ATI, COURE, etc. Publicar la herramienta implementada como software libre con el fin de dar a conocer la metodología. Colaborar con Unimedia y Kybele Consulting para dar a conocer los resultados del proyecto fuera de Castilla-La Mancha. 25

Explotación de resultados Tipo de clientes objetivo Organismos de las Administraciones Públicas que externalizan el desarrollo completo del software. Empresas de software que externalizan la parte de modelado del software y elicitación de requisitos. Factorías y empresas desarrolladoras de software, que están interesadas en disponer de un entorno que les permita asegurar la calidad del software desde las primeras fases. Factorías y empresas desarrolladoras de software de pequeño tamaño que no puedan disponer de personal experto en tareas de aseguramiento de calidad. 26

EVVE ENTORNO PARA LA VERIFICACIÓN Y VALIDACIÓN DE ESPECIFICACIONES SOFTWARE Presentación del Proyecto Albacete, 27 de Marzo de 2009