Seminario:
Testeo de software en sistemas ciberfísicos: problemas, soluciones y retos futuros

Fecha

2024-01-23

Editor

Sistedes

Publicado en

Seminarios Sistedes

Licencia

CC BY-NC-ND 4.0

Resumen

Los sistemas ciberfísicos integran tecnologías digitales (incluido software) con procesos físicos. Ejemplos de estos sistemas son vehículos autónomos, drones, ascensores o robots. La mayoría de ellos cuenta con funcionalidades “safety o mission-critical”, lo que conlleva a que un fallo en el software podría causar daños físicos e incluso la muerte en humanos, catástrofes naturales o pérdidas millonarias. El testeo software es un método que permite detectar fallos software, y es el método más aplicado en el contexto de los sistemas ciberfísicos para asegurar cierto nivel de calidad en el software de dichos sistemas. En este seminario se abordará la problemática del testeo software en sistemas ciberfísicos. Comenzaremos con una breve introducción sobre los problemas que supone testear sistemas ciberfísicos y sus particularidades con respecto a otro tipo de sistemas software, como, por ejemplo, la incertidumbre del entorno o el alto tiempo de ejecución de casos de prueba. Después, se dará una visión global sobre las soluciones que se han propuesto para resolver dichos problemas. Por último, se analizarán los retos que quedan por abordar en los siguientes años en este campo.

Descripción

Acerca de Arrieta, Aitor

Aitor Arrieta es profesor en la Universidad de Mondragón. Obtuvo su doctorado en ingeniería del software en 2017. Su investigación se centra en el campo de las pruebas de software (i.e., pruebas de software basadas en búsqueda, problema del oráculo de prueba, pruebas de regresión, depuración y reparación), especialmente en pruebas de sistemas no comprobables, como sistemas ciberfísicos, sistemas altamente configurables y sistemas basados en aprendizaje automático.

Puede encontrar más información sobre Aitor en los siguientes enlaces:

Palabras clave

Sistemas Ciberfísicos, Testing
Página completa del ítem
Notificar un error en este seminario
Mostrar cita
Mostrar cita en BibTeX
Descargar cita en BibTeX