Розробка алгоритму контролю правильності виконання програми
Дата
2024
Affiliation
Назва журналу
Номер ISSN
Назва тому
Видавець
Державний торговельно-економічний університет
Анотація
Якименко О.С. Розробка алгоритму контролю правильності виконання програми. Випускна кваліфікаційна робота на здобуття ступеня бакалавра за спеціальністю 122 «Комп’ютерні науки». Державний торговельно-економічний університет. Кафедра комп’ютерних наук та інформаційних систем. Київ, 2024. 34 с. Робота складається зі вступу, двох послідовних розділів, висновків та списку використаних джерел, що містить 20 найменувань. У тексті роботи побудовано 3 таблиці та 6 рисунків. Робота присвячена дослідженню контролю правильності виконання програм, що є критично важливим для забезпечення його безпеки та надійності. Розглянуто теоретичні аспекти процесу перевірки програм на відповідність специфікаціям, здійснено аналіз існуючих методів контролю, а також запропоновано новий метод для ефективної перевірки програм. Особлива увага приділяється зростанню складності програм, збільшенню їх ролі в повсякденному житті та ризикам, пов’язаним з кіберзлочинністю. Дослідження включає аналіз практичної цінності розроблених алгоритмів та методів. У теоретичній частині дослідження наведені теоретичні основи контролю правильності виконання програм, що передбачає аналіз існуючих методів контролю правильності виконання програм, а також визначення інструментів та середовищ для розробки алгоритмів контролю. В практичній частині дослідження розроблено алгоритм контролю правильності виконання програми, що передбачає визначення об'єкта дослідження та його специфіки, а також практичної цінності алгоритму. Ключові слова: програми, алгоритми перевірки, контроль правильності, безпека програм, кіберзлочинність, аналітичний метод, порівняльний метод.
Опис
ВИПУСКНА КВАЛІФІКАЦІЙНА РОБОТА
Ключові слова
Бібліографічний опис
Якименко О. С. (2024) Розробка алгоритму контролю правильності виконання програми. 122 «Комп’ютерні науки» Державний торговельно економічний університет.Репозитарій Державного торговельно-економічного університету.