Одержано моделі опису та перетворення фасетно-ієрархічних структур, які базуються на їх матрично-множинному представленні та передбачає використання операцій об'єднання та розбиття, що дозволяє формалізувати процес профілювання вимог і дефектів для оцінки якості програмного забезпечення. Удосконалено метод його профілювання за рахунок введеної формалізації операцій перетворення та верифікації фасетно-ієрархічних структур, які описують відповідні профілі. Це дозволяє забезпечити повноту оцінки й автоматизувати процес одержання профілю вимог і дефектів програмного забезпечення. Удосконалено метод оцінки верифікації такого забезпечення з використанням засіву дефектів на підставі розробки процедур формування й аналізу розходження профілів дефектів, що дозволяє підвищити повноту оцінки програмного забезпечення.

  Завантажити