This thesis presents different methods of analyzing and testing of communication protocols. I have studied them in order to choose the method that is simple enough and at the same time sufficiently effective to implement and use for students of FRI. I have also implemented the method as a web application that allows a formal description of protocol analysis and implementation of logical correctness. This is fallowed by describing of how the implementation was carried out. I have chosen appropriate technologies and justified their suitability. Much time was spent for testing, so in this thesis I have described the process and the results of the testing of some protocols. I have introduced a simple test protocol with three states and a complex real protocol. As a real protocol I have chosen TCP, but I have only tested the establishment and the termination. In conclusion I have commented my creation and added some suggestions for improvements, which I will try to achieve in the future. The application is deployed on Heroku, published on GitHub (https://github.com/nejcsilc/lpa), and available for users at http://lpa3.site web address.
展开▼
