Testing y trazado de una librería Java de paso de mensajes basada en CSP

Resumen

Este Trabajo de Fin de Grado se centra en la realización de pruebas de una librería Java desarrollada por otro estudiante para la asignatura de Concurrencia. En su trabajo, se realizó la implementación de una API para el paso de mensajes basado en CSP mediante el uso sockets TCP. El principal objetivo de este trabajo es realizar pruebas exhaustivas a la librería con el fin de identificar posibles errores en el código y conseguir así una herramienta más fiable. En primer lugar, se llevará a cabo un análisis detallado de todas las clases que componen la librería. Con esto se conseguirá tener el conocimiento necesario para comprender el funcionamiento de la librería al completo. Una vez comprendido su funcionamiento, se comparará la facilidad de uso de la nueva librería frente a la librería JCSP, que es la que se usa actualmente. Esta tarea tiene como objetivo identificar los beneficios que aporta la nueva herramienta desarrollada. En segundo lugar, se diseñarán pruebas unitarias para cada uno de los métodos que serán utilizados por los alumnos. Esto es imprescindible ya que debemos asegurar su correcto funcionamiento al tratarse de una herramienta didáctica. Asimismo, se desarrollarán pruebas de integración para garantizar el correcto funcionamiento de la librería en su conjunto. En tercer lugar, se diseñará una herramienta de traza con el fin de facilitar la comprensión y visualización del paso de mensajes entre procesos a través de los canales. Para ello primero será necesario conocer todos los posibles estados en los que se puede encontrar un proceso a la hora de realizar el paso de mensajes. Esta herramienta tiene como finalidad el permitir visualizar de manera clara qué procesos están llevando a cabo el intercambio de mensajes y a través de qué canales se realiza dicha comunicación. Por úlitmo, se mejorará la documentación existente siguiendo las pautas de Javadoc. De esta manera, se conseguirá una descripción más completa y detallada de la librería, lo que facilitará su comprensión y uso por parte de los alumnos y desarrolladores.

ABSTRACT

This Bachelor’s Degree Final Project focuses on conducting tests on a Java library developed by another student for the Concurrency subject. In the student’s work, he implemented message passing based on CSP through TCP sockets. The main objective of this project is to perform exhaustive testing on the library to identify possible bugs in the code and achieve a more reliable tool. Firstly, a detailed analysis of all of the Java classes that compose the library will be done. This will provide a comprehensive understanding of the library’s functionalities. Once its functionalities are understood, the ease of use of the new library will be compared to the current JCSP library. This task aims to identify the benefits provided by the new developed tool. Secondly, unit tests will be designed for all methods used by the students. This is essential to ensure their proper functioning as it is a didactic tool. Additionally, integration tests will be developed to guarantee the overall functionality of the library. Thirdly, a tracing tool will be designed to facilitate the comprehension and visualization of message passing between processes through channels. To accomplish this, it will be necessary to consider all possible states in which a process can be during message passing. The purpose of this tool is to clearly visualize which processes are involved in message passing and through which channels such communication occurs. Finally, the existing documentation will be improved by following the Javadoc guidelines. This will provide a more comprehensive and detailed description of the library, improving its understanding and usage for both students and developers.