Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://reposit.nupp.edu.ua/handle/PoltNTU/10247
Назва: | Підвищення ефективності програмних засобів автоматизованої верифікації результатів компіляції програмних проєктів критичних інформаційно-управляючих систем |
Автори: | Данилейко, А.С. |
Тематичні ключові слова: | проєкти критичних інформаційно-управляючих (ІУС) систем українських АЕС програмні засоби автоматизація АЕС оцінка ефективності |
Дата публікації: | 2021 |
Видавництво: | Національний університет «Полтавська політехніка імені Юрія Кондратюка» |
Анотація: | Розробка програмних інструментів підвищення ефективності застосування програмних засобів автоматизованої верифікації результатів компіляції програмних проєктів критичних ІУС. Для досягнення мети дипломної роботи поставлено такі завдання : - провести аналіз процесу верифікації програмних проєктів критичних інформаційно-управляючих систем, обґрунтувати необхідність процесу його автоматизації; - провести аналіз засобів автоматизації верифікації результатів компіляції платформи Radics; - розробити пропозиції щодо підвищення ефективності роботи засобів автоматизації верифікації результатів компіляції платформи Radics; - розробити програмну реалізацію щодо пропозицій і оцінити ефективність їх реалізації. |
Бібліографічний опис: | Данилейко А.С. Підвищення ефективності програмних засобів автоматизованої верифікації результатів компіляції програмних проєктів критичних інформаційно-управляючих систем : кваліф. робота на здобуття кваліфікації бакалавра зі спец. 123 «Комп’ютерна інженерія» / А.С. Данилейко. – Полтава: Нац. ун-т ім. Ю. Кондратюка, 2021. – 67 с. |
URI (Уніфікований ідентифікатор ресурсу): | http://reposit.nupp.edu.ua/handle/PoltNTU/10247 |
Розташовується у зібраннях: | Кваліфікаційні роботи здобувачів вищої освіти (бакалавр) 123 Комп'ютерна інженерія |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
402-ТК Данилейко.docx | Студентські роботи | 1.79 MB | Microsoft Word XML | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.