Communication Protocols Analysis and Testing Tool

Nejc Šilc (2016) Communication Protocols Analysis and Testing Tool. EngD thesis.

Preview

Abstract

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.

Item Type:

Thesis (EngD thesis)

Keywords:

pgss, lpa, analysis, test, protocol, communication

Number of Pages:

Language of Content:

Slovenian

Mentor / Comentors:

Name and Surname	ID	Function
doc. dr. Mojca Ciglarič	256	Mentor

Link to COBISS:

http://www.cobiss.si/scripts/cobiss?command=search&base=51012&select=(ID=1536793539)

Institution:

University of Ljubljana

Department:

Faculty of Computer and Information Science

Item ID:

3248

Date Deposited:

15 Feb 2016 15:08

Last Modified:

26 Feb 2016 10:39

URI:

http://eprints.fri.uni-lj.si/id/eprint/3248

Actions (login required)

View Item