Віртуальна машина динамічної символьної реалізації у середовищі програмування Java і Kotlin для підтримки логістичних систем
| dc.contributor.author | Покутная, Дар'я Олегівна | |
| dc.date.accessioned | 2024-07-16T06:52:00Z | |
| dc.date.available | 2024-07-16T06:52:00Z | |
| dc.date.issued | 2024 | |
| dc.description.abstract | Мета: Розробка віртуальної машини динамічної символьної реалізації у середовищі програмування Java і Kotlin з метою підтримки функціонування логістичних систем. Об’єкт дослідження –Дослідження процесів проектування та розробки віртуальних машин динамічної символьної реалізації для забезпечення роботи логістичних систем. Предмет дослідження – Віртуальна машина динамічної символьної реалізації в середовищі програмування Java і Kotlin. Розроблено та реалізовано віртуальну машину для динамічного символьного виконання на мовах програмування Java та Kotlin на основі вже існуючого символьного движка та прототипу специфічної підсистеми виконання в UnitTestBot. Розроблена підсистема також інтегрована в інструмент UnitTestBot, що робить генерацію тестів надійнішою без зменшення покриття коду. | |
| dc.identifier.citation | Покутная, Д. О. Віртуальна машина динамічної символьної реалізації у середовищі програмування Java і Kotlin для підтримки логістичних систем : дипломна робота … бакалавра : 121 Програмна інженерія / Покутная Дар'я Олегівна. – Харків : ХНАДУ, 2024. – 73 с. | |
| dc.identifier.uri | https://dspace.khadi.kharkov.ua/handle/123456789/21256 | |
| dc.language.iso | uk | |
| dc.publisher | Харківський національний автомобільно-дорожній університет | |
| dc.subject | SMT-вирішувачі | |
| dc.subject | UnitTestBot | |
| dc.subject | інтеграція UnitTestBot | |
| dc.subject | мокирування об'єктів | |
| dc.subject | Kotlin | |
| dc.title | Віртуальна машина динамічної символьної реалізації у середовищі програмування Java і Kotlin для підтримки логістичних систем | |
| dc.type | Bachelor's theses |