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

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Скарга-Бандурова Інна Сергіївна (технічні науки)
• Коваленко Ян Павлович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"