Розглянуті особливості тестування програмного забезпечення систем залізничної автоматизації. Вперше запропоновано модель для тестування функціонального програмного забезпечення системи мікропроцесорної централізації МПЦ-У на основі автомату потоку управління. Математична модель, що складається з внутрішніх проміжних структур забезпечує адекватне урахування особливостей програмного забезпечення МПЦ-У і дозволяє проводити моделювання роботи програми в її природному оточенні. Викладено загальну методику пошуку помилок програмного забезпечення у вигляді комбінаційних схем. Одержані результати є основою для розроблення спеціалізованого програмного засобу, що дозволяє уникнути використання додаткових апаратних витрат і гарантує практично повне покриття всіх ділянок коду за рахунок аналізу потоку управління.

Радіоелектронні і комп'ютерні системи [Текст] : наук. - техн. журн. / М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" // Радіоелектронні і комп'ютерні системи ; М-во освіти і науки України, Нац. аерокосм. ун-т ім. М. Є. Жуковського "Харк. авіац. ін-т" - Х. : ХАІ. — Х. : ХАІ, 2016.

• УДК // Тестування програмного забезпечення.