Метод використання неконтрольованого введення типу для мов програмування при автоматичній генерації тестів
Вантажиться...
Дата
2024-12-07
Автори
Назва журналу
Номер ISSN
Назва тому
Видавець
Анотація
Мета дослідження – детальне дослідження методу виведення типу під час
автоматичної генерації тестів та їх ефективність, що дасть змогу автоматично
генерувати більше правильних тестових випадків для JavaScript. У ході
виконання кваліфікаційної роботи було вивчено предметну область та сучасні
дослідження, проаналізовано сучасні методи комунікації та визначено підходи
до їх вивчення. На основі отриманих даних сформульовано вимоги до системи,
розроблено її структуру та обрано технології для реалізації проекту.
Наступний етап роботи полягав у створенні програмного забезпечення та
проведенні низки тестувань, на основі яких були сформульовані висновки.
Отримані результати дослідження демонструють покращення тестування в
деяких випадках. Враховуючи результати, можна стверджувати, що
використання методу виведення типу під час генерації тестів покращує
можливості генерації тестів.
Опис
Ключові слова
121 Інженерія програмного забезпечення, автоматична генерація тестів, тестування, статичний аналіз, динамічний аналіз, виведення типу, покриття коду
Бібліографічний опис
Юртаєв Д. О. Метод використання неконтрольованого введення типу для мов програмування при автоматичній генерації тестів : кваліфікаційна робота
магістра : 121 Інженерія програмного забезпечення / Д. О. Юртаєв ; Хмельниц.нац. ун-т. – Хмельницький, 2024. – 110 с.