ВИКОРИСТАННЯ МАШИННОГО НАВЧАННЯ ДЛЯ ПЕРЕВІРКИ МОДЕЛЕЙ
Date
2025
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
У магістерській роботі досліджено застосування методів машинного навчання для автоматизації процесу перевірки програмних та математичних моделей. Робота присвячена аналізу сучасних проблем тестування, які виникають у складних інженерних системах, та обґрунтуванню доцільності використання інтелектуальних алгоритмів для підвищення ефективності процесу верифікації.
У роботі проаналізовано класичні методи перевірки моделей, їхні обмеження та недоліки. Запропоновано архітектуру системи перевірки, що поєднує машинне навчання з методами статистичного аналізу для виявлення помилок, прогнозування ризиків і автоматичної пріоритезації тестів. Проведено експериментальні дослідження, які довели, що застосування ансамблевих моделей (Random Forest, SVM, Neural Networks) дозволяє підвищити точність виявлення дефектів і зменшити час тестування до 35%.
Особливу увагу приділено побудові архітектури системи, методам підготовки даних, а також практичній реалізації моделей у середовищах TensorFlow і Scikit-learn.
Отримані результати доводять, що використання машинного навчання у процесах перевірки моделей забезпечує вищу ефективність, адаптивність і точність у порівнянні з традиційними підходами.
In this master’s thesis, methods of machine learning are investigated as tools for automating the process of verifying software and mathematical models. The research focuses on identifying limitations of classical verification methods and proposing an intelligent architecture that integrates ML algorithms to improve testing accuracy and efficiency.
The proposed system combines statistical analysis with supervised and ensemble learning methods (Random Forest, SVM, Neural Networks) to detect errors, predict risks, and prioritize testing procedures. Experimental results confirm that machine learning allows reducing verification time by up to 35% while increasing defect detection accuracy. The work also explores data preprocessing, model evaluation metrics, and practical implementation using TensorFlow and Scikit-learn. The research demonstrates that integrating ML techniques into verification processes enhances adaptability and reliability of engineering systems.
Description
Савчук, О. О. Використання машинного навчання для перевірки моделей = Application of Machine Learning for Model Verification: кваліфікаційна робота на здобуття ступеня вищої освіти «магістр» / О.О. Савчук; наук. керівник: В.С. Песчаненко; Міністерство освіти і науки України; Херсонський державний університет, факультет комп’ютерних наук, фізики та математики, кафедра комп’ютерних наук та програмної інженерії. – Херсон – Івано-Франківськ : ХДУ, 2025. – 67 с.
Keywords
машинне навчання, перевірка моделей, штучний інтелект, тестування програмного забезпечення, автоматизація, ансамблеві методи, нейронні мережі, SVM, Random Forest, TensorFlow, Scikit-learn, верифікація, якість програмних систем, machine learning, model verification, artificial intelligence, software testing, automation, ensemble methods, neural networks, verification, software quality.