МОДЕЛІ ТЕСТУВАННЯ МЕХАНИЗМІВ WI-FI

Анотація

Розглянуто моделі верифікації та тестування для реалізацій протокольних механізмів при побудові мережевих систем. Як вихідні моделі прийняті о розширені мережі Петрі, для яких досліджені о властивості ідентифікації відношення інцидентності позицій і переходів. Запропоновано спеціальне дерево досяжності для побудови ідентифікуючих фрагментів поведінки моделі.