Categories: Software

Investigadores construyen un sistema automático mejorado para descubrir errores

Una de las herramientas de análisis de software más utilizadas es la denominada “ejecución simbólica”. Esta técnica es capaz de localizar y reparar bugs de programación de forma automática.

No obstante el sistema no funciona tan bien para aplicaciones desarrolladas en los frameworks de programación actuales.

Como explican los investigadores, una aplicación puede tener sólo 1.000 líneas de código pero generalmente importará funciones desde un framework de programación, que incluye grandes bibliotecas o código reutilizado frecuentemente. Al añadir estas líneas importadas, esa ejecución simbólica supone más tiempo.

Y no sólo eso.

Si escribes un programa hoy utilizas frameworks y piezas de funcionalidades y luego las pegas entre sí; sólo escribes algo de código para que interactúen. Si no entiendes lo que está haciendo ese framework nunca vas a saber dónde va a ejecutarse tu programa”, explica uno de los investigadores involucrados en el proyecto.

Investigadores del MIT han dado un importante paso al permitir llevar a cabo5gracias a un sistema que construye automáticamente modelos de librerías de framework.

Al comparar su modelo con el modelo de biblioteca de componentes de interfaces gráficas de usuario Java, Swing, los investigadores han descubierto que el nuevo modelo fue capaz de resolver muchos problemas en el código escrito de forma manual.

Para generar su modelo ejecutaron una suite de tutoriales creadas para enseñar a los novatos cómo programar en Java. El sistema monitoriza automáticamente las interacciones entre el código de los tutoriales y el del framework que importante los tutoriales.

“Lo genial es que están diseñados para ayudar a la gente a entender cómo funciona el frameworks, así que es una buena manera para enseñar al sintetizador cómo funciona el framework”, ha explicado el experto.

Nerea Bilbao

Redactora Jefe. Tras pasar por la radio y la comunicación corporativa me quedé atrapada en la Red. Ahora escribo en Silicon sobre empresas tecnológicas y finanzas. Interesada por todo lo relacionado con el ciberpoder y la relación de las tecnologías con los centros de poder.

Recent Posts

La ciberseguridad del IoT crecerá un 120% en el próximo lustro

El internet de las cosas (IoT) trae muchas ventajas, pero también comporta nuevos riesgos. El…

2 días ago

Bitdefender lanza un programa de garantía contra violaciones de seguridad

Ofrece hasta 1 millón de dólares de compensación económica en caso de incidente, con la…

2 días ago

Cloud Expo evoluciona a Cloud & AI Infrastructure

Este cambio refleja los avances que se producen a nivel de infraestructura TI y el…

2 días ago

DES2025 se centrará en la IA y ofrecerá una zona de experiencia tecnológica

El evento espera reunir a 17.000 directivos, que podrán escuchar a medio centenar expertos en…

3 días ago

Snowflake llega a un acuerdo con Datavolo para su adquisición

Como resultado de esta operación, ampliará sus servicios en el "bronze layer" del ciclo de…

3 días ago

NetApp aumenta un 6 % sus ingresos trimestrales

Durante el segundo trimestre de su año fiscal 2025 acumuló 1.660 millones de dólares, la…

3 días ago