Specyfikacja i automatyczna analiza protokołu komunikacyjnego
Abstract
W pracy opisano automatyczną walidację protokołu TCP. W tym celu została napisana specyfikacja protokołu TCP w języku Estelle. Następnie przeprowadzono symulację z użyciem pakietu EDT. Część sterująca protokołu TCP została poddana weryfikacji modelowej przy użyciu narzędzi Verics i Kronos. Dla wszystkich testowanych i weryfikowanych własności potwierdzono poprawność protokołu TCP. Mimo iż weryfikacja modelowa pełnego protokołu nie została przeprowadzona, to jego specyfikacja w Estelle będzie podstawą do dalszych prób dokonania takiej weryfikacji.
Downloads
Download data is not yet available.
Published
2003-12-15
How to Cite
Teodorczuk, P., & Penczek, W. (2003). Specyfikacja i automatyczna analiza protokołu komunikacyjnego. Studia Informatica. System and Information Technology, 2(1), 49–59. Retrieved from https://czasopisma.uph.edu.pl/studiainformatica/article/view/2904
Issue
Section
Article