Artículo: Aplicabilidad Práctica de la Ejecución Simbólica en la Generación de Casos de Prueba en C/C++
Cargando...
Archivos
Fecha
Editor
Sistedes
Publicado en
Actas de las XXIX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2025)
Licencia Creative Commons
Resumen
La técnica de Ejecución Simbólica Dinámica (Dynamic Symbolic Execution, DSE) se ha presentado en la literatura como una técnica eficaz para generar automáticamente casos de prueba en programas escritos en C/C++. Este trabajo presenta un estudio sobre su aplicabilidad práctica en proyectos C/C++ de código abierto empleando las herramientas KLEE y Gcov, evaluando su efectividad y los desafíos encontrados. Además, se discuten las ventajas y limitaciones de esta técnica en entornos reales, así como posibles estrategias para mejorar su aplicabilidad.
Descripción
Acerca de Valle-Gómez, Kevin Jesús
Palabras clave
Ejecución Simbólica Dinámica, Generación Automática De Pruebas, Generación De Casos De Prueba, Análisis Estático