Гордєєв О. О. Моделі, методи та інформаційна технологія оцінки якості програмного забезпечення на основі профілювання та засіву дефектів

Об'єкт дослідження - процеси оцінки якості програмного забезпечення інформаційно-управляючих систем. Мета дослідження - підвищення повноти оцінки якості ПЗ ІУС на основі розробки та практичного застосування методів й інструментальних засобів, що базуються на технологіях профілювання та засіву дефектів. Проведені дослідження ґрунтуються на використанні методів теорії множин при розробці моделей опису та перетворення фасетно-ієрархічних структур; математичних моделях для прогнозування потенційної кількості дефектів у програмному забезпеченні; метриках для оцінки складності програмного кода та управляючого графа програми. Науковими результатами досліджень є: моделі опису та перетворення фасетно-ієрархічних структур, які базуються на їх матрично-множинному представленні та використанні операцій об'єднання й розбиття, що дозволяє формалізувати процес профілювання вимог та дефектів для оцінки якості програмного забезпечення; метод профілювання програмного забезпечення за рахунок введеної формалізації операцій перетворення та верифікації фасетно-ієрархічних структур, описуючих відповідні профілі, що дозволяє забезпечити повноту оцінки та автоматизувати процес отримання профілю вимог та дефектів програмного забезпечення; метод оцінки якості верифікації програмного забезпечення з використанням засіву дефектів на основі розробки процедур формування та аналізу розходження профілів дефектів, що дозволяє підвищити повноту оцінки програмного забезпечення; інструментальні засоби, що є основою інформаційної технології оцінки якості програмного забезпечення. Ступінь упровадження - галузева. Основні результати передбачається використовувати в організаціях та підприємствах, які займаються розробкою, незалежною верифікацією та експертизою ПЗ ІУС.