Se invita a la comunidad universitaria a la conferencia virtual organizada dentro del marco del Máster en Desarrollo de Software del Departamento de Lenguajes y Sistemas Informáticos de la Universidad de Granada y con el apoyo de la Escuela Internacional de Posgrado de la Universidad de Granada:
Titulo: Introducción al Testeo de Software de Sistemas Críticos
Ponente: El Dr. Samuel Jiménez Gil es un antiguo alumno de la escuela que cursó el Máster de Desarrollo de Software y se doctoró en sistemas de tiempo real por la Universidad de York, UK. Su vida profesional se desarrolla en Inglaterra contando con experiencia en las industrias de automoción, espacio y aeroespacial. Su campo de investigación abarca técnicas automáticas para verificación de sistemas de tiempo real críticos.
Día y Hora de impartición: 15 de Noviembre de 2024 a las 16.00h (hora de España)
Sala presencial: Aula A.2 de la Escuela Técnica Superior de Ingenierías Informática y de Telecomunicación
Sala remota a través de Google Meet: https://meet.google.com/jaa-otox-nfm
Resumen:
La capacidad de comprobar la corrección de un programa puede suponer en muchos casos un gran reto, el cual la industria de los sistemas críticos gasta hasta el 60% del presupuesto del proyecto. En este taller se abordará mediante una combinación de teoría, ejemplos prácticos en C++ y Ada, junto a retos propuestos, una introducción al testeo de software. Se verá la relación con la calidad del software y otras aproximaciones formales utilizadas en el ámbito aeroespacial.
Instrucciones:
Dado que es un taller práctico se recomienda a todos los participantes que se descarguen la máquina virtual con todos los ejemplos incluidos que se encuentra en el siguiente enlace:
https://drive.google.com/file/d/1cUo7I5Nbh1fvH62PudZLhfiT3RHWGbUU/view?usp=drive_link
Una vez descomprimido hay un archivo readme con instrucciones para acceder a la mv desde VirtualBox.