ProTest

Property-based Testing

Coordinatore	THE UNIVERSITY OF SHEFFIELD    more  Organization address address: Regent Court, Portobello Street 211 city: SHEFFIELD postcode: S1 4DP contact info Titolo: Prof. Nome: John Cognome: Derrick Email: send email Telefono: 441142000000 Fax: 441142000000
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

#	participant	country	role	EC contrib. [€]
1	THE UNIVERSITY OF SHEFFIELD  Organization address address: Regent Court, Portobello Street 211 city: SHEFFIELD postcode: S1 4DP contact info Titolo: Prof. Nome: John Cognome: Derrick Email: send email Telefono: 441142000000 Fax: 441142000000	UK (SHEFFIELD)	coordinator	0.00
2	CHALMERS TEKNISKA HOEGSKOLA AB  Organization address address: - city: GOETEBORG postcode: 41296 contact info Titolo: Ms Nome: Katarina Cognome: Vemdal Email: send email Telefono: +46 31 7723585 Fax: +46 31 7723663	SE (GOETEBORG)	participant	0.00
3	ERICSSON AB  Organization address address: TORSHAMNSGATAN 23 city: STOCKHOLM postcode: 164 80 contact info Titolo: Mr. Nome: Anders Cognome: Caspár Email: send email Telefono: +46 8 7198151 Fax: 4687528056	SE (STOCKHOLM)	participant	0.00
4	ERLANG SOLUTIONS LIMITED  Organization address address: BRUSHFIELD STREET FRUIT AND WOOL EXCHANGE city: LONDON postcode: E1 6EU contact info Titolo: Mr Nome: Francesco Cognome: Cesarini Email: send email Telefono: +44 207 4561020 Fax: +44 8701 390779	UK (LONDON)	participant	0.00
5	INTEROUD INNOVATION SL  Organization address address: AVENIDA DE ALFONSO MOLINA 5 3B city: CORUNA postcode: 15006 contact info Titolo: Mr. Nome: Samuel Cognome: Rivas Gonzales Email: send email	ES (CORUNA)	participant	0.00
6	LAMBDASTREAM SERVICIOS INTERACTIVOS SL  Organization address address: CAMPUS DE ELVINA S/N, EDIFICIO SERVICIOS DE INVESTIGACION city: A CORUNA postcode: 15071 contact info Titolo: Dr. Nome: Victor M Cognome: Gulias Email: send email Telefono: +34 981 173344 Fax: +34 981 196655	ES (A CORUNA)	participant	0.00
7	QUVIQ AB  Organization address address: BERGSHAMRAVAGEN 4 city: SAVEDALEN postcode: 433 60 contact info Titolo: Prof. Nome: John Cognome: Hughes Email: send email Telefono: +46 70 7563760	SE (SAVEDALEN)	participant	0.00
8	UNIVERSIDAD POLITECNICA DE MADRID  Organization address address: Calle Ramiro de Maeztu city: MADRID postcode: 28040 contact info Titolo: Prof Nome: Gonzalo Cognome: Leon Email: send email Telefono: +34 9133 66047 Fax: +34 9133 65794	ES (MADRID)	participant	0.00
9	UNIVERSITY OF KENT  Organization address address: THE REGISTRY CANTERBURY city: CANTERBURY, KENT postcode: CT2 7NZ contact info Titolo: Ms Nome: Ruth Cognome: Woodger Email: send email Telefono: +44 1227 823789 Fax: +44 1227 823998	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.