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: PDF
Language: Russian
Speciality code (FGOS): 09.04.01
Speciality group (FGOS): 090000 - Информатика и вычислительная техника
Links: http://doi.org/10.18720/SPBPU/2/v18-4629; http://elib.spbstu.ru/dl/2/rev/v18-4629-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-4629-r.pdf
Rights: Свободный доступ из сети Интернет (чтение, печать, копирование)

Allowed Actions: Read Download (1.6 Mb) You need Flash Player to read document

Group: Anonymous

Network: Internet

Annotation

Целью магистерской диссертации является разработка подхода к проверке корректности использования протокола программных библиотек, основная идея которого состоит в сравнении формальных спецификаций программных библиотек с трассами выполнения программы, полученными средствами динамического анализа. Результатом сравнения является список найденных нарушений спецификаций программных библиотек в анализируемой программе. Разработанный подход был реализован в виде прототипа системы для анализа Java-программ. Система включает в себя инструмент автоматизированной проверки корректности использования протоколов библиотек и графический редактор спецификаций.

Document access rights

Network User group Action
FL SPbPU Local Network All Read Print Download
-> Internet All Read Print Download

Table of Contents

  • titulnik (2) (2)
  • Диплом_для_библиотеки

Document usage statistics

stat Document access count: 116
Last 30 days: 6
Detailed usage statistics