Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

ProTest

Financiado

Cerrado

Property based Testing

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 an... ver más

31/12/2011

USFD

4M€

Presupuesto del proyecto: 4M€

Líder del proyecto

THE UNIVERSITY OF SHEFFIELD No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Ver 8 Participantes

Financiación concedida El organismo FP7 notifico la concesión del proyecto el día 2011-12-31 No tenemos la información de la convocatoria

0% 74% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

8 Participantes

USFD

0.00€ | Lider

UGOT - GOETEBORGS UNIVERSITE...

N.D. | Participante

UPM

N.D. | Participante

CHALMERS TEKNISKA HOGSKOLA A...

N.D. | Participante

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

MirandaTesting Testing Program Analyzers Ad Absurdum 1M€ Cerrado

SAFE Safety Analysis of Concurrent Systems 150K€ Cerrado

BES-2016-077136 TECNOLOGIAS RIGUROSAS PARA EL ANALISIS Y VERIFICACION DE SOF... 93K€ Cerrado

EUIN2015-62768 ESTRUCTURAS DE TIPO Y PRUEBA PARA VERIFICACION DE SOFTWARE C... 3K€ Cerrado

TUNE Testing the Untestable Model Testing of Complex Software In... 2M€ Cerrado

TIN2016-81699-ERC ESTRUCTURAS DE TIPO Y PRUEBA PARA VERIFICACION DE SOFTWARE C... 75K€ Cerrado

Líder del proyecto

THE UNIVERSITY OF SHEFFIELD No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 4M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto 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.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores