Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Скарга-Бандурова І. С. Технологічні аспекти статичного аналізу коду програмного забезпечення систем залізничної автоматизації / І. С. Скарга-Бандурова, Я. П. Коваленко // Радіоелектронні і комп’ютерні системи. - 2016. - № 6. - С. 94–100. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2016_6_16 Розглянуто особливості тестування програмного забезпечення систем залізничної автоматизації. Вперше запропоновано модель для тестування функціонального програмного забезпечення системи мікропроцесорної централізації МПЦ-У на основі автомату потоку управління. Математична модель, що складається з внутрішніх проміжних структур забезпечує адекватне урахування особливостей програмного забезпечення МПЦ-У і надає змогу проводити моделювання роботи програми в її природному оточенні. Викладено загальну методику пошуку помилок програмного забезпечення у вигляді комбінаційних схем. Одержані результати є основою для розроблення спеціалізованого програмного засобу, що дозволяє уникнути використання додаткових апаратних витрат і гарантує практично повне покриття всіх ділянок коду за рахунок аналізу потоку управління. Цитованість авторів публікації: Бібліографічний опис для цитування: Скарга-Бандурова І. С. Технологічні аспекти статичного аналізу коду програмного забезпечення систем залізничної автоматизації / І. С. Скарга-Бандурова, Я. П. Коваленко // Радіоелектронні і комп’ютерні системи. - 2016. - № 6. - С. 94–100. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2016_6_16.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |