Search academic texts

Information × Registration Number 0417U001868, Candidate dissertation Status к.т.н. Date 06-04-2017 popup.evolution o Title Cascading methods of test kits to increase the depth of testing in the information and communication systems Author Lysenko Iryna Anatoliivna, popup.head Smirnov Oleksii Anatoliiovych popup.opponent Кучук Георгій Анатолійович popup.opponent Савченко Віталій Анатолійович Description Дисертаційна робота присвячена розробці методів побудови тестових наборів з використанням впорядкованих каскадних таблиць рішень, що дозволяє підвищити глибину тестування шляхом збільшення показників повноти покриття спроектованими тестовими наборами вимог до ПЗ і достовірності самих тестів. Набув подальшого розвитку метод таблиць рішень для формального представлення тестових наборів шляхом розширення описових можливостей таблиць за рахунок їх модифікації у вигляді впорядкованих каскадних таблиць рішень. Удосконалено метод перевірки коректності таблиць рішень для формального представлення тестових наборів, в якому на відміну від існуючих проводиться перевірка надмірності і суперечливості впорядкованих каскадних таблиць рішень; перевірка повноти на основі виявлення неврахованих в таблиці ситуацій, а також перевірка коректності матриці слідування та її сумісності з таблицею рішень зі складу впорядкованих каскадних таблиць рішень. Вперше розроблено каскадний метод побудови тестових наборів на базі вимог до програмного забезпечення інформаційної підсистеми ІКС з використанням впорядкованих каскадних таблиць рішень. Registration Date 2017-04-06 popup.nrat_date 2020-04-03 Close