Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000611813<.>) |
Загальна кількість знайдених документів : 1
|
Скарга-Бандурова І. С. Технологічні аспекти статичного аналізу коду програмного забезпечення систем залізничної автоматизації / І. С. Скарга-Бандурова, Я. П. Коваленко // Радіоелектрон. і комп'ютер. системи. - 2016. - № 6. - С. 94-100. - Бібліогр.: 10 назв. - укp.Розглянуто особливості тестування програмного забезпечення систем залізничної автоматизації. Вперше запропоновано модель для тестування функціонального програмного забезпечення системи мікропроцесорної централізації МПЦ-У на основі автомату потоку управління. Математична модель, що складається з внутрішніх проміжних структур забезпечує адекватне урахування особливостей програмного забезпечення МПЦ-У і надає змогу проводити моделювання роботи програми в її природному оточенні. Викладено загальну методику пошуку помилок програмного забезпечення у вигляді комбінаційних схем. Одержані результати є основою для розроблення спеціалізованого програмного засобу, що дозволяє уникнути використання додаткових апаратних витрат і гарантує практично повне покриття всіх ділянок коду за рахунок аналізу потоку управління. Індекс рубрикатора НБУВ: О275.7
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ Повний текст Наукова періодика України Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|