Детальная информация
| Название | Автоматизация проверки корректности использования программных библиотек на основе спецификаций: выпускная квалификационная работа магистра: 09.04.01 - Информатика и вычислительная техника ; 09.04.01_15 - Технологии проектирования системного и прикладного программного обеспечения |
|---|---|
| Авторы | Гусев Максим Александрович |
| Научный руководитель | Ицыксон Владимир Михайлович |
| Другие авторы | Новопашенный Андрей Гелиевич |
| Организация | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий |
| Выходные сведения | Санкт-Петербург, 2018 |
| Коллекция | Выпускные квалификационные работы ; Общая коллекция |
| Тематика | Вычислительные машины электронные персональные — Библиотеки программ ; Вычислительные машины электронные — Программы — Тестирование ; Автоматов теория |
| УДК | 004.422.8.057.4 ; 004.415.53 |
| Тип документа | Выпускная квалификационная работа магистра |
| Тип файла | |
| Язык | Русский |
| Уровень высшего образования | Магистратура |
| Код специальности ФГОС | 09.04.01 |
| Группа специальностей ФГОС | 090000 - Информатика и вычислительная техника |
| Ссылки | Отзыв руководителя ; Рецензия |
| DOI | 10.18720/SPBPU/2/v18-4629 |
| Права доступа | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
| Ключ записи | RU\SPSTU\edoc\56702 |
| Дата создания записи | 14.11.2018 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
| Группа | Анонимные пользователи |
|---|---|
| Сеть | Интернет |
Целью магистерской диссертации является разработка подхода к проверке корректности использования протокола программных библиотек, основная идея которого состоит в сравнении формальных спецификаций программных библиотек с трассами выполнения программы, полученными средствами динамического анализа. Результатом сравнения является список найденных нарушений спецификаций программных библиотек в анализируемой программе. Разработанный подход был реализован в виде прототипа системы для анализа Java-программ. Система включает в себя инструмент автоматизированной проверки корректности использования протоколов библиотек и графический редактор спецификаций.
| Место доступа | Группа пользователей | Действие |
|---|---|---|
| Локальная сеть ИБК СПбПУ | Все |
|
| Интернет | Авторизованные пользователи СПбПУ |
|
| Интернет | Анонимные пользователи |
|
- titulnik (2) (2)
- Диплом_для_библиотеки
Количество обращений: 133
За последние 30 дней: 0
