Детальная информация

Название: Автоматическое извлечение контрактов функций из исходного кода программ: бакалаврская работа: 09.03.01
Авторы: Абдуллин Азат Марселевич
Научный руководитель: Ицыксон Владимир Михайлович
Организация: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Выходные сведения: Санкт-Петербург, 2016
Коллекция: Выпускные квалификационные работы; Общая коллекция
Тематика: анализ программных репозиториев; программное обеспечение; статистический анализ; контракты функций
Тип документа: Выпускная квалификационная работа бакалавра
Тип файла: PDF
Язык: Русский
Уровень высшего образования: Бакалавриат
Код специальности ФГОС: 09.03.01
Группа специальностей ФГОС: 090000 - Информатика и вычислительная техника
DOI: 10.18720/SPBPU/2/v17-800
Права доступа: Доступ по паролю из сети Интернет (чтение, печать, копирование)
Дополнительно: Все документы
Ключ записи: RU\SPSTU\edoc\36944

Разрешенные действия:

Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети Действие 'Загрузить' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети

Группа: Анонимные пользователи

Сеть: Интернет

Аннотация

Бакалаврская работа посвящена автоматическому извлечению контрактов функций из исходного кода программ. Рассмотрены современные исследования в этой области. Сформулирована конкретная задача извлечения контрактов для повышения полноты и точности статического анализа. Разработан алгоритм, который позволяет извлечь контракты из исходного кода. Прототип на основе данного алгоритма реализован в системе статического анализа Borealis. Проведено тестирование полученного инструмента на реальных программных проектах. Тестирование показало целесообразность применения предлагаемого подхода. В результате работы была создана технология автоматического извлечения контрактов и разработан прототип, реализующий эту технологию.

Права на использование объекта хранения

Место доступа Группа пользователей Действие
Локальная сеть ИБК СПбПУ Все Прочитать Печать Загрузить
Интернет Авторизованные пользователи СПбПУ Прочитать Печать Загрузить
Интернет Авторизованные пользователи (не СПбПУ)
-> Интернет Анонимные пользователи

Статистика использования

stat Количество обращений: 122
За последние 30 дней: 5
Подробная статистика