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

AST

Financiado

Cerrado

Automatic System Testing

Verifying the correctness of software systems requires extensive and expensive testing sessions. While there are tools and methodologies to efficiently address unit and integration testing, system testing is still largely the resu... ver más

30/06/2020

UNIMIB

150K€

Presupuesto del proyecto: 150K€

Líder del proyecto

UNIVERSITA DEGLI STUDI DI MILANOBICOCCA 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 2 Participantes

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2020-06-30

ERC-2018-PoC: ERC Proof of Concept Grant

I+D

Cerrada hace 7 años

0% 100% 100%

Información adicional privada

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

2 Participantes

UNIMIB

150.00K€ | Lider

DAVANTIS TECHNOLOGIES

341.44K€ | Participante

Proyectos interesantes

TIN2010-20057-C03-01

Software

Software Testin...

68K€ Cerrado

EEBB-I-12-04743

Software

Software Testin...

5K€ Cerrado

Software

Software Testin...

3M€ Cerrado

NOBUGS

Software

Software Testin...

1M€ Cerrado

MirandaTesting

Software

Software Testin...

1M€ Cerrado

PROYECTO ALAMEDA ECOSISTEMA SOFTWARE PARA LA...

Software

Software Testin...

447K€ Cerrado

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

Duración del proyecto: 22 meses Fecha Inicio: 2018-08-30
Fecha Fin: 2020-06-30

Líder del proyecto

UNIVERSITA DEGLI STUDI DI MILANOBICOCCA No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 150K€

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

Descripción del proyecto Verifying the correctness of software systems requires extensive and expensive testing sessions. While there are tools and methodologies to efficiently address unit and integration testing, system testing is still largely the result of manual effort. Testing software applications at the system level requires executing the applications through their interfaces to verify the correctness of their functionalities and stimulate all their layers and components. Automating just part of this process can dramatically improve the effectiveness of verification activities and significantly reduce development costs, relevantly alleviating developers from their verification effort. This project addresses the development of a pre-commercial tool that has the unique capability of efficiently and automatically generating semantically-relevant system test cases equipped with functional oracles. This capability derives from the AUGUSTO technique, which is an outcome of the Learn ERC project. The idea behind Augusto is to exploit the common-sense knowledge, that is, the background knowledge that every computer user has and that normally lets her/him use software applications without the need of accessing any documentation or manual. Once this knowledge is represented abstractly and then embedded in AUGUSTO, the technique can automatically adapt its definition to the software under test every time a program is tested. This development work will be performed jointly with A company that produces and markets testing tools.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores