Райчев I.E. Технологія оцінювання характеристик якості програмного забезпечення автоматизованих систем контролю при сертифікаційних випробуваннях. - Рукопис. Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 - автоматизовані системи управління та прогресивні інформаційні технології. - Національний авіаційний університет, Київ, 2005. Дисертація присвячена створенню технології оцінювання характеристик якості ПЗ автоматизованих систем контролю (АСК) при сертифікації ПЗ на відповідність вимогам. Здійснено аналіз проблем сертифікації та розроблено концепцію побудови цільової сертифікаційної моделі ПЗ АСК, як одного з класів критичних програмних систем. З метою визначення фактичних показників якості ПЗ АСК розроблено технологію сертифікаційних випробувань і сформульовано її етапи. Здійснено вибір методів тестування, виду й структури тестових даних і побудовано комплексну стратегію тестування модулів і комплексів програм контролю. Виконано класифікацію алгоритмів контролю об'єктів, що дозволило синтезувати автоматні моделі, за допомогою яких вирішується задача програмної побудови тестових наборів даних, які є мінімально-достатніми покриттями логіки програм контролю. Розроблено методи оцінки показників вірогідності результатів контролю, що містять алгоритми, програмне й методичне забезпечення обчислення вірогідності. Побудовано систему автоматизації сертифікаційних випробувань ПЗ контролю. Експериментально доведено працездатність технології при випробуваннях ПЗ автоматизованих систем контролю польотів. Ключові слова: характеристики якості, ПЗ автоматизованих систем контролю, алгоритми контролю, показники вірогідності контролю, тестовий набір даних, контроль польотів, сертифікаційні випробування.