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

Alejandro Aunión, Javier Yuste, Eduardo G. Pardo

Keywords: Model-Based Testing, Inferencia de modelos de comportamiento, Optimización multi-objetivo, Métodos heurísticos

TL;DR: Diseño de un método constructivo semi-voraz multi-arranque para el problema de optimización multi-objetivo de la inferencia de modelos de comportamiento en sistemas software y comparación de su rendimiento con los métodos propuestos en la literatura

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.

Submission Number: 26