Defensa de la tesis de Urtzi Markiegi Gonzalez
Defensa de la tesis de Urtzi Markiegi Gonzalez
Defensa de la tesis de Urtzi Markiegi Gonzalez
Título de la tesis: "Test optimization for Highly-Configurable Cyber-Physical Systems". Obtuvo la calificación SOBRESALIENTE CUM LAUDE.
- Título de tesis: "Test optimization for Highly-Configurable Cyber-Physical Systems".
- Tribunal:
- Presidencia: Óscar Díaz García (UPV/EHU)
- Vocalía: Shaukat Ali (Simula Research Laboratory)
- Vocalía: David Benavides Cuevas (Universidad de Sevilla)
- Vocalía: Salvador Trujillo González (Ikerlan)
- Secretaría: Aitor Arrieta Marcos (Mondragon Unibertsitatea)
Resumen
A lo largo de la última década, los sistemas ciber-físicos (CPS de sus siglas en inglés) han ganado protagonismo como tecnologías esenciales en el desarrollo de múltiples dominios, gracias a su habilidad para integrar las capacidades digitales con los procesos físicos de los sistemas. Además, la demanda de configurabilidad de los CPS ha aumentado rápidamente para responder a los cambiantes requisitos empresariales.
A lo largo de la última década, los sistemas ciber-físicos (CPS de sus siglas en inglés) han ganado protagonismo como tecnologías esenciales en el desarrollo de múltiples dominios, gracias a su habilidad para integrar las capacidades digitales con los procesos físicos de los sistemas. Además, la demanda de configurabilidad de los CPS ha aumentado rápidamente para responder a los cambiantes requisitos empresariales.
Varios enfoques han abordado el reto de la optimización de las pruebas, la mayoría de ellos centrados en la reducción del número de productos a probar, mediante la selección de un subconjunto representativo. Otros enfoques han propuesto la optimización en términos de selección y priorización de casos de prueba. Sin embargo, se ha prestado poca atención a la optimización de ambos, productos y casos de prueba, de forma combinada. Esta tesis tiene como objetivo avanzar la práctica actual de optimización de las pruebas de los HCCPS proponiendo un método para aumentar la tasa de detección de fallos en escenarios con de tiempo limitado. Para ello, proponemos un enfoque dinámico de priorización de pruebas que combina tanto productos como casos de prueba. El enfoque establece un plan de pruebas que ejecuta pequeños grupos de casos de prueba con productos en ejecuciones iterativas. Después de cada iteración, el plan de pruebas se reordena dinámicamente, aprovechando la información de los casos de prueba que se ejecutan en productos específicos. El enfoque ha sido evaluado y validado para el contexto específico de los HCCPS, pero podría permitir allanar el camino para su uso en otro tipo de líneas de productos.