PROWESS
Property-based testing of Web services
| Coordinatore | THE UNIVERSITY OF SHEFFIELD
Organization address
address: New Spring House, 231 Glossop Road contact info |
| Nazionalità Coordinatore | United Kingdom [UK] |
| Totale costo | 4˙424˙115 € |
| EC contributo | 3˙389˙158 € |
| Programma | FP7-ICT
Specific Programme "Cooperation": Information and communication technologies |
| Code Call | FP7-ICT-2011-8 |
| Funding Scheme | CP |
| Anno di inizio | 2012 |
| Periodo (anno-mese-giorno) | 2012-10-01 - 2015-09-30 |
Partecipanti
| # | ||||
|---|---|---|---|---|
| 1 |
THE UNIVERSITY OF SHEFFIELD
Organization address
address: New Spring House, 231 Glossop Road contact info |
UK (Sheffield) | coordinator | 0.00 |
| 2 |
CHALMERS TEKNISKA HOEGSKOLA AB
Organization address
address: - contact info |
SE (GOETEBORG) | participant | 0.00 |
| 3 |
ERLANG SOLUTIONS LIMITED
Organization address
address: BRUSHFIELD STREET FRUIT AND WOOL EXCHANGE contact info |
UK (LONDON) | participant | 0.00 |
| 4 |
INTEROUD INNOVATION SL
Organization address
address: AVENIDA DE ALFONSO MOLINA 5 3B contact info |
ES (CORUNA) | participant | 0.00 |
| 5 |
QUVIQ AB
Organization address
address: BERGSHAMRAVAGEN 4 contact info |
SE (SAVEDALEN) | participant | 0.00 |
| 6 |
SP SVERIGES TEKNISKA FORSKNINGSINSTITUT AB
Organization address
address: BRINELLGATAN contact info |
SE (BORAS) | participant | 0.00 |
| 7 |
UNIVERSIDAD POLITECNICA DE MADRID
Organization address
address: AVENIDA RAMIRO DE MAEZTU contact info |
ES (MADRID) | participant | 0.00 |
| 8 |
UNIVERSIDADE DA CORUNA
Organization address
address: PASEO DE LA MAESTRANZA S/N contact info |
ES (LA CORUNA) | 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 advanced software engineering technologies suitable for the networked, distributed dimension of software and access to services and data (Objective 1.2). Specifically, we develop approaches to improve quality assurance: the challenge is to reduce time spent on testing, whilst increasing software quality, in order to quickly launch new, or enhancements of existing, web services and internet applications.nnTesting for the internet software industry brings some unique challenges due to the combination of openness, complexity and evolution present in this domain. These challenges form the heart of our research project.nnWe aim to automate quality assurance, reducing its cost and improving effectiveness, based on properties of the system that should hold. We will develop this property-based testing for web services and internet applications in order to achieve a real improvement of testing efficiency. Property-based testing (PBT) provides a powerful, high-level, approach to testing; rather than focusing on individual test cases to encapsulate the behaviour of a system, in PBT this behaviour is specified by properties, expressed in a logical form. The system is then tested by checking whether it has the required properties for randomly generated data, which may be inputs to functions, sequences of API calls, or other representations of test cases.nnWe will enable PBT to be compositional, and we will simplify creation and understanding of models. We will develop techniques to compare multiple implementations, and to support testing of constantly evolving systems. We will address non-functional requirements such as performance requirements. Finally, we will define software assurance criteria that are compatible with property-based testing to ensure the highest quality assurance.nnWe combine academic expertise in testing, software tools, refactoring, distributed and concurrent systems, together with practical experience from our industrial partners. These companies provide a variety of services and projects to a breath of markets and include tool vendors, consultants and trainers together with software and service developers.nnOur results will improve our tool vendor's products, be adopted by our partners within Interoud, and be disseminated by ESL and SP to their customers throughout Europe in a variety of sectors, and used by those customers. This three-pronged strategy will guarantee real impact.