| Рубрикатор НБУВ: Шифр журнала: Кл.слова (ненормированные): модель -- протокол -- тест -- сеть Петри -- идентификация -- модель -- протокол -- тест -- мережа Петрі -- ідентифікація -- model -- protocol -- test -- Petri net -- identification Анотація: Рассмотрены модели верификации и тестирования для реализаций протокольных механизмов при построении сетевых систем. В качестве исходных моделей приняты расширенные сети Петри, для которых исследованы свойства идентификации отношения инцидентности позиций и переходов. Предложено специальное дерево достижимости для построения идентифицирующих фрагментов поведения модели. Розглянуто моделі верифікації та тестування для реалізацій протокольних механізмів у процесі побудови мережевих систем. Як вихідні моделі прийнято розширені мережі Петрі, для яких досліджені властивості ідентифікації відношення інцидентності позицій і переходів. Запропоновано спеціальне дерево досяжності для побудови ідентифікуючих фрагментів поведінки моделі. 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. !oprip481_H.pft: FILE NOT FOUND! Файл: 12ashwmtm - 0 Дод. точки доступу: Аль, Шаріф В. |