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

NOBUGS

Financiado

Cerrado

Toward Zero Defect Software Through Automatic Cooperative Self Improvement

"This proposal advocates a fundamentally new approach to achieving software quality: remove the distinction between software use and software testing -- enable programs to accumulate experience from each one of their executions, a... ver más

31/01/2018

EPFL

1M€

Presupuesto del proyecto: 1M€

Líder del proyecto

ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE 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.

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

0% 100% 100%

Información adicional privada

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

1 Participantes

EPFL

0.00€ | Lider

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

PID2019-104735RB-C41 SAFER-UPV: ANALISIS Y VALIDACION DE SOFTWARE Y RECURSOS WEB 116K€ Cerrado

PID2019-104735RB-C44 ANALYSIS AND VALIDATION OF SOFTWARE AND WEB RESOURCES 61K€ Cerrado

GAMMA The Artificial Intelligence Code Analysis Recommendation E... 71K€ Cerrado

PID2019-104735RB-C42 ANALYSIS AND VALIDATION OF SOFTWARE AND WEB RESOURCES 192K€ Cerrado

DC-IR AI based software platform 71K€ Cerrado

CROSSMINER Developer Centric Knowledge Mining from Large Open Source So... 5M€ Cerrado

Líder del proyecto

ECOLE POLYTECHNIQUE FEDERALE DE LAUSANNE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 1M€

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

Descripción del proyecto "This proposal advocates a fundamentally new approach to achieving software quality: remove the distinction between software use and software testing -- enable programs to accumulate experience from each one of their executions, and leverage this experience toward self-improvement of the software. My hypothesis is that every program execution has information by-products that, if suitably captured and aggregated, can substantially speed up the process of testing programs and proving them correct. Software is being executed billions of times around the world, with the corresponding information going to waste. At the same time, traditional software testing tries to simulate a small subset of real-world conditions and executions. I propose instead viewing every execution of a program as a test run, and the aggregation of executions across the lifetime of all copies of that program as one gigantic test suite. I propose the study of techniques and formalisms for automatically recouping the information that is lost during everyday software use, aggregating it, and automatically turning it into tests and proofs; techniques to use these tests and proofs to automatically correct the behavior of programs; and techniques for automatically steering programs into exploring behaviors for which information is lacking. All these techniques will be embodied in a platform, called BeeNet, that implements a massively distributed learning process which turns execution by-products into a collective experience that leads to higher quality software. This is a radical new way of exploiting the vast (but today completely wasted) information that results from program execution. I will investigate these questions with an integrated approach that combines thorough theoretical studies with practical application to real-world software, employing the perspectives of three different research communities: operating systems, programming languages, and software verification."

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores