Юртаєв, Денис Олександрович2024-12-102024-12-102024-12-07Юртаєв Д. О. Метод використання неконтрольованого введення типу для мов програмування при автоматичній генерації тестів : кваліфікаційна робота магістра : 121 Інженерія програмного забезпечення / Д. О. Юртаєв ; Хмельниц.нац. ун-т. – Хмельницький, 2024. – 110 с.https://elar.khmnu.edu.ua/handle/123456789/17245Мета дослідження – детальне дослідження методу виведення типу під час автоматичної генерації тестів та їх ефективність, що дасть змогу автоматично генерувати більше правильних тестових випадків для JavaScript. У ході виконання кваліфікаційної роботи було вивчено предметну область та сучасні дослідження, проаналізовано сучасні методи комунікації та визначено підходи до їх вивчення. На основі отриманих даних сформульовано вимоги до системи, розроблено її структуру та обрано технології для реалізації проекту. Наступний етап роботи полягав у створенні програмного забезпечення та проведенні низки тестувань, на основі яких були сформульовані висновки. Отримані результати дослідження демонструють покращення тестування в деяких випадках. Враховуючи результати, можна стверджувати, що використання методу виведення типу під час генерації тестів покращує можливості генерації тестів.uk121 Інженерія програмного забезпеченняавтоматична генерація тестівтестуваннястатичний аналіздинамічний аналізвиведення типупокриття кодуМагістерські роботи