http://etnuir.tnu.edu.ua/handle/123456789/85 Thu, 16 Apr 2026 10:36:52 GMT 2026-04-16T10:36:52Z http://etnuir.tnu.edu.ua/handle/123456789/562 Автоматизована система аналізу та пошуку вразливостей smart-контрактів Яструб, І.С. Дослідження охоплює розробку запропонованої архітектури системи для статичного та динамічного аналізу смарт-контрактів, спрямованого на виявлення типових шаблонів вразливостей, таких як повторне використання функцій, витік даних та слабкі місця в логіці контрактів. У цій роботі розглядалися проблеми, з якими стикаються існуючі інструменти реверсивного аналізу вразливостей smart контрактів. Згідно з результатами дослідження, не всі інструменти мають високу точність і мають необхідну кількість інструментів для реверсивного аналізу. Ефективність аналізу смарт-контрактів забезпечується тестуванням системи на контрактах із відомими вразливостями, що дозволяє оцінити точність, швидкість і надійність розробленого підходу. Створене програмне забезпечення прискорить і полегшить процес ручного та автоматичного аналізу вразливостей smart контрактів, а результати роботи можуть бути використані для подальшого створення інструментів аналізу коду smart-контрактів, для яких важливими елементами є надійність і безпека.; The research encompasses the development of a system architecture for static and dynamic analysis of smart contracts, targeting the detection of common vulnerability patterns, such as function reentrancy, data leakage, and weaknesses in contract logic. This work addresses the challenges faced by current reverse analysis tools in detecting vulnerabilities in smart contracts. According to the research results, not all tools provide high accuracy or include sufficient features for reverse analysis. The effectiveness of the smart contract analysis is ensured by testing the system on contracts with known vulnerabilities, allowing for an assessment of the developed approach’s accuracy, speed, and reliability. The developed software will expedite and facilitate the process of both manual and automated vulnerability analysis in smart contracts, and the findings from this work can be utilized for the further development of code analysis tools for smart contracts, where reliability and security are essential. Кваліфікаційна робота Mon, 01 Jan 2024 00:00:00 GMT http://etnuir.tnu.edu.ua/handle/123456789/562 2024-01-01T00:00:00Z http://etnuir.tnu.edu.ua/handle/123456789/561 Система автоматизованого тестування програмного забезпечення за критеріями ефективності Чен, Іці Кваліфікаційну магістерську роботу присвячено створенню системи автоматизованого тестування програмного забезпечення за критеріями ефективності. Головна увага приділяється аналізу ефективності тестування та способам її забезпечення за допомогою автоматизації. Дослідження включає побудову системи, яка дає змогу оцінювати якість програмного забезпечення на основі визначених ефективнісних критеріїв, зокрема часу виконання, стабільності та ресурсоємності. Розглянуто сучасні підходи до автоматизованого тестування, проведено порівняльний аналіз засобів тестування, а також розроблено власне рішення, яке демонструє здатність виявляти критичні точки зниження продуктивності. Практична частина роботи демонструє застосування створеної системи в тестуванні прикладного програмного забезпечення з подальшою оцінкою результатів та висновками щодо її ефективності. Результатом дослідження стали рекомендації щодо впровадження автоматизованого тестування на підприємствах розробки ПЗ.; The The qualification master's thesis is devoted to the creation of a system for automated software testing based on efficiency criteria. The main attention is paid to the analysis of testing efficiency and methods for its provision through automation. The research includes the construction of a system that allows assessing the quality of software based on certain efficiency criteria, in particular execution time, stability and resource intensity. Modern approaches to automated testing are considered, a comparative analysis of testing tools is conducted, and an own solution is developed that demonstrates the ability to identify critical points of reduced productivity. The practical part of the work demonstrates the application of the created system in testing application software with further evaluation of the results and conclusions about its efficiency. The result of the research was recommendations for the implementation of automated testing at software development companies. Wed, 01 Jan 2025 00:00:00 GMT http://etnuir.tnu.edu.ua/handle/123456789/561 2025-01-01T00:00:00Z http://etnuir.tnu.edu.ua/handle/123456789/560 Побудова концептуальної моделі програмного забезпечення для виявлення шкідливого програмного забезпечення у веб-застосунках Домченко, Олексій Леонідович Актуальність означеної теми обумовлена тим, що інформація являє собою певну цінність, має відповідне матеріальне або нематеріальне вираження та вимагає захисту від різноманітних за своєю сутністю несприятливих впливів. Одним із основних таких впливів є SQL ін’єкція у веб-застосунках. Це обумовлено, наприклад, легкістю виявлення і експлуатування уразливостей баз даних і, як наслідок, їх використання зловмисниками. Тому, побудова моделей програмного забезпечення для виявлення SQL-ін’єкцій у веб-застосунках є актуальним завданням.; The relevance of this topic is due to the fact that information has a certain value, has a corresponding material or intangible expression, and requires protection from various adverse influences. One of the main such influences is SQL injection in web applications. This is due, for example, to the ease of detecting and exploiting database vulnerabilities and, as a result, their use by malicious actors. Therefore, building software models for detecting SQL injections in web applications is a pressing task. Mon, 01 Jan 2024 00:00:00 GMT http://etnuir.tnu.edu.ua/handle/123456789/560 2024-01-01T00:00:00Z http://etnuir.tnu.edu.ua/handle/123456789/559 Моделювання просторових даних з застосуванням триангуляційних моделей в середовищі комп’ютерної графіки Кривченков, Сергій Олександрович Об'єкт дослідження: алгоритми, що будують тріангуляцію і мультитріангуляцію з безлічі точок, і извлекающие тріангуляцію змінного дозволу. Мета роботи: дослідження та реалізація відомих алгоритмів побудови і извле- чення тріангуляції змінного дозволу, поліпшення існуючих алгоритмів, створення бібліотеки класів предметної області. Методи дослідження: теорія складності алгоритмів, обчислювальний експеримент. Результат роботи: реалізований ітеративний алгоритм побудови тріангуляції Делоне з динамічним кешуванням, алгоритм побудови тріангуляції змінного дозволу, алгоритм вилучення тріангуляції змінного дозволу, розроблений модіфікований алгоритм динамічного вилучення тріангуляції, що дозволяє використовувати результат, отриманий раніше, створена бібліотека класів предметної області.; Research subject: algorithms that construct triangulation and multitriangulation from a set of points and extract variable-resolution triangulation. Purpose of the work: to study and implement known algorithms for constructing and extracting variable-resolution triangulation, to improve existing algorithms, and to create a library of subject area classes. Research methods: algorithm complexity theory, computational experiment. Results: implementation of an iterative algorithm for constructing Delaunay triangulation with dynamic caching, algorithm for constructing variable resolution triangulation, algorithm for extracting variable resolution triangulation, developed modified algorithm for dynamic triangulation extraction, which allows using the result obtained earlier, created library of subject area classes. Mon, 01 Jan 2024 00:00:00 GMT http://etnuir.tnu.edu.ua/handle/123456789/559 2024-01-01T00:00:00Z