Search academic texts

Information × Registration Number 0405U004832, Candidate dissertation Status к.ф.-м.н. Date 09-12-2005 popup.evolution o Title Verification and Testing of Interactive Systems Specified by Basic Protocols Author Letychevskyy Oleksandr, popup.head Kapitonova J.V. popup.opponent Асельдеров Зайнутдін Макашаріпович popup.opponent Бублик Володимир Васильович Description Дисертація присвячена побудові методів роботи з вимогами, що складають технологію, яка є складовою частиною процесу створення програмних систем з великою кількістю станів. Розглянуто п’ять складових частин цієї технології: формалізація вимог у вигляді базових протоколів; пошук суперечливостей та неповноти; генерація тестових наборів з множини вимог; синтез та аналіз динамічних властивостей моделі. В розробці методів використовуються методи алгебраїчного та інерційного програмування. Визначено клас базових протоколів, для якого задачі технології вирішуються без експонентного вибуху. За допомогою розробленого у роботі формалізму будуються алгоритми верифікації базових протоколів з використанням машини доведення, а також синтез моделі за базовими протоколами. На основі створених методів символьного моделювання розглядаються різні критерії генерації тестів та їх застосування до генерації тестів за специфікаціями, записаними сучасними інженерними мовами, – MSC, SDL, UML. Registration Date 2005-12-09 popup.nrat_date 2020-04-04 Close