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