Пошук академічних текстів

Інформація × Реєстраційний номер 0417U001868, Кандидатська дисертація На здобуття к.т.н. Дата захисту 06-04-2017 Статус Запланована Назва роботи Каскадні методи побудови тестових наборів для підвищення глибини тестування в інфокомунікаційних системах Здобувач Лисенко Ірина Анатоліївна, Керівник Смірнов Олексій Анатолійович Опонент Кучук Георгій Анатолійович Опонент Савченко Віталій Анатолійович Опис Дисертаційна робота присвячена розробці методів побудови тестових наборів з використанням впорядкованих каскадних таблиць рішень, що дозволяє підвищити глибину тестування шляхом збільшення показників повноти покриття спроектованими тестовими наборами вимог до ПЗ і достовірності самих тестів. Набув подальшого розвитку метод таблиць рішень для формального представлення тестових наборів шляхом розширення описових можливостей таблиць за рахунок їх модифікації у вигляді впорядкованих каскадних таблиць рішень. Удосконалено метод перевірки коректності таблиць рішень для формального представлення тестових наборів, в якому на відміну від існуючих проводиться перевірка надмірності і суперечливості впорядкованих каскадних таблиць рішень; перевірка повноти на основі виявлення неврахованих в таблиці ситуацій, а також перевірка коректності матриці слідування та її сумісності з таблицею рішень зі складу впорядкованих каскадних таблиць рішень. Вперше розроблено каскадний метод побудови тестових наборів на базі вимог до програмного забезпечення інформаційної підсистеми ІКС з використанням впорядкованих каскадних таблиць рішень. Дата реєстрації 2017-04-06 Додано в НРАТ 2020-04-03 Закрити