Проаналізовано проблеми сертифікації та розроблено концепцію побудови цільової сертифікаційної моделі програмного забезпечення (ПЗ) автоматизованих систем контролю (АСК) як одного з класів критичних програмних систем. З метою визначення фактичних показників якості ПЗ АСК розроблено технологію сертифікаційних випробувань та сформульовано її етапи. Здійснено вибір методів тестування, виду та структури тестових даних, побудовано комплексну стратегію тестування модулів і комплексів програм контролю. Класифіковано алгоритми контролю об'єктів, що дозволяє синтезувати автоматні моделі, за допомогою яких є можливим розв'язання задачі програмної побудови тестових наборів даних, які є мінімально-достатніми покриттями логіки програм контролю. Розроблено методи оцінки показників вірогідності результатів контролю, зокрема, алгоритми, програмне та методичне забезпечення обчислення вірогідності. Побудовано систему автоматизації сертифікаційних випробувань ПЗ контролю. Експериментально доведено працездатність технології за умов випробувань ПЗ автоматизованих систем контролю польотів.

• Райчев Ігор Едуардович (технічні науки)

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