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

TUNE

Financiado

Cerrado

Testing the Untestable Model Testing of Complex Software Intensive Systems

Software-intensive systems pervade modern society and industry. These systems often play critical roles from an economic, safety or security standpoint, thus making their dependability indispensible. Software Verification and Vali... ver más

28/02/2022

uni.lu

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

UNIVERSITE DU LUXEMBOURG 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 2022-02-28

ERC-ADG-2015: ERC Advanced Grant

I+D

Cerrada hace 9 años

0% 100% 100%

Información adicional privada

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

2 Participantes

uni.lu

2.31M€ | Lider

GAS GAS

420.54K€ | 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

SVIS Supervised Verification of Infinite State Systems 1M€ Cerrado

TIN2013-44742-C4-1-R VALIDACION ASISTIDA DE PROGRAMAS MEDIANTE METODOS PRECISOS Y... 109K€ Cerrado

TIN2010-20639 VERIFICACION PARAMETRIZADA DE SISTEMAS INFORMATICOS 44K€ Cerrado

MirandaTesting Testing Program Analyzers Ad Absurdum 1M€ Cerrado

TIN2009-14599-C03-02 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 308K€ Cerrado

TIN2009-14599-C03-03 DESARROLLO DE SOFTWARE DE ALTA CALIDAD, FIABLE, DISTRIBUIDO... 159K€ Cerrado

Duración del proyecto: 69 meses Fecha Inicio: 2016-04-29
Fecha Fin: 2022-02-28

Líder del proyecto

UNIVERSITE DU LUXEMBOURG No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 2M€

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

Descripción del proyecto Software-intensive systems pervade modern society and industry. These systems often play critical roles from an economic, safety or security standpoint, thus making their dependability indispensible. Software Verification and Validation (V&V) is core to ensuring software dependability. The most prevalent V&V technique is testing, that is the automated, systematic, and controlled execution of a system to detect faults or to show compliance with requirements. Increasingly, we are faced with systems that are untestable, meaning that traditional testing methods are highly expensive, time-consuming or infeasible to apply due to factors such as the systems’ continuous interactions with the environment and the deep intertwining of software with hardware. TUNE will enable testing of untestable systems by revolutionising how we think about test automation. Our key idea is to frame testing on models rather than operational systems. We refer to such testing as model testing. The models that underlie model testing are executable representations of the relevant aspects of a system and its environment, alongside the risks of system failures. Such models inevitably have uncertainties due to complex, dynamic environment behaviours and the unknowns about the system. This necessitates that model testing be uncertainty-aware. We propose to develop scalable, practical and uncertainty-aware techniques for test automation, leveraging our expertise on model-driven engineering and automated testing. Our solutions will synergistically combine metaheuristic search with system and risk models to drive the search for critical faults that entail the most risk. TUNE is the first initiative with the specific goal of raising the level of abstraction of testing from operational systems to models. The project will bring early and cost-effective automation to the testing of many critical systems that defy existing automation techniques, thus significantly improving the dependability of such systems.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores