ePrints.FRI - University of Ljubljana, Faculty of Computer and Information Science

Communication Protocols Analysis and Testing Tool

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

Download (776Kb)


    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: 38
    Language of Content: Slovenian
    Mentor / Comentors:
    Name and SurnameIDFunction
    doc. dr. Mojca Ciglarič256Mentor
    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