Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://eir.kntu.net.ua/jspui/handle/123456789/615
Название: | Розробка програмних засобів аналізу статистичного аналізу програмного коду |
Авторы: | Моісеєнко, А. А |
Ключевые слова: | статичний аналіз коду шаблони проектування потік даних |
Дата публикации: | 2021 |
Издательство: | ХНТУ |
Библиографическое описание: | Моісеєнко, А. А. Розробка програмних засобів аналізу статистичного аналізу програмного коду : кваліфікаційна робота на здобуття ступеня вищої освіти «бакалавр» / Моісеєнко А. А. ; наук. керівник проф., д.т.н., Шерстюк В. Г. - Херсон : ХНТУ, 2021. - 99 с. |
Краткий осмотр (реферат): | Дана кваліфікаційна бакалаврська робота присвячена для створення програмних засобів аналізу статистичного аналізу програмного коду. Досліджено методи статичної обробки та аналізу коду, розроблено алгоритм, що забезпечує збільшення інформації про код в процесі запуску Виконано програмну реалізацію алгоритму. Розроблений спосіб верифікацї програмного забезпечення надає більш детальну інформацію щодо якості вихідного коду, наприклад, об'єктів, що мають змінюваний стан та є поліморфними та може використовуватись в процесі розробоки програмного забезпечення в якості верифікатора та в процессі в навчать в якості контролю |
URI (Унифицированный идентификатор ресурса): | http://eir.kntu.net.ua/jspui/handle/123456789/615 |
Располагается в коллекциях: | Спеціальність 121 Інженерія програмного забезпечення |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
Моісеєнко А. А. Розробка програмних засобів аналізу статистичного аналізу програмного коду.pdf | 1.45 MB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.