Titulo: Reescribiendo binarios de test usando C#

Directores: ​Dr. Diego Garbervetsky, Dr. Juan P. Galeotti

Jurados: Dr. Sebastian Uchitel (DC, FCEyN, UBA), Lic. Daniela Marottoli (DC, FCEyN, UBA)

Link Aula Zoom: https://zoom.us/my/dc.aula02
Nombre Aula Zoom: dc.aula02
Clave del Aula Zoom: vonNeumann

Resumen:
————–

Los sistemas distribuidos y la programación concurrente son hoy en día una forma común de diseñar aplicaciones. Esto se debe al incremento incesante de la capacidad de computación cloud y la disponibilidad de procesadores multicore. No obstante, este paradigma de programación no se encuentra libre de problemas, que resultan muy difíciles de encontrar, testear y reproducir. Esto se debe a su naturaleza probabilística producto de la intercalación de la ejecución de las aplicaciones concurrentes.

COYOTE es una herramienta que permite a los usuarios testear aplicaciones concurrentes para encontrar estos problemas, además de proveerles la posibilidad de reproducir problemas. Sin embargo, para lograr esto, las personas que usan esta herramienta necesitan escribir manualmente tests específicos usndo la API de COYOTE, de forma que la herramienta pueda hacer su trabajo.
En esta tesis de licenciatura, se propone una técnica para realizar una reescritura de tests existentes escritos en el lenguaje C# usando instrumentación de binarios. La evaluación inicial muestra que el enfoque puede tratar aplicaciones reales y resultar de ayuda a personas no expertas en el descubrimiento de errores de concurrencia.