Método constructivo para la generación de modelos de comportamiento a partir de reportes de usuario en sistemas software

• Alejandro Aunión ^[1] ; Javier Yuste ^[1] ; Eduardo G. Pardo
  1. [1] Universidad Rey Juan Carlos

     Universidad Rey Juan Carlos

     Madrid, España

     
• Localización: Actas del XVI Congreso Español de Metaheurísticas, Algoritmos Evolutivos y Bioinspirados: (MAEB 2025) 28-30 de mayo, Donostia/San Sebastián / coord. por Leticia Hernando Rodríguez, Josu Ceberio Uribe, Jon Vadillo Jueguen, 2025, ISBN 978-84-1319-656-5, págs. 150-159
• Idioma: español
• Enlaces
  • Texto Completo Libro
• Resumen

  • La calidad de los sistemas software tiende a deteriorarse con el tiempo a medida que estos evolucionan. Crear casos de prueba apropiados es una tarea compleja, que puede llevar a correcciones incompletas o incluso a la introducción de nuevos fallos si no se realiza correctamente. El área de Model-Based Testing se centra en el diseño de casos de prueba de calidad de manera automática o semi-automática. Para ello, es necesario disponer de modelos que representen el comportamiento del sistema que se quiere probar. En este trabajo, se estudia el problema de la inferencia de modelos de comportamiento, un problema de optimización multi-objetivo que busca construir modelos de comportamiento de calidad. En primer lugar, se identifica un conjunto de soluciones triviales en el espacio de búsqueda del problema estudiado.

    Para recorrer el espacio de búsqueda entre dichas soluciones triviales, se propone un método constructivo semi-voraz multi-arranque, cuyo rendimiento se compara con el de los métodos propuestos en la literatura. Los resultados obtenidos muestran que la estrategia propuesta tiene potencial para generar un conjunto de soluciones no dominadas de calidad. Finalmente, se describen varias líneas de trabajo futuro para mejorar la eficiencia del método propuesto.