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.
