Development of a Tool for Communication Protocol Analysis

Diplomsko delo se ukvarja z analizo komunikacijskih protokolov v porazdeljenih sistemih, kjer zaradi vse večje kompleksnosti ročna analiza postaja nezanesljiva. Namen naloge je bil razviti programsko orodje, ki omogoča formalno opisovanje protokolov ter njihovo samodejno analizo z uporabo metode perturbacije globalnih stanj sistema (PGSS). Protokoli so modelirani z determinističnimi končnimi avtomati, analiza pa temelji na sistematičnem pregledu vseh dosegljivih globalnih stanj sistema. Razvito orodje omogoča pregleden grafični prikaz stanj in prehodov ter zaznavanje pogostih napak, kot so smrtni objemi, polne čakalne vrste in nedefinirani sprejemi sporočil. Pravilnost delovanja orodja je bila preverjena na primeru protokola Alternating Bit, pri čemer rezultati potrjujejo ustreznost implementacije in praktično uporabnost izbranega pristopa.