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

• Сенів Максим Михайлович (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"