Лисенко І. А. Каскадні методи побудови тестових наборів для підвищення глибини тестування в інфокомунікаційних системах

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