DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Please use this identifier to cite or link to this item:
http://eir.kntu.net.ua/jspui/handle/123456789/615| Title: | Розробка програмних засобів аналізу статистичного аналізу програмного коду |
| Authors: | Моісеєнко, А. А |
| Keywords: | статичний аналіз коду шаблони проектування потік даних |
| Issue Date: | 2021 |
| Publisher: | ХНТУ |
| Citation: | Моісеєнко, А. А. Розробка програмних засобів аналізу статистичного аналізу програмного коду : кваліфікаційна робота на здобуття ступеня вищої освіти «бакалавр» / Моісеєнко А. А. ; наук. керівник проф., д.т.н., Шерстюк В. Г. - Херсон : ХНТУ, 2021. - 99 с. |
| Abstract: | Дана кваліфікаційна бакалаврська робота присвячена для створення програмних засобів аналізу статистичного аналізу програмного коду. Досліджено методи статичної обробки та аналізу коду, розроблено алгоритм, що забезпечує збільшення інформації про код в процесі запуску Виконано програмну реалізацію алгоритму. Розроблений спосіб верифікацї програмного забезпечення надає більш детальну інформацію щодо якості вихідного коду, наприклад, об'єктів, що мають змінюваний стан та є поліморфними та може використовуватись в процесі розробоки програмного забезпечення в якості верифікатора та в процессі в навчать в якості контролю |
| URI: | http://eir.kntu.net.ua/jspui/handle/123456789/615 |
| Appears in Collections: | Спеціальність 121 Інженерія програмного забезпечення |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Моісеєнко А. А. Розробка програмних засобів аналізу статистичного аналізу програмного коду.pdf | 1.45 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.