Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
Property-Based Testing - The ProTest Project
Año:2010
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
The ProTest project is an FP7 STREP on property based testing. The purpose of the project is to develop software engineering approaches to improve reliability of service-oriented networks; support fault-finding and diagnosis based on specified properties of the system. And to do so we will build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis. The Erlang / Open Telecom Platform has been chosen as our initial implementation vehicle due to its robustness and reliability within the telecoms sector. It is noted for its success in the ATM telecoms switches by Ericsson, one of the project partners, as well as for multiple other uses such as in facebook, yahoo etc. In this paper we provide an overview of the project goals, as well as detailing initial progress in developing property based testing techniques and tools for the concurrent functional programming language Erlang.
Internacional
Si
JCR del ISI
No
Título de la revista
Lecture Notes in Computer Science
ISSN
978-3-642-17070-6
Factor de impacto JCR
0
Información de impacto
Volumen
6286
DOI
10.1007/978-3-642-17071-3_13
Número de revista
Desde la página
250
Hasta la página
271
Mes
ENERO
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Lars-Ake Fredlund (UPM)
  • Participante: John Derrick (Department of Computing, University of Sheffield, Sheffield, S1 4DP, UK)
  • Autor: Clara Benac Earle (UPM)
  • Participante: Neil Walkinshaw (Department of Computing, University of Sheffield, Sheffield, S1 4DP, UK)
  • Participante: Thomas Arts (Goteborgs Universitet, Goeteboug, Sweden)
  • Participante: Francesco Cesarini (Erlang Solutions Ltd, London)
  • Participante: Victor Gulias (Lambdastream Servicios Interactivos SL, A Coruna, Spain)
  • Participante: John Hughes (Quviq AB, Savedalen, Sweden)
  • Participante: Simon Thompson (University of Canterbury, Canterbury, Kent, UK)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2021 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)