Details
| Title | Автоматизация проверки корректности использования программных библиотек на основе спецификаций: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_15 - Технологии проектирования системного и прикладного программного обеспечения |
|---|---|
| Creators | Гусев Максим Александрович |
| Scientific adviser | Ицыксон Владимир Михайлович |
| Other creators | Новопашенный Андрей Гелиевич |
| Organization | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий |
| Imprint | Санкт-Петербург, 2018 |
| Collection | Выпускные квалификационные работы ; Общая коллекция |
| Subjects | Вычислительные машины электронные персональные — Библиотеки программ ; Вычислительные машины электронные — Программы — Тестирование ; Автоматов теория |
| UDC | 004.422.8.057.4 ; 004.415.53 |
| Document type | Master graduation qualification work |
| File type | |
| Language | Russian |
| Level of education | Master |
| Speciality code (FGOS) | 09.04.01 |
| Speciality group (FGOS) | 090000 - Информатика и вычислительная техника |
| Links | Отзыв руководителя ; Рецензия |
| DOI | 10.18720/SPBPU/2/v18-4629 |
| Rights | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
| Record key | RU\SPSTU\edoc\56702 |
| Record create date | 11/14/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 |
Целью магистерской диссертации является разработка подхода к проверке корректности использования протокола программных библиотек, основная идея которого состоит в сравнении формальных спецификаций программных библиотек с трассами выполнения программы, полученными средствами динамического анализа. Результатом сравнения является список найденных нарушений спецификаций программных библиотек в анализируемой программе. Разработанный подход был реализован в виде прототипа системы для анализа Java-программ. Система включает в себя инструмент автоматизированной проверки корректности использования протоколов библиотек и графический редактор спецификаций.
| Network | User group | Action |
|---|---|---|
| ILC SPbPU Local Network | All |
|
| Internet | Authorized users SPbPU |
|
| Internet | Anonymous |
|
- titulnik (2) (2)
- Диплом_для_библиотеки
Access count: 133
Last 30 days: 0
