logo móvil
Contáctanos

Revisión y Mapeo de Enfoques Basados en Búsqueda para la Síntesis de Programas

Autores: Saber, Takfarinas; Tao, Ning

Idioma: Inglés

Editor: MDPI

Año: 2025

Descargar PDF

Acceso abierto

Artículo científico
2025

Revisión y Mapeo de Enfoques Basados en Búsqueda para la Síntesis de Programas


Categoría

Gestión y administración

Subcategoría

Gestión de la tecnología y la inovación

Palabras clave

Herramientas de síntesis de programas
Algoritmos basados en búsqueda
Costos de desarrollo de software
Algoritmos de búsqueda diversos
Tareas de programación
Tareas de generación de código

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 1

Citaciones: Sin citaciones


Descripción
Los herramientas de síntesis de programas reducen los costos de desarrollo de software al generar programas que realizan tareas descritas por algunas especificaciones. Han surgido diversas metodologías para la síntesis de programas, entre las cuales los algoritmos basados en búsqueda han mostrado resultados prometedores. Sin embargo, la proliferación de herramientas de síntesis de programas basadas en búsqueda que utilizan diversos algoritmos de búsqueda y tipos de entrada y que están dirigidas a varias tareas de programación puede abrumar a los usuarios que buscan la herramienta más adecuada. Este artículo contribuye al discurso en curso al presentar una revisión exhaustiva de los enfoques basados en búsqueda empleados para la síntesis de programas. Nuestro objetivo es ofrecer una comprensión de los principios rectores de las metodologías actuales al relacionarlas con el tipo de intención del usuario requerido, el tipo de algoritmo de búsqueda y la representación del espacio de búsqueda. Además, buscamos relacionar los diversos algoritmos de búsqueda con el tipo de tareas de generación de código en las que han mostrado éxito, lo que serviría como una guía para aplicar enfoques basados en búsqueda para la síntesis de programas. Método: Realizamos una revisión de la literatura de 67 artículos académicos sobre síntesis de programas basada en búsqueda. Resultados: A través del análisis, identificamos y categorizamos las principales técnicas con sus tendencias. También hemos mapeado y arrojado luz sobre los patrones que conectan el problema, la representación y el tipo de algoritmo de búsqueda. Conclusiones: Nuestro estudio resume el campo de la síntesis de programas basada en búsqueda y proporciona un punto de entrada al conocimiento y la experiencia de la comunidad basada en búsqueda sobre la síntesis de programas.

Otros recursos que podrían interesarte

Temas Virtualpro