X

Abril 2025

Juan Pablo Sandoval y Nicolás Jiménez publican: “Increasing the Effectiveness of Automatically Generated Tests by Improving Class Observability” en IEEE/ACM International Conference on Software Engineering

ICSE, la Conferencia Internacional IEEE/ACM sobre Ingeniería de Software, considerada la principal conferencia de ingeniería de software. En esta 47° versión se celebrará desde el 27 de abril al 3 de mayo de 2025 en Ottawa. Los días principales de la conferencia serán del miércoles 30 de abril al viernes 2 de mayo. El trabajo titulado “Increasing the Effectiveness of Automatically Generated Tests by Improving Class Observability”, fue desarrollado por Nicolás Jiménez Fuentes junto a su tutor Prof. Juan Pablo Sandoval Alcocer (DCC UC), en colaboración con Geraldine Galindo-Gutierrez, Alexandre Bergel y Gordon Fraser.  El paper de Magíster de Nicolás Jiménez-Fuentes, estudiante del laboratorio de Ingeniería de Software (SEISLab), fue aceptado en ICSE 2025 (International Conference on Software Engineering), la principal conferencia mundial en ingeniería de software organizada por IEEE/ACM. Este año se enviaron más de 1000 postulaciones de las cuales solo alrededor de 200 fueron aceptadas, lo que refleja el alto estándar de esta conferencia que se realizará en Canadá.  La investigación propone mejorar la calidad de los tests generados automáticamente al aumentar la observabilidad de las clases, es decir, haciendo que los atributos internos sean más accesibles y verificables por herramientas como EvoSuite. Esta mejora permite detectar errores de forma más eficaz y generar pruebas más útiles para los desarrolladores. Nicolás se encuentra próximo a defender su tesis de Magíster, y esta publicación representa un hito destacado en su magister. Resumen: La generación automatizada de pruebas unitarias consiste en dos desafíos complementarios: Encontrar secuencias de llamadas a la API que ejerzan el código de una clase bajo prueba y encontrar declaraciones de aserción que validen el comportamiento de la clase durante la ejecución. El primer desafío a menudo se aborda utilizando algoritmos de búsqueda meta-heurísticas que optimizan las pruebas para la cobertura del código, que luego se anotan con afirmaciones de regresión para abordar el último desafío, es decir, afirmaciones que capturan los estados observados durante la generación de pruebas. Si bien las pruebas resultantes tienden a lograr una alta cobertura, su potencial de búsqueda de fallas a menudo se ve inhibido por la observabilidad deficiente o difícil de la base de código. Es decir, los atributos y propiedades relevantes pueden no exponerse adecuadamente en absoluto, o solo de manera que el generador de pruebas no pueda manejar. En este documento, investigamos la influencia de la observabilidad en el contexto del generador de pruebas Java basado en la búsqueda de EvoSuite, que ampliamos de dos maneras complementarias para estudiar y mejorar la observabilidad: Primero, aplicamos una transformación al código bajo prueba para exponer atributos encapsulados al generador de pruebas; segundo, abordamos la capacidad limitada de EvoSuite de afirmar el estado de objetos complejos. Nuestra evaluación demuestra que juntas estas mejoras de observabilidad conducen a un aumento significativo de las puntuaciones de mutación, subrayando la importancia de considerar la observabilidad de la clase en el proceso de generación de pruebas. Puedes leer el paper aquí: https://conf.researchr.org/details/icse-2025/icse-2025-research-track/113/Increasing-the-Effectiveness-of-Automatically-Generated-Tests-by-Improving-Class-Obse ¿Te interesa investigar temas como este? En el SEISLab siempre estamos recibiendo nuevos integrantes para hacer tesis de Magíster o Doctorado. Puedes encontrar más información de los Laboratorios DCC UC, aquí: https://dcc.ing.uc.cl/investigacion/laboratorios/ Si te apasiona la ingeniería de software, puedes escribir directamente al profesor Juan Pablo Sandoval (juanpablo.sandoval@uc.cl).

Juan Pablo Sandoval y Nicolás Jiménez publican: “Increasing the Effectiveness of Automatically Generated Tests by Improving Class Observability” en IEEE/ACM International Conference on Software Engineering Leer más ”

Carla Gallardo y Martín Muñoz obtienen su grado de Doctorado en Ciencias de la Ingeniería, área Ciencia de la Computación

Felicitamos a los nuevos doctores; Carla y Martín quienes en este primer período del año recibieron su grado de Doctor. Es importante destacar que la defensa de Carla estuvo enfocada en la línea de investigación: “Sistemas y computación orientada a humanos”, y en el caso de Martín, se enfocó en la otra línea de investigación “Ciencia de la informática”. La presentación de Carla Gallardo se tituló: “Propuesta metodológica para fortalecer pensamiento crítico y Grit en contexto de educación básica rural“.Resumen: La educación en contextos rurales enfrenta desafíos como la falta de recursos y oportunidades de desarrollo profesional. Para abordar estos problemas, se implementó una intervención en seis escuelas rurales con el objetivo de mejorar el grit y el pensamiento crítico en alumnos y profesores mediante un modelo de clase innovador. El desarrollo de habilidades del siglo XXI, como el pensamiento crítico y la perseverancia (grit), es esencial en un mundo globalizado. La intervención incluyó un programa de formación docente con un enfoque pedagógico diseñado para fomentar estas habilidades en los estudiantes. Se proporcionó a los profesores materiales y estrategias para aplicar en el aula, utilizando la lectura de textos con preguntas que promovieran el análisis y la reflexión. Durante un año, los estudiantes participaron en actividades diseñadas para fortalecer su grit y pensamiento crítico, mientras que los docentes recibieron sesiones de coaching para mejorar su propia perseverancia. Los resultados mostraron mejoras significativas en ambos grupos. Se concluyó que el grit y el pensamiento crítico pueden desarrollarse en conjunto mediante metodologías adecuadas. Además, el enfoque reflexivo en el aula fortaleció la cohesión entre estudiantes y docentes, generando un ambiente de aprendizaje más resiliente y dinánico. La presentación de Martín Muñoz se tituló: “Output-linear enumeration for extensions of MSO“ Resumen:En una realidad donde la cantidad de datos a manejar alcanzan volúmenes muy elevados, las tareas de procesamiento automatizado de datos necesitan hacerse de forma realmente óptima. Lo ideal sería leer los datos una vez, y en el momento que termina la lectura obtener algún resultado puntual o una cierta estadística. ¿Qué pasa si uno no necesita extraer de los datos no un resultado, sino una lista muy larga de ellos? Acá las técnicas conocidas podrían no funcionar. Sin embargo, existe una estrategia que consiste en procesar los datos, y terminar con un archivo comprimido de los resultados, que además viene con un método para enlistarlas todas de forma rápida. Esto implica cambiar el paradigma de procesamiento de datos hacia los llamados algoritmos de enumeración. En esta tesis, estudiamos tareas complejas de procesamiento que se pueden expresar a través de un cierto lenguaje de especificación de consultas, llamado Segundo Orden Monádico, que se puede evaluar muy rápido sobre distintas topologías de datos. Para estas topologías ya se conocen soluciones óptimas, pero solo para el caso de respuesta puntual. Acá extendemos estas soluciones para resolver el caso de listas de resultados, y con un método de enumeración que toma tiempo óptimo. Martín Muñoz Más información sobre el programa de doctorado, área Ciencia de la Computación UC: https://www.ing.uc.cl/programas-de-estudio/postgrado/doctorado-ciencias-la-ingenieria/areas-especializacion-doctorado/

Carla Gallardo y Martín Muñoz obtienen su grado de Doctorado en Ciencias de la Ingeniería, área Ciencia de la Computación Leer más ”

Marcelo Mendoza es consultado por El Mercurio sobre Ciberseguridad y educación superior

Con el título: La ciberseguridad es una materia aún pendiente en la educación, el medio El Mercurio, busca publicar cuántas instituciones chilenas ofrecen la materia de Ciberseguridad en Chile, considerando los avances tecnológicos de la era digital. El artículo se publica en marco del Primer Informe de Oferta Académica de Ciberseguridad, realizado por la Alianza Chilena de Ciberseguridad y Equifax Chile: donde se concluye que de las 127 instituciones de educación superior que existen en el país, solo 21 tienen planes de estudio o carreras con denominación en esta área. Es decir, solo el 17% de la oferta académica. Sumado a que Chile enfrenta más de 45 mil ataques de malware al día, revela el Panorama de Amenazas 2024 de Kas-persky, compañía de seguridad. Marcelo Mendoza, académico UC e investigador CENIA & IMFD, tras ser consultado sobre este tema, comentó: “Una mayor inversión, en términos de atraer capital humano avanzado. Probablemente, como tenemos poca formación de capacidades en estos temas a nivel universitario en el país, sea necesario traer desde afuera a expertos que la fortalezcan” A lo que el medio concluye: Para fomentar su enseñanza, especialistas sugieren que se deben crear redes colaborativas entre instituciones y dar incentivos para la formación de talento docente en este campo, entre otras estrategias. A continuación les invitamos a conocer dos programas diferentes, uno es una carrera de pregrado Licenciatura en Ingeniería en Ciencia de la Computación y el otro es el programa de postgrado Magíster en Inteligencia Artificial, dirigido a profesionales. Ambos impartidos por académicos UC, pero que en sus mallas curriculares está la Ciberseguridad como tópico. Leer nota completa de El Mercurio: La ciberseguridad es una materia aún pendiente en la educación

Marcelo Mendoza es consultado por El Mercurio sobre Ciberseguridad y educación superior Leer más ”