Вдосконалення прогнозу щільності залишкових дефектів програмних систем за допомогою байєсової мережі та дерева цінності

Abstract

Розглянуто актуальну проблему підвищення якості програмних систем (ПС) через скорочення їх дефектів. Процес розроблення ПС вдосконалено новим процесом уніфікованого прогнозу й оцінювання щільності залишкових дефектів (FD) ПС у життєвому циклі (ЖЦ) ПС згідно встановлених вимог до нього. Для нього розроблено модель та методи, що долають обмеження індивідуального прогнозу FD за байєсовою мережею (на початку ЖЦ) при її груповому оцінюванні за пропонованою моделлю типу дерева цінності (впродовж ЖЦ). Оцінки FD вдосконалено формалізованим обґрунтуванням для аналізу їх прийнятності та вибору серед них. Досягнуто постійне підвищення обґрунтованості оцінок. Створено умови підвищення ефективності прогнозу й оцінювання FD у ЖЦ ПС.

Рассмотрена актуальная проблема повышения качества программных систем (ПС) за счет сокращения их дефектов. Процесс разработки ПС усовершенствован новым процессом унифицированного прогноза и оценивания плотности остаточных дефектов (FD) ПС в жизненном цикле (ЖЦ) ПС согласно установленным требованиям к нему. Для него разработаны модель и методы, преодолевающие ограничения индивидуального прогноза FD по байесовской сети (в начале ЖЦ) при ее групповом оценивании по предложенной модели типа дерева ценности (далее в ЖЦ). Оценки FD усовершенствованы формализованным обоснованием для анализа их приемлемости и выбора среди них. Достигнуто непрерывное повышение обоснованности оценок. Созданы условия повышения эффективности прогноза и оценивания в ЖЦ ПС.

An actual problem of Software quality increasing through its faults reducing is considered. Software process is improved with a new process of software residual faults’ density (FD) unified predicting/assessing over the software life cycle (SLC) accordingly to the requirements being stated to him. The model and the methods for the above process are elaborated that overlap limitations of an individual FD predicting (early in SLC) with group FD assessing (later in SLC). The formalized rationale for choosing among FD estimates and their acceptance analyzing is attached to them. These estimates’ consistency continuous increase is accomplished. The premises of prediction/assessment efficiency increase over SLC are created.