|
Descripción
|
|
|---|---|
| ProTest (Property-based testing, http://www.protest-project.eu/) es un proyecto tipo STREP (Specific Targeted Research Projects) del programamarco (FP7) en el que participan, como socios industriales, Ericsson Suecia), Quviq (Suecia), Erlang Solutions (antes Erlang Training and Consulting, Reino Unido) y LambdaStream (España) y, como socios académicos, la universidad IT de Gotemburgo (Suecia), la universidad de Kent (Reino Unido), la universidad de Sheffield (Reino Unido) y la Universidad Politécnica de Madrid. El investigador principal en la UPM en este proyecto es el Dr. Lars-Ake Fredlund del grupo de investigación Babel. Este proyecto tiene una duración de tres años y comenzó su andadura en mayo del 2008. La evaluación de la propuesta de ProTest recibió una puntuación de 14.5 de un total de 15 puntos, la mejor nota de su convocatoria. El proyecto ha pasado con éxito las revisiones formales en Bruselas a los 6 meses y un año del proyecto. El objetivo primordial del proyecto ProTest es desarrollar técnicas y herramientas basadas en propiedades para mejorar la fiabilidad de sistemas críticos, concurrentes y distribuidos. Para que estas tecnologías tengan impacto real, es fundamental que las herramientas se integren en los procesos estándares de producción de software. Para lograr este objetivo Protest propone los siguientes paquetes de trabajo: 1) Descubrimiento de propiedades. Dado que el proceso de pruebas testing) actual se basa en conjuntos de casos de prueba y las especificaciones y modelos suelen ser de tipo informal, en Protest se proporcionarán herramientas para ayudar a los desarrolladores de software a extraer propiedades de estas pruebas. Además se desarrollarán lenguajes de propiedades especializados que faciliten la formalización de las especificaciones ya existentes. 2) Evolución de pruebas y de propiedades. Puesto que los sistemas software cambian y evolucionan, Protest proporcionará herramientas para controlar la evolución de las pruebas y de las propiedades en función de los cambios del sistema. 3) Monitorización de propiedades. No todas las propiedades se pueden comprobar antes de que los sistemas se estén ejecutando, Protest proporcionará herramientas enfocadas al examen a posteriori de trazas de programas. 4) La concurrencia es fundamental en sistemas orientados a servicios. Los servidores proporcionan servicios a múltiples clientes de manera concurrente y colaboran entre ellos para proporcionar funcionalidades complejas, realizando partes de una tarea de manera concurrente. Protest proporcionará herramientas para analizar sistemas concurrentes y verificar propiedades fundamentales que dichos sistemas deben cumplir. | |
|
Internacional
|
Si |
|
Tipo de proyecto
|
Proyectos y convenios en convocatorias públicas competitivas |
|
Entidad financiadora
|
CEE |
|
Nacionalidad Entidad
|
Sin nacionalidad |
|
Tamaño de la entidad
|
Gran Empresa (>250) |
|
Fecha concesión
|
03/03/2008 |