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

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.

Javier Yuste

Doctor en Inteligencia Artificial

Eduardo García Pardo

Catedrático de Universidad

Miembro fundador del grupo de investigación GRAFO, cuya línea de investigación principal es el desarrollo de algoritmos para abordar problemas de optimización, temática sobre la que versa la Tesis Doctoral del investigador y en la que se enmarcan sus publicaciones más destacadas.