Покутная, Дар'я Олегівна2024-07-162024-07-162024Покутная, Д. О. Віртуальна машина динамічної символьної реалізації у середовищі програмування Java і Kotlin для підтримки логістичних систем : дипломна робота … бакалавра : 121 Програмна інженерія / Покутная Дар'я Олегівна. – Харків : ХНАДУ, 2024. – 73 с.https://dspace.khadi.kharkov.ua/handle/123456789/21256Мета: Розробка віртуальної машини динамічної символьної реалізації у середовищі програмування Java і Kotlin з метою підтримки функціонування логістичних систем. Об’єкт дослідження –Дослідження процесів проектування та розробки віртуальних машин динамічної символьної реалізації для забезпечення роботи логістичних систем. Предмет дослідження – Віртуальна машина динамічної символьної реалізації в середовищі програмування Java і Kotlin. Розроблено та реалізовано віртуальну машину для динамічного символьного виконання на мовах програмування Java та Kotlin на основі вже існуючого символьного движка та прототипу специфічної підсистеми виконання в UnitTestBot. Розроблена підсистема також інтегрована в інструмент UnitTestBot, що робить генерацію тестів надійнішою без зменшення покриття коду.ukSMT-вирішувачіUnitTestBotінтеграція UnitTestBotмокирування об'єктівKotlinBachelor's theses