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

Abstract

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

Phd in Artificial Intelligence

Eduardo García Pardo

Full Professor

One of the founders of the investigation group GRAFO, whose main line of research is the development of algorithms to tackle optimization problems, the topic of the researcher’s Doctoral Thesis and which their most notable publications are framed.