Дідковська М. В. Методи оцінки та засоби підвищення надійності програмного забезпечення

Дисертація присвячена розробці моделей оцінювання і засобів підвищення надійності програмного забезпечення протягом усього життєвого циклу ПЗ, з урахуванням сучасних тенденцій у розробленні і тестуванні ПЗ.Запропоновано узагальнену модель оцінювання якості програмного забезпечення на основі негомогенного пуасонівського процесу та обчислено її параметри. Функція інтенсивності виявлення несправностей запропонованої моделі враховує процеси навчання та відображає процес проведення тестування. Експериментальним шляхом доведено її працездатність та переваги порівняно з попередньо існуючими моделями оцінювання надійності. Розроблено нові критерії та метрики інтеграційного тестування ПЗ з урахуванням новітніх тенденцій до компонентно-базованого програмування та з використанням діаграм UML. Зазначені критерії надають можливість розробити плани проведення тестування на ранніх етапах створення ПЗ та дозволяють отримати перелік об'єктів та подій, які необхідно протестувати для кожного з запропонованих критеріїв.Цей процес легко автоматизується, що є необхідною складовою загального процесу автоматизації тестування, а також обов'язковим компонентом при перевірці якості спроектованого тесту.