ProTest
Property-based Testing
| Coordinatore | THE UNIVERSITY OF SHEFFIELD
Organization address
address: Regent Court, Portobello Street 211 contact info |
| Nazionalità Coordinatore | United Kingdom [UK] |
| Totale costo | 3˙639˙030 € |
| EC contributo | 2˙709˙821 € |
| Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
| Code Call | FP7-ICT-2007-1 |
| Funding Scheme | CP |
| Anno di inizio | 2008 |
| Periodo (anno-mese-giorno) | 2008-05-01 - 2011-12-31 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
THE UNIVERSITY OF SHEFFIELD
Organization address
address: Regent Court, Portobello Street 211 contact info |
UK (SHEFFIELD) | coordinator | 0.00 |
| 2 |
CHALMERS TEKNISKA HOEGSKOLA AB
Organization address
address: - contact info |
SE (GOETEBORG) | participant | 0.00 |
| 3 |
ERICSSON AB
Organization address
address: TORSHAMNSGATAN 23 contact info |
SE (STOCKHOLM) | participant | 0.00 |
| 4 |
ERLANG SOLUTIONS LIMITED
Organization address
address: BRUSHFIELD STREET FRUIT AND WOOL EXCHANGE contact info |
UK (LONDON) | participant | 0.00 |
| 5 |
INTEROUD INNOVATION SL
Organization address
address: AVENIDA DE ALFONSO MOLINA 5 3B contact info |
ES (CORUNA) | participant | 0.00 |
| 6 |
LAMBDASTREAM SERVICIOS INTERACTIVOS SL
Organization address
address: CAMPUS DE ELVINA S/N, EDIFICIO SERVICIOS DE INVESTIGACION contact info |
ES (A CORUNA) | participant | 0.00 |
| 7 |
QUVIQ AB
Organization address
address: BERGSHAMRAVAGEN 4 contact info |
SE (SAVEDALEN) | participant | 0.00 |
| 8 |
UNIVERSIDAD POLITECNICA DE MADRID
Organization address
address: Calle Ramiro de Maeztu contact info |
ES (MADRID) | participant | 0.00 |
| 9 |
UNIVERSITY OF KENT
Organization address
address: THE REGISTRY CANTERBURY contact info |
UK (CANTERBURY, KENT) | participant | 0.00 |
Mappa
Word cloud
Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.
Obiettivo del progetto (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.nnWe 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.nnToday'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.nnWe 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.nnOur 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.