Observatorio de I+D+i UPM

Memorias de investigación
Research Project:
PROTEST
Year:2009
Research Areas
  • Artificial intelligence,
  • Programming language
Information
Abstract
This project will develop software engineering approaches to improve reliability in Pervasive and Trusted Network and Service Infrastructures (objective ICT-2007.1.2). This is achieved today by extensive testing, combined with monitoring and logging in the field. Volumes of automated tests and logging code are written, failures must be analysed and diagnosed¿and this accounts typically for half the cost of software. Even so, residual errors impose high costs on users. We aim to automate much fault-finding and diagnosis, reducing its cost and improving effectiveness, based on properties of the system (specified by developers) which should always hold. Automated tools will generate and run tests, monitor execution at run-time, and log events for post-mortem analysis. When properties fail, the tools will search for simplest failing cases, and analyse trace and coverage information, to assist speedy diagnosis. Concurrency is a major challenge, which will be addressed in part by integrating model- checking into our tools. Today's developers are not used to formulating general properties, so we will investigate ways of deriving them from two sources: UML (or UML-like) models, and by refactoring existing test suites. We combine academic expertise in refactoring, model-checking and testing; a tool vendor; and industrial expertise in telecoms. Three partners are SMEs, Ericsson is a leading telecoms supplier. All use Erlang, an open-source concurrent functional language aimed at telecoms and internet servers, which will be a common vehicle for our research¿easing the transfer of theory into industrial practice. Erlang¿s good interoperability will enable our tools to find faults in all kinds of systems. Our results will improve our tool vendor¿s products, be adopted by our partners within Ericsson and LambdaStream, and be disseminated by Erlang Training and Consulting to their customers throughout Europe's telecoms sector. This three-pronged strategy will guarantee real impact.
International
Si
Project type
Proyectos y convenios en convocatorias públicas competitivas
Company
Comisión Europea
Entity Nationality
Sin nacionalidad
Entity size
Desconocido
Granting date
03/03/2008
Participants
  • Director: Lars-Ake Fredlund (UPM)
  • Participante: Guillem Marpons Ucero (UPM)
  • Participante: Alvaro Fernandez Diaz (UPM)
  • Participante: Julio Mariño Carballo (UPM)
  • Participante: Clara Benac Earle (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
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
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)