Мірошник, М. А.Шкіль, О. С.Рахліс, Д. Ю.Мірошник, А. М.Лобойченко, Д. А.2023-11-032023-11-032023Методи побудови тестів для інтерактивних комп'ютерних мережах на структурно-логічному рівні / М. А. Мірошник, О. С. Шкіль, Д. Ю. Рахліс, А. М. Мірошник, Д. А. Лобойченко // Вісник Національного технічного університету "ХПІ". Сер. : Інформатика та моделювання : зб. наук. пр. / гол. ред. Є. І. Сокол. – Харків: НТУ "ХПІ", 2023. – № 1-2 (9-10). – С. 81-90https://repository.kpi.kharkov.ua/handle/KhPI-Press/70406Розроблено методи синтезу перевіряючих послідовностей інтеративних комп'ютерних мереж з використанням циклічних, відмінних і характеристичних символів автоматної моделі комірки мережи. Розроблено та обґрунтовано новий метод модифікації автоматної діаграми комірки, яка не має відмінної послідовності і передбачає введення додаткового вхідного символу та використання кодів станів, що породжує Гамільтонів цикл у послідовності переходів. Розроблено методи та процедури синтезу одновимірних і двовимірних мережі з розподіленим управлінням конфігурацією.Synthesizing test sequences methods for interactive computer networks using cyclic, distinguishing and characteristic symbols for the FSM model of a network cell have been developed. A new method for state diagram modification of a cell, which doesn't have a distinguishing sequence and provides for the input of an additional input symbol and usage of state codes, which generates a Hamilton cycle in the sequence of transitions has been developed and substantiated. Methods and procedures for the synthesis of one-dimensional and twodimensional networks with distributed configuration control have been developed.ukдіагностичний експериментінтерактивна комп'ютерна мережаодновимірна і двовимірна мережаперевіряюча послідовністькоміркадодатковий вхідний символdiagnostic experimentinteractive computer networkone-dimensional and two-dimensional networkstest sequencecelladditional input symbolArticledoi.org/10.20998/2411-0558.2023.01.07https://orcid.org/0000-0002-2231-2529https://orcid.org/0000-0003-1071-3445https://orcid.org/0000-0002-6652-1840https://orcid.org/0000-0001-5702-9611