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

  Скачати повний текст