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

S3

Financiado

Semantics of Software Systems

"*What if we had software bots that tirelessly test, debug, and monitor our software systems?* IT workers are expensive and scarce. So why can't we further automate boring, repetitive activities such as testing and debugging? The... ver más

31/08/2028

CISPA HELMHOLTZZE...

3M€

Presupuesto del proyecto: 3M€

Líder del proyecto

CISPA HELMHOLTZZENTRUM FUR INFORMATIONSSICHE... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2023-08-22

ERC-2022-ADG: ERC ADVANCED GRANTS Scope:Objectives

I+D

Cerrada hace 2 años

0% 100% 100%

1 Participantes

CISPA HELMHOLTZZENTRUM FUR...

2.50M€ | 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

BugGPT Practical, Learning-Based Tools for Finding and Fixing Bugs 150K€ Cerrado

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

TIN2008-06622-C03-01 SOFTWARE TOOLS AND MULTIPARADIGM PROGRAMMING 323K€ Cerrado

FINABIS Finite-state abstractions of infinite-state systems 1M€ Cerrado

IJC2018-035304-I Ingeniería del Software Dirigida por Modelos 93K€ Cerrado

IJC2019-041599-I Modular Program Verification and Synthesis using Refinement... 93K€ Cerrado

Duración del proyecto: 60 meses Fecha Inicio: 2023-08-22
Fecha Fin: 2028-08-31

Líder del proyecto

CISPA HELMHOLTZZENTRUM FUR INFORMATIONSSICHE... No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 3M€

Descripción del proyecto "*What if we had software bots that tirelessly test, debug, and monitor our software systems?* IT workers are expensive and scarce. So why can't we further automate boring, repetitive activities such as testing and debugging? The problem is that we lack computer-readable _specifications_ (so-called _oracles_) for what the system should do or not do. For decades, this _oracle problem_ has been a roadblock to automated test generation, trusted software repairs, and accurate monitoring of software. Building on groundbreaking research to infer input languages of systems, S3 introduces a unified approach to _learning oracles automatically_. It takes a given software system; _infers_ and _decodes_ its inputs and outputs; and runs _experiments_ to extract _models_ of how the system behaves, capturing its semantics by predicting output features for given input features. These models, named _system invariants_, allow to _fully automate_ critical software development activities: TESTING. System invariants encode _languages_ for automatically generating test inputs and provide _oracles_ for checking test results: ""In the TLS server, the <payload> in the <heartbeat-response> must be the same as in the <heartbeat-request>."" DEBUGGING. System invariants allow narrowing down causes of software behavior (""The X.509 public key certificate is not recognized if <subject-name> contains a zero byte""). Generated tests and oracles ensure reliable automated repair. MONITORING. System invariants enable detecting abnormal behavior at runtime (""In 'log4j', logging a <user-agent> containing '""${jndi:<url>}""' opens <url>""). Problematic queries can be isolated and investigated until the problem is fixed. In the future, testing, debugging, and monitoring would thus be taken over by _software bots_ who would autonomously explore software behavior, report issues, and suggest actions to their human co-workers, boosting developer productivity and software reliability. "

Conecta tu I+D

Entra hoy

¿Olvidó su contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores