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

Інформація × Реєстраційний номер 0405U004832, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 09-12-2005 Статус Запланована Назва роботи Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів Здобувач Летичевський Олександр Олександрович, Керівник Капітонова Юлія Володимировна Опонент Асельдеров Зайнутдін Макашаріпович Опонент Бублик Володимир Васильович Опис Дисертація присвячена побудові методів роботи з вимогами, що складають технологію, яка є складовою частиною процесу створення програмних систем з великою кількістю станів. Розглянуто п’ять складових частин цієї технології: формалізація вимог у вигляді базових протоколів; пошук суперечливостей та неповноти; генерація тестових наборів з множини вимог; синтез та аналіз динамічних властивостей моделі. В розробці методів використовуються методи алгебраїчного та інерційного програмування. Визначено клас базових протоколів, для якого задачі технології вирішуються без експонентного вибуху. За допомогою розробленого у роботі формалізму будуються алгоритми верифікації базових протоколів з використанням машини доведення, а також синтез моделі за базовими протоколами. На основі створених методів символьного моделювання розглядаються різні критерії генерації тестів та їх застосування до генерації тестів за специфікаціями, записаними сучасними інженерними мовами, – MSC, SDL, UML. Дата реєстрації 2005-12-09 Додано в НРАТ 2020-04-04 Закрити