Райчев Ігор Едуардович. Технологія оцінювання характеристик якості програмного забезпечення автоматизованих систем контролю при сертифікаційних випробуваннях : дис... канд. техн. наук: 05.13.06 / Національний авіаційний ун-т. - К., 2005.
Анотація до роботи:
Райчев І.Е. Технологія оцінювання характеристик якості програмного забезпечення автоматизованих систем контролю при сертифікаційних випробуваннях. – Рукопис.
Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 – автоматизовані системи управління та прогресивні інформаційні технології. – Національний авіаційний університет, Київ, 2005.
Дисертація присвячена створенню технології оцінювання характеристик якості ПЗ автоматизованих систем контролю (АСК) при сертифікації ПЗ на відповідність вимогам. Здійснено аналіз проблем сертифікації та розроблено концепцію побудови цільової сертифікаційної моделі ПЗ АСК, як одного з класів критичних програмних систем. З метою визначення фактичних показників якості ПЗ АСК розроблено технологію сертифікаційних випробувань і сформульовано її етапи. Здійснено вибір методів тестування, виду й структури тестових даних і побудовано комплексну стратегію тестування модулів і комплексів програм контролю. Виконано класифікацію алгоритмів контролю об'єктів, що дозволило синтезувати автоматні моделі, за допомогою яких вирішується задача програмної побудови тестових наборів даних, які є мінімально-достатніми покриттями логіки програм контролю. Розроблено методи оцінки показників вірогідності результатів контролю, що містять алгоритми, програмне й методичне забезпечення обчислення вірогідності. Побудовано систему автоматизації сертифікаційних випробувань ПЗ контролю. Експериментально доведено працездатність технології при випробуваннях ПЗ автоматизованих систем контролю польотів.
В дисертаційній роботі отримані науково обґрунтовані результати, які є істотними для розвитку комп’ютерних технологій оцінювання характеристик якості ПЗ при сертифікаційних випробуваннях:
Вперше розроблено концепцію побудови сертифікаційної моделі якості ПЗ АСК, яка полягає у формуванні вимог до ПЗ із подальшою їх класифікацією згідно характеристик якості стандарту ISO/IEC 9126. Сертифікаційна модель включає сукупність вибраних характеристик, критеріїв відповідності та метрик, що дозволяє отримати уніфіковані процедури оцінки атрибутів якості ПЗ АСК.
Запропоновано конструктивні методи побудови узагальненої моделі якості з використанням інтегральної оцінки, що дає можливість порівнювати конкуруючі ПС. Із залученням інтегральної оцінки побудовано сертифікаційну модель і виконано бальну оцінку рівня якості ПЗ АСКП.
Розроблено технологію оцінювання характеристик якості ПЗ АСК, яка містить методи, алгоритми та ПЗ. Технологія дає можливість застосувати засоби автоматизації створення ТНД та розрахунку фактичних значень показників якості, що спрощує випробування і значно скорочує їх терміни.
На основі аналізу області застосування ПЗ АСК обґрунтовано вибір з існуючих методів тестування тих методів, які забезпечують виявлення невідповідностей ПЗ вимогам у модулях ПЗ АСК. Отримано високі показники ймовірності виявлення невідповідностей (0.994) при оцінці стратегії тестування модулів ПЗ АСКП. Розроблені стратегії тестування дають можливість розрахувати фактичні показники якості ПЗ АСК.
Обґрунтовано ефективність розробленого в роботі метода імітаційного моделювання параметричної інформації, який дозволяє будувати ТНД без застосування спеціалізованого імітаційно-моделюючого стенда.
Побудовані автоматні моделі дозволили отримати методику конструювання програм генерації контрольованих подій при створенні ТНД, а також програм автоматизації пошуку цих подій при випробуваннях.
Застосування розробленого ПЗ обчислення показників вірогідності контролю вдвічі скорочує витрати на цю операцію в порівнянні з використанням номограм і дає можливість створювати ТНД із внесеними в них подіями контролю, які мають задані показники вірогідності. Це дає можливість стверджувати, що вірогідність допускового контролю відповідає вимогам (оцінку виконано за наступними показниками - ймовірність помилки I роду 0.01, ймовірність помилки II роду 0.001, ймовірність розбіжності повторних обробок тестових випадків 0.011).
Значення вирішених задач для практики авіації полягає в тому, що післяпольотна обробка інформації бортових реєстраторів, яка проводиться в авіапідприємствах за допомогою більш надійних, сертифікованих комплексів контролю польотів, підвищує безпеку польотів ЛА за рахунок достовірного контролю якості виконання польоту та стану систем ЛА.
Публікації автора:
Райчев И.Э., Харченко А.Г., Яцков Н.А. Исследование методов тестирования программных модулей обработки полетной информации // Вісник КМУЦА. – 2000. – №1–2. – C.127–133.
Райчев И.Э., Харченко А.Г., Яцков Н.А. Методы создания тестовых наборов данных при сертификационных испытаниях комплексов программ контроля полетов // Вісник НАУ. – 2001. – №1. – С. 126–132.
Райчев И.Э., Харченко А.Г. Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов // Вісник НАУ. – 2001. – №3. – С.136–140.
Райчев І.Е. Технологія визначення показників вірогідності одновимірних та багатовимірних об'єктів контролю за інформацією параметричних бортових реєстраторів // Вісник НАУ. – 2002. – №1. – С.17–24.
Райчев І.Е. Синтез автоматних моделей контролю // Вісник НАУ. –2002. –№2. – С.43–52.
Райчев І.Е., Харченко О.Г., Яцков М.О., Василенко В.А. Автоматизація визначення показників вірогідності об’єктів контролю при наявності разової команди // Вісник НАУ. – 2002. – №3. – С. 73–78.
Райчев І.Е., Харченко О.Г. Система автоматизації сертифікаційних випробувань програмного забезпечення контролю польотів // Вісник Черкаського державного технологічного університету.–2003.– №3.–С.24–30.
Райчев І.Е. Проблеми сертифікації програмного забезпечення автоматизованих систем контролю // Вісник НАУ. –2004. –№1. –С. 23–28.
Райчев І.Е., Харченко О.Г. Автоматизована система оцінки рівня якості програмного забезпечення контролю // Проблеми інформатизації та управління: Зб. наук. праць. –К: НАУ, 2004. Вип. 9 –268 с. (С.243–247).
Райчев І.Е., Харченко О.Г. Проблеми оцінювання якості критичних програмних систем при їх сертифікації // Проблемы программирования. –2004. –№2-3. –С.198–207.
Райчев И.Э., Тарканий Р.Б., Харченко А.Г., Яцков Н.А. Система сертификации программного обеспечения контроля полетов // Материалы международной научно–практической конференции “Обеспечение безопасности полетов в новых экономических условиях”. –Ч. 2. –К.: КМУГА, 1997. – С.274–275.
Райчев И.Э., Харченко А.Г. Методы создания тестовых наборов данных для оценки программных комплексов контроля полетов // Матеріали II міжнародної науково-технічної конференції “АВІА–2000”. – К.: НАУ, 2000. – С.1–4.
Райчев И.Э., Харченко А.Г. Автоматные модели контроля // Матеріали IV міжнародної науково–технічної конференції “АВІА–2002”. – Т.1. –К.: НАУ, 2002. – С. 14.57–14.60.
Райчев И.Э., Харченко А.Г., Яцков Н.А. Технология определения показателей достоверности объектов контроля по информации параметрических регистраторов // Матеріали IV міжнародної науково–технічної конференції “АВІА–2002”. Т.1. –К.: НАУ, 2002. – С. 14.61–14.66.
