Якименко Олександр Степанович2025-10-272025-10-272024Якименко О. С. (2024) Розробка алгоритму контролю правильності виконання програми. 122 «Комп’ютерні науки» Державний торговельно економічний університет.Репозитарій Державного торговельно-економічного університету.https://ur.knute.edu.ua/handle/123456789/12089ВИПУСКНА КВАЛІФІКАЦІЙНА РОБОТАЯкименко О.С. Розробка алгоритму контролю правильності виконання програми. Випускна кваліфікаційна робота на здобуття ступеня бакалавра за спеціальністю 122 «Комп’ютерні науки». Державний торговельно-економічний університет. Кафедра комп’ютерних наук та інформаційних систем. Київ, 2024. 34 с. Робота складається зі вступу, двох послідовних розділів, висновків та списку використаних джерел, що містить 20 найменувань. У тексті роботи побудовано 3 таблиці та 6 рисунків. Робота присвячена дослідженню контролю правильності виконання програм, що є критично важливим для забезпечення його безпеки та надійності. Розглянуто теоретичні аспекти процесу перевірки програм на відповідність специфікаціям, здійснено аналіз існуючих методів контролю, а також запропоновано новий метод для ефективної перевірки програм. Особлива увага приділяється зростанню складності програм, збільшенню їх ролі в повсякденному житті та ризикам, пов’язаним з кіберзлочинністю. Дослідження включає аналіз практичної цінності розроблених алгоритмів та методів. У теоретичній частині дослідження наведені теоретичні основи контролю правильності виконання програм, що передбачає аналіз існуючих методів контролю правильності виконання програм, а також визначення інструментів та середовищ для розробки алгоритмів контролю. В практичній частині дослідження розроблено алгоритм контролю правильності виконання програми, що передбачає визначення об'єкта дослідження та його специфіки, а також практичної цінності алгоритму. Ключові слова: програми, алгоритми перевірки, контроль правильності, безпека програм, кіберзлочинність, аналітичний метод, порівняльний метод.ukAttribution-NonCommercial-NoDerivatives 4.0 InternationalBachelor Thesis