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
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
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.
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.