Рассмотрены модели верификации и тестирования для реализаций протокольных механизмов при построении сетевых систем. В качестве исходных моделей приняты расширенные сети Петри, для которых исследованы свойства идентификации отношения инцидентности позиций и переходов. Предложено специальное дерево достижимости для построения идентифицирующих фрагментов поведения модели.Розглянуто моделі верифікації та тестування для реалізацій протокольних механізмів у процесі побудови мережевих систем. Як вихідні моделі прийнято розширені мережі Петрі, для яких досліджені властивості ідентифікації відношення інцидентності позицій і переходів. Запропоновано спеціальне дерево досяжності для побудови ідентифікуючих фрагментів поведінки моделі.The models verification and testing are considered for implementations of protocol mechanisms for the construction of network systems. The initial models adopted an expanded Petri nets, which investigated the properties of relations incident to identify the places and transitions. Proposed special tree reachable identifying fragments to build a model of behavior.

  Повний текст PDF - 366.428 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"