Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
PROTEST: Property Based Testing
Year:2010
Research Areas
  • Engineering,
  • Software
Information
Abstract
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.
International
Si
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
CEE
Entity Nationality
Sin nacionalidad
Entity size
Gran Empresa (>250)
Granting date
03/03/2008
Participants
  • Participante: Julio Mariño Carballo (UPM)
  • Participante: Ana Maria Fernandez Soriano (UPM)
  • Participante: Clara Benac Earle (UPM)
  • Director: Lars-Ake Fredlund (UPM)
  • Participante: Alvaro Fernandez Diaz (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2019 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)