Онтологічні моделі та методи формування нормативного профілю при сертифікації програмного забезпечення

Abstract

Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 – інформаційні технології. – Національний технічний університет "Харківський технічний інститут", Харків, 2015. Дисертаційна робота присвячена вирішенню науково-прикладної задачі підвищення ефективності розроблення програмного забезпечення шляхом синтезу формальних моделей і методів інформаційної технології формування нормативного профілю вимог до програмного забезпечення. Розроблено модель текстів стандартів, яка, на відміну від відомих моделей, ґрунтується на онтологічному поданні їх лінгвістичних об'єктів, що забезпечує адекватність нормативного профілю. Удосконалено модель ядра семантичної цілісності мови стандартів, шляхом подання у формі онтології, що забезпечує повноту семантичного аналізу. Удосконалено метод розроблення лінгвістичних моделей стандартів шляхом урахування композиційної структури стандарту, що забезпечує структурованість процесу інформаційного пошуку в текстах стандартів. Дістав подальшого розвитку метод синтезу онтологічної системи шляхом її реалізації у вигляді діалогової системи підтримки прийняття рішень аудитора сертифікаційного центру. Практичне значення отриманих результатів полягає у створенні науково-методичної основи у вигляді конкретних інженерних методик, методів і програмних засобів для підтримки прийняття рішень при сертифікації програмного забезпечення.