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

Abstract

Дисертація присвячена розробці методів і інструментальних засобів оцін-ки якості програмного забезпечення інформаційно-управляючих систем на основі профілювання програмного забезпечення (вимог, дефектів) та засіву дефектів. Науковими результатами є: 1) моделі опису та перетворення фасетно-ієрархічних структур, які базуються на їх матрично-множинному представленні та використанні операцій об`єднання й розбиття, що дозволяє формалізувати процес профілювання вимог та дефектів для оцінки якості програмного забезпечення; 2) метод профілювання програмного забезпечення за рахунок введеної формалізації операцій перетворення та верифікації фасетно-ієрархічних структур, описуючих відповідні профілі, що дозволяє забезпечити повноту оцінки та автоматизувати процес отримання профілю вимог та дефектів програмного забезпечення; 3) метод оцінки якості верифікації програмного забезпечення з використанням засіву дефектів на основі розробки процедур формування та аналізу розходження профілів дефектів, що дозволяє підвищити повноту оцінки програмного забезпечення. Запропоновані методи й інструментальні засоби дозволяють підвищити повноту оцінки якості ПЗ ІУС на основі формальних операцій перетворення фасетно-ієрархічних структур та засіву дефектів.

The thesis is devoted to development of methods and tools Est-ing software quality information and control systems based on profiling software (requirements, defects) and sowing defects. The scientific results are: 1) model description and transformation-faceted hierarchical structures based on their set-matrix representation and union operations and use partitioning, which allows to formalize the process of profiling requirements and defects to assess the quality of software; 2) the method of profiling software introduced by the formalization of transactions conversion and verification facet hierarchical structures describing the appropriate profile that ensures completeness of assessment and automates the process of obtaining profile requirements and software defects; 3) the method of assessing the quality verification software using seeding defects through the development of procedures for constructing and analyzing the differences profiles defects can increase the completeness evaluation software. The methods and tools will improve the completeness ICS software quality evaluation based on formal operations-faceted transformation of hierarchical structures and sowing defects.