Orodje za analizo in testiranje komunikacijskih protokolov

ŠILC, NEJC (author), Ciglarič, Mojca (mentor)

V diplomskem delu so predstavljene različne metode analiziranja in testiranja komunikacijskih protokolov. Preučil sem jih z namenom, da izberem metodo, ki je dovolj preprosta in obenem dovolj učinkovita za implementacijo in uporabo za študente FRI. Metodo sem nato tudi implementiral kot spletno aplikacijo, ki omogoča formalen opis protokola in izvedbo analize logične pravilnosti. V nadaljevanju sem opisal kako je implementacija potekala. Izbral sem primerne tehnologije in utemeljil njihovo primernost. Veliko časa sem namenil testiranju, zato sem postopek in rezultate testiranja nekaterih protokolov opisal tudi v diplomskem delu. Predstavil sem testiranje preprostega protokola s tremi stanji in enega kompleksnega realnega protokola. Kot realni protokol sem izbral protokol TCP, testiral pa sem le del funkcionalnosti, in sicer vzpostavljanje in rušenje povezave. Za konec sem svoje ustvarjanje še pokomentiral in dodal nekaj predlogov izboljšav, ki jih bom poskušal uresničiti v prihodnosti. Aplikacija je nameščena na Heroku, objavljena na GitHubu (https://github.com/nejcsilc/lpa), za uporabnike pa dosegljiva na naslovu http://lpa3.site.

• Language: Slovenian
• Keywords: pgss, lpa, analiza, test, protokol, komunikacija
• Work type: Bachelor thesis/paper
• Organization: FRI - Faculty of Computer and Information Science
• Year: 2016
• PID: 20.500.12556/RUL-80283
• Publication date in RUL: 17.02.2016

ŠILC, NEJC, 2016, Orodje za analizo in testiranje komunikacijskih protokolov [online]. Bachelor’s thesis. [Accessed 25 April 2025]. Retrieved from: https://repozitorij.uni-lj.si/IzpisGradiva.php?lang=eng&id=80283

Secondary language

• Language: English
• Title: Communication Protocols Analysis and Testing Tool

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.

• Keywords: pgss, lpa, analysis, test, protocol, communication