2023 № 1-2 Інформатика i моделювання
Постійне посилання колекціїhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/69858
Переглянути
Документ Методи побудови тестів для інтерактивних комп'ютерних мережах на структурно-логічному рівні(Національний технічний університет "Харківський політехнічний інститут", 2023) Мірошник, М. А.; Шкіль, О. С.; Рахліс, Д. Ю.; Мірошник, А. М.; Лобойченко, Д. А.Розроблено методи синтезу перевіряючих послідовностей інтеративних комп'ютерних мереж з використанням циклічних, відмінних і характеристичних символів автоматної моделі комірки мережи. Розроблено та обґрунтовано новий метод модифікації автоматної діаграми комірки, яка не має відмінної послідовності і передбачає введення додаткового вхідного символу та використання кодів станів, що породжує Гамільтонів цикл у послідовності переходів. Розроблено методи та процедури синтезу одновимірних і двовимірних мережі з розподіленим управлінням конфігурацією.