Wspólnotowy Serwis Informacyjny Badan i Rozwoju - CORDIS

FP7 PROTEST logo

ProTest

Project reference: 215868
Funded under

Property-based Testing

From 2008-05-01 to 2011-12-31

Project details

Total cost:

EUR 3 639 030

EU contribution:

EUR 2 709 821

Coordinated in:

United Kingdom

Call for proposal:

FP7-ICT-2007-1See other projects for this call

Funding scheme:

CP - Collaborative project (generic)

This project will develop software engineering approaches to improve reliability in future service-oriented networks.

In order to improve reliability and functionality in Pervasive and Trusted Network and Service Infrastructures, PROTEST will develop software engineering approaches based on specified properties of the system which will support fault-finding and diagnosis. This will be achieved by building automated tools that will generate and run tests, observe and control execution during runtime and register occurrences for analysis.

 

  • Testing in Service-oriented Networks

Volumes of automated tests and logging code are written which use properties as objects for testing software. Such property-based testing will both reduce costs which will deliver economic benefits to the European software industry and improve effectiveness. It is a powerful new mechanism that will assure that a given programme is free of specific generic flaws. In case properties fail, the tools will search for simplest failing cases and analyse trace and coverage information to assist speedy diagnosis. In order to face a major challenge of concurrency, model-checking will be integrated into the tools.

Today, specialists and researchers are not used to formulating general properties, which is why PROTEST will investigate possibilities of deriving them from two different sources:

 

* Unified Modeling Language (UML) models, or UML-like models.

 

* By refactoring existing test suites.

 

  • Making an impact by combining different skills of different actors

The combination of skills coming from universities, SMEs and larger industrial enterprises will optimise the chances of delivering results.

 

* Academics will bring expertise in refactoring, model-checking and testing. They thereby act as real tool vendors.

 

* Industrial expertise will be needed in telecoms in order to bring insights into what practical tools are required, what properties will need to be checked and strategies to maximise industrial impact.

 

The initial implementation vehicle will be Erlang/OTP (Open Telecom Platform) developed by Ericsson in the early nineties. It is an open-source concurrent functional language aimed at telecoms and internet services and represents a common instrument for our research that simplifies the transfer of theory into industrial practice. Because of its good interoperability, robustness and reliability, Erlang enables PROTEST's tools to detect faults in various systems.

 

The results of PROTEST will improve the tool vendor's products. Thus, they will be adopted by partners such as Ericsson and Lambda-stream and disseminated by ETC to their customers throughout the European telecoms sector. This three-pronged strategy will guarantee real impact.

Objective

This project will develop software engineering approaches to improve reliability in Pervasive and Trusted Network and Service Infrastructures (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.<br/>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.<br/>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.<br/>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.<br/>Our results will improve our tool vendor's products, be adopted by our partners within Ericsson and Lambda-stream, and be disseminated by ETC to their customers throughout Europe's telecoms sector. This three-pronged strategy will guarantee real impact.

Related information

Open Access

Coordinator

THE UNIVERSITY OF SHEFFIELD
United Kingdom

EU contribution: EUR 408 513


Regent Court, Portobello Street 211
S1 4DP SHEFFIELD
United Kingdom
Administrative contact: John Derrick
Tel.: +441142221849
Fax: +441142221810
E-mail

Participants

LAMBDASTREAM SERVICIOS INTERACTIVOS SL
Spain

EU contribution: EUR 132 612


CAMPUS DE ELVINA S/N, EDIFICIO SERVICIOS DE INVESTIGACION
15071 A CORUNA
Spain
Administrative contact: Victor M Gulias
Tel.: +34 981 173344
Fax: +34 981 196655
E-mail
UNIVERSIDAD POLITECNICA DE MADRID
Spain

EU contribution: EUR 318 788


Calle Ramiro de Maeztu
28040 MADRID
Spain
Administrative contact: Gonzalo Leon
Tel.: +34 9133 66047
Fax: +34 9133 65794
E-mail
ERICSSON AB
Sweden

EU contribution: EUR 132 014


TORSHAMNSGATAN 23
164 80 STOCKHOLM
Sweden
Administrative contact: Anders Caspár
Tel.: +46 8 7198151
Fax: +4687528056
E-mail
QUVIQ AB
Sweden

EU contribution: EUR 299 438


BERGSHAMRAVAGEN 4
433 60 SAVEDALEN
Sweden
Administrative contact: John Hughes
Tel.: +46 70 7563760
E-mail
CHALMERS TEKNISKA HOEGSKOLA AB
Sweden

EU contribution: EUR 640 704


-
41296 GOETEBORG
Sweden
Administrative contact: Katarina Vemdal
Tel.: +46 31 7723585
Fax: +46 31 7723663
E-mail
GOETEBORGS UNIVERSITET
Participation ended
Sweden

EU contribution: EUR 150 538


Vasaparken
40530 GOETEBORG
Sweden
Administrative contact: Margareta Ahlqwist
Tel.: +46 31 786 5345
Fax: +46 31 786 4355
E-mail
ERLANG SOLUTIONS LIMITED
United Kingdom

EU contribution: EUR 263 676


BRUSHFIELD STREET FRUIT AND WOOL EXCHANGE
E1 6EU LONDON
United Kingdom
Administrative contact: Francesco Cesarini
Tel.: +44 207 4561020
Fax: +44 8701 390779
E-mail
UNIVERSITY OF KENT
United Kingdom

EU contribution: EUR 363 538


THE REGISTRY CANTERBURY
CT2 7NZ CANTERBURY, KENT
United Kingdom
Administrative contact: Ruth Woodger
Tel.: +44 1227 823789
Fax: +44 1227 823998
E-mail
INTEROUD INNOVATION SL
Spain

EU contribution: EUR 0


AVENIDA DE ALFONSO MOLINA 5 3B
15006 CORUNA
Spain
Administrative contact: Samuel Rivas Gonzales
E-mail
Record Number: 86241 / Last updated on: 2016-04-01