Lun | Mar | Mié | Jue | Vie | Sáb | Dom |
---|---|---|---|---|---|---|
1
Fecha :
Sábado, 01 de Julio de 2023
|
2
Fecha :
Domingo, 02 de Julio de 2023
| |||||
6
Fecha :
Jueves, 06 de Julio de 2023
|
7
Fecha :
Viernes, 07 de Julio de 2023
|
8
Fecha :
Sábado, 08 de Julio de 2023
|
9
Fecha :
Domingo, 09 de Julio de 2023
| |||
10
Fecha :
Lunes, 10 de Julio de 2023
|
11
Fecha :
Martes, 11 de Julio de 2023
|
12
Fecha :
Miércoles, 12 de Julio de 2023
|
13
Fecha :
Jueves, 13 de Julio de 2023
|
14
Fecha :
Viernes, 14 de Julio de 2023
|
15
Fecha :
Sábado, 15 de Julio de 2023
|
16
Fecha :
Domingo, 16 de Julio de 2023
|
17
Fecha :
Lunes, 17 de Julio de 2023
|
18
Fecha :
Martes, 18 de Julio de 2023
|
19
Fecha :
Miércoles, 19 de Julio de 2023
|
20
Fecha :
Jueves, 20 de Julio de 2023
|
21
Fecha :
Viernes, 21 de Julio de 2023
|
22
Fecha :
Sábado, 22 de Julio de 2023
|
23
Fecha :
Domingo, 23 de Julio de 2023
|
24
Fecha :
Lunes, 24 de Julio de 2023
|
25
Fecha :
Martes, 25 de Julio de 2023
|
26
Fecha :
Miércoles, 26 de Julio de 2023
|
27
Fecha :
Jueves, 27 de Julio de 2023
|
28
Fecha :
Viernes, 28 de Julio de 2023
|
29
Fecha :
Sábado, 29 de Julio de 2023
|
30
Fecha :
Domingo, 30 de Julio de 2023
|
31
Fecha :
Lunes, 31 de Julio de 2023
|
On-line
El próximo martes 16 a las 16:00 se celebrará el seminario "Pruebas Metamórficas: Introducción, Aplicaciones y Retos" impartido por el profesor Sergio Segura. El seminario está abierto a cualquier persona interesada y es gratuito. Para inscribirse.
A menudo, resulta difícil determinar si la salida de un programa es correcta o no. Esto es lo que se conoce como el "problema del oráculo" y supone un reto enorme para la detección de errores en el software. Las pruebas metamórficas abordan este problema desde una perspectiva original: en lugar de analizar las salidas del programa de forma individual, las pruebas metamórficas explotan las relaciones existentes entre las entradas y salidas de dos o más ejecuciones del programa. Dos décadas después de su introducción, las pruebas metamórficas se han convertido en una técnica madura y ampliamente aceptada, con aplicaciones en motores de búsqueda (ej. Google), compiladores (ej. GCC), APIs Web (ej. Spotify), sistemas de conducción autónoma (ej. Apollo), traductores (ej. Google Translate) o sistemas de telemetría (ej. NASA), entre muchos otros. En este seminario repasaremos los aspectos básicos de la técnica, su evolución, casos de éxito y algunos de los retos futuros.
Escuela Técnica Superior de Ingeniería Informática - Universidad de Sevilla
Av. Reina Mercedes s/n, 41012 Sevilla - tlfno +(34) 954556817
© 2024 ETSII