Details
| Title | Статический анализ кода программно-аппаратного комплекса: выпускная квалификационная работа бакалавра: 09.03.01 - Информатика и вычислительная техника ; 09.03.01_09 - Разработка программного обеспечения |
|---|---|
| Creators | Выскарь Екатерина Александровна |
| Scientific adviser | Амосов Владимир Владимирович |
| Organization | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий |
| Imprint | Санкт-Петербург, 2018 |
| Collection | Выпускные квалификационные работы ; Общая коллекция |
| Subjects | статистический анализ кода ; пак ; анализ кода ; таймер ; механизмы |
| Document type | Bachelor graduation qualification work |
| File type | |
| Language | Russian |
| Level of education | Bachelor |
| Speciality code (FGOS) | 09.03.01 |
| Speciality group (FGOS) | 090000 - Информатика и вычислительная техника |
| Links | Отзыв руководителя |
| DOI | 10.18720/SPBPU/2/v18-1381 |
| Rights | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
| Record key | RU\SPSTU\edoc\54482 |
| Record create date | 10/24/2018 |
Allowed Actions
–
Action 'Read' will be available if you login or access site from another network
Action 'Download' will be available if you login or access site from another network
| Group | Anonymous |
|---|---|
| Network | Internet |
В бакалаврской работе рассматривается анализ потока управления как один из видов статического анализа. Здесь применяются бинарные отношения и механизмы графа для анализа исходного кода, чтобы в дальнейшем реализовать программу статического анализа ПАК. Эти механизмы реализуются на примере таймера.
| Network | User group | Action |
|---|---|---|
| ILC SPbPU Local Network | All |
|
| Internet | Authorized users SPbPU |
|
| Internet | Anonymous |
|
Access count: 112
Last 30 days: 0
