Забезпечення якості та реверс-інжиніринг програмного забезпечення
Вантажиться...
Дата
2026
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
ІСЗЗІ КПІ ім. Ігоря Сікорського
Анотація
Цей навчальний посібник підготовлено для магістрантів ІСЗЗІ КПІ ім. Ігоря Сікорського, що навчаються за спеціальністю F3 Комп'ютерні науки. До нього включено вивчення базових питань із забезпечення якості та реверс-інжинірингу програмного забезпечення. Проведено класифікацію видів реверс-інжинірингу, визначено основні артефакти, що підлягають відновленню та аналізу, сформульовано задачі реверс-інжинірингу, визначено методи їх розв’язання, проаналізовано основні класи інструментальних засобів реверс-інжинірингу та особливості їх застосування. Розглянуто роль та місце реверс-інжинірингу в забезпеченні якості програмного забезпечення, а також застосування систем штучного інтелекту в цих процесах. Навчальний матеріал викладено таким чином, що поступово заглиблює здобувачів, які вивчають реверс-інжиніринг, в процес дослідження програм, рухаючись поетапно в напрямку, зворотному процесу створення програмного забезпечення, та охоплює питання відновлення документації та проєктних моделей, математичного, програмного та інформаційного забезпечення, дослідження шкідливого програмного коду на рівні вихідного та виконуваного коду, а також дизасемблювання та декомпіляцію бінарного коду. Навчальний посібник вимагає від читача знання мов асемблера та C, алгоритмів та структур даних, процесів розробки та функціонування програмного забезпечення у межах програми підготовки бакалаврів за спеціальністю F3 Комп'ютерні науки. Матеріал навчального посібника поділено на чотири розділи. Перший розділ присвячений введенню в реверс-інжиніринг. У другому розділі розглядаються питання реверс-інжинірингу та якості вихідного коду програм. Третій розділ присвячений дослідженню бінарних виконуваних кодів програм. Четвертий розділ містить питання відновлення структур даних. Кожен розділ має окрему нумерацію рисунків та таблиць. Матеріали навчального посібника базуються на власному досвіді авторів, а також використовуються літературні джерела, наведені в кінці посібника. Додатки містять корисну інформацію для набуття компетентностей при виконанні практичних задач.
Матеріали навчального посібника призначені виключно для некомерційного розповсюджування.
Опис
Ключові слова
Бібліографічний опис
Забезпечення якості та реверс-інжиніринг програмного забезпечення [Електронний ресурс] : навч. посіб. для здобувачів ступеня магістра за освітньою програмою “Комп’ютерні системи і технології спеціального зв’язку” спеціальності F3 Комп’ютерні науки / ІСЗЗІ КПІ ім. Ігоря Сікорського ; уклад.: В. В. Соколов, І. Ю. Субач. – Електрон. текст. дані (1 файл: 6,23 Мбайт). – Київ : ІСЗЗІ КПІ ім. Ігоря Сікорського, 2026. – 342 с. – Назва з екрана.