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

FAULTLOCALIZATION

Financiado

Cerrado

Using Hardware Performance Counters for Functional Correctness Debugging

Program debugging is a process of identifying and fixing bugs. Identifying the root causes is the hardest, thus the most expensive, component of debugging. According to a U.S. federal study, software defects costs U.S. economy an... ver más

31/10/2012

SABANCI UNIVERSITY

75K€

Presupuesto del proyecto: 75K€

Líder del proyecto

SABANCI UNIVERSITESI 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 2012-10-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

SABANCI UNIVERSITY

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

VSSC Verifying and Synthesizing Software Compositions 2M€ Cerrado

RTI2018-101963-B-I00 BUGBIRTH: HOW BUGS ARE BORN 85K€ Cerrado

RYC2018-025200-I Compile-time code analysis and optimization 309K€ Cerrado

MirandaTesting Testing Program Analyzers Ad Absurdum 1M€ Cerrado

PID2019-105455GB-C32 PRUEBAS DE SOFTWARE MAS ALLA DE LAS UNITARIAS Y DE SQL 121K€ Cerrado

SPADE Sophisticated Program Analysis Declaratively 1M€ Cerrado

Líder del proyecto

SABANCI UNIVERSITESI No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 75K€

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

Descripción del proyecto Program debugging is a process of identifying and fixing bugs. Identifying the root causes is the hardest, thus the most expensive, component of debugging. According to a U.S. federal study, software defects costs U.S. economy an estimated $59.5 billion each year and improvements (including testing and debugging) could reduce this cost by a third, or $22.5 billion. Therefore, automated approaches that help developers quickly pinpoint the root causes of failures are of great importance. Many approaches have been proposed to facilitate fault localization. The limitations of these approaches are well-known and sometimes severe. To circumvent these shortcomings, we propose to leverage hardware performance counters to locate functional defects. The objective of this project is to empirically evaluate the accuracy and effectiveness of using hardware performance counters-based program profiling data in locating functional defects. Hardware performance counters have been traditionally leveraged to perform low-level performance analysis and tuning of software systems. In this project, we will leverage hardware performance counters in a novel way, exploiting them for functional correctness debugging by identifying pieces of program code that perform some suspicious activities.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores