Розробка програмних засобів аналізу статистичного аналізу програмного коду

Abstract

Дана кваліфікаційна бакалаврська робота присвячена для створення програмних засобів аналізу статистичного аналізу програмного коду. Досліджено методи статичної обробки та аналізу коду, розроблено алгоритм, що забезпечує збільшення інформації про код в процесі запуску Виконано програмну реалізацію алгоритму. Розроблений спосіб верифікацї програмного забезпечення надає більш детальну інформацію щодо якості вихідного коду, наприклад, об'єктів, що мають змінюваний стан та є поліморфними та може використовуватись в процесі розробоки програмного забезпечення в якості верифікатора та в процессі в навчать в якості контролю