Skip to main content

Property-based Testing

Project description

Service and Software Architectures, Infrastructures and Engineering 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.

Field of science

  • /natural sciences/computer and information sciences/software
  • /natural sciences/computer and information sciences/internet
  • /humanities/languages and literature/languages - general

Call for proposal

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

Funding Scheme

CP - Collaborative project (generic)

Coordinator

THE UNIVERSITY OF SHEFFIELD
Address
Firth Court Western Bank
S10 2TN Sheffield
United Kingdom
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 408 513
Administrative Contact
John Derrick (Prof.)

Participants (9)

LAMBDASTREAM SERVICIOS INTERACTIVOS SL
Spain
EU contribution
€ 132 612
Address
Campus De Elvina S/n, Edificio Servicios De Investigacion
15071 A Coruna
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Victor M Gulias (Dr.)
UNIVERSIDAD POLITECNICA DE MADRID
Spain
EU contribution
€ 318 788
Address
Calle Ramiro De Maeztu 7 Edificio Rectorado
28040 Madrid
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Gonzalo Leon (Prof)
GOETEBORGS UNIVERSITET

Participation ended

Sweden
EU contribution
€ 150 538
Address
Vasaparken
405 30 Goeteborg
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Margareta Ahlqwist (Dr)
QUVIQ AB
Sweden
EU contribution
€ 299 438
Address
Bergshamravagen 4
433 60 Savedalen
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
John Hughes (Prof.)
ERICSSON AB
Sweden
EU contribution
€ 132 014
Address
Torshamnsgatan 23
164 80 Stockholm
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Anders Caspár (Mr.)
CHALMERS TEKNISKA HOEGSKOLA AB
Sweden
EU contribution
€ 640 704
Address
-
41296 Goeteborg
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Katarina Vemdal (Ms)
ERLANG SOLUTIONS LIMITED
United Kingdom
EU contribution
€ 263 676
Address
Back Church Lane Suite 2.05 New Loom House 101
E1 1LU London
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Francesco Cesarini (Mr)
UNIVERSITY OF KENT
United Kingdom
EU contribution
€ 363 538
Address
The Registry Canterbury
CT2 7NZ Canterbury, Kent
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Ruth Woodger (Ms)
INTEROUD INNOVATION SL
Spain
EU contribution
€ 0
Address
Avenida De Alfonso Molina 5 3B
15006 Coruna
Activity type
Private for-profit entities (excluding Higher or Secondary Education Establishments)
Administrative Contact
Samuel Rivas Gonzales (Mr.)