Методи побудови тестів для інтерактивних комп'ютерних мережах на структурно-логічному рівні
Вантажиться...
Дата
2023
DOI
doi.org/10.20998/2411-0558.2023.01.07
Науковий ступінь
Рівень дисертації
Шифр та назва спеціальності
Рада захисту
Установа захисту
Науковий керівник
Члени комітету
Видавець
Національний технічний університет "Харківський політехнічний інститут"
Анотація
Розроблено методи синтезу перевіряючих послідовностей інтеративних комп'ютерних мереж з використанням циклічних, відмінних і характеристичних символів автоматної моделі комірки мережи. Розроблено та обґрунтовано новий метод модифікації автоматної діаграми комірки, яка не має відмінної послідовності і передбачає введення додаткового вхідного символу та використання кодів станів, що породжує Гамільтонів цикл у послідовності переходів. Розроблено методи та процедури синтезу одновимірних і двовимірних мережі з розподіленим управлінням конфігурацією.
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.
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.
Опис
Ключові слова
діагностичний експеримент, інтерактивна комп'ютерна мережа, одновимірна і двовимірна мережа, перевіряюча послідовність, комірка, додатковий вхідний символ, diagnostic experiment, interactive computer network, one-dimensional and two-dimensional networks, test sequence, cell, additional input symbol
Бібліографічний опис
Методи побудови тестів для інтерактивних комп'ютерних мережах на структурно-логічному рівні / М. А. Мірошник, О. С. Шкіль, Д. Ю. Рахліс, А. М. Мірошник, Д. А. Лобойченко // Вісник Національного технічного університету "ХПІ". Сер. : Інформатика та моделювання : зб. наук. пр. / гол. ред. Є. І. Сокол. – Харків: НТУ "ХПІ", 2023. – № 1-2 (9-10). – С. 81-90