Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
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 | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.