MOVASS - Modelo y herramienta para el proceso de especificación de pruebas de validación de sistemas software

Project Scope: 
National
Project Code: 
TIC2001-3450
Dates: 
Monday, January 1, 2001

Es necesario comenzar este resumen mencionando que el alcance del proyecto inicialmente propuesto se vio severamente reducido en duración (un año en vez de tres) y en presupuesto de ejecución de 40.530 euros reducido a 9.000 euros. Estas circunstancias obligaron a un replanteamiento de los objetivos presentados en la propuesta centrándose más en aquellos que podían implicar consolidación de resultados obtenidos en proyectos anteriores junto con preparación de material que permita acercarse a las metas descritas en la propuesta y que se espera conseguir con el apoyo de futuros proyectos.

El objetivo básico del proyecto era especificar un modelo de proceso para pruebas de validación de sistemas intensivos en software. A continuación se construiría un entorno para automatizar esta especificación de pruebas que se integraría con el ya existente TOPEN (Test and OPeration Evironment). TOPEN fue el resultado del proyecto ARCO Ref. TIC98-0782. Adicionalmente se evaluaría este modelo de proceso y se extendería para sistemas con componentes. Dada la situación de partida y la estrategia expuesta, se puso más énfasis en mejorar los modelos de procesos existentes (aunque limitados a dominios de aplicación concretos) y las herramientas previamente construidas (TOPEN) al tiempo que se trabajaba en el nuevo modelo de proceso para la definición de pruebas de validación. Esta estrategia permitió una transición suave en combinación con el proyecto europeo METSES Multiple-Site Environment For Testing Systems With Embedded Software Ref IST-2000-28583 del V Programa Marco de la UE. Este proyecto estaba en ejecución desde julio de 2001 y terminaba en octubre de 2002. Su objetivo era aplicar a dos dominios industriales los resultados del proyecto ARCO, antes mencionado. El proyecto aquí informado obtuvo los siguientes resultados. * Primera iteración, aún no suficientemente formalizada, del proceso de definición de pruebas de validación. Este tarea terminada, era uno de los objetivos de la propuesta; * Definición de nuevos escenarios basados en aplicaciones industriales para utilizar como entradas para la especificación del modelo de proceso para definición de pruebas de validación. Este aspecto tiene una gran importancia ya que permitirá evaluar el proceso una vez finalizada su especificación. Ello permite avanzar en una de las tareas que se ejecutarían posteriormente. Este objetivo se ha podido llevar a cabo gracias al que el proyecto METSES estaba corriendo en paralelo y ha sido posible una realimentación; * Consolidación del entorno TOPEN producido en el proyecto ARCO, que terminó en el año 2000 y cuyos resultados han sido aplicados en METSES. El objetivo planteado en la propuesta implicaba actualizar el entorno de manera que fuera utilizable una vez el nuevo proceso estuviera listo. Este objetivo se ha cumplido de forma parcial ya que el proceso no estaba totalmente especificado pero los escenarios sí estaban disponibles. Por ello se ha avanzado en la dirección propuesta; * El resto de los objetivos de la propuesta exigían que el proceso de definición de pruebas de validación estuviera terminado, lo cual no ha sido posible por la razones expuestas. Sin embargo hay un resultado adicional que sí es relevante. Se ha progresado considerablemente en la construcción del entorno TOPEN de tal forma que se está disminuyendo su coste de adaptación a un nuevo dominio de aplicación. Este resultado se ha conseguido a través de una mayor generalidad de los patrones de diseño y de datos. Por otra parte también se ha avanzado en la generación de uno de los componentes, el generador de código, a partir de un modelo de datos y de interacción utilizando tecnología XML y Java. Este es un resultado adicional que tiene un gran valor dentro de la estrategia del grupo de investigación. De hecho estos avances han permitido reorientar la manera en que se construía el TOPEN y será posible acercarlo mucho más a la industria; * En el aspecto de difusión de resultados es de destacar que el investigador principal fue Presidente del Comité de Programa de SV02 First Inenational Workshop on System Testing and Validation celebrado en Paris en Diciembre de 2002 junto con la International Conference on Software and System Engineering and its Applications.

Funding: 
Ministerio de Educación y Ciencia
Members :