С 17 марта 2020 г. для ресурсов (учебные, научные, материалы конференций, статьи из периодических изданий, авторефераты диссертаций, диссертации) ЭБ СПбПУ, обеспечивающих образовательный процесс, установлен особый режим использования. Обращаем внимание, что ВКР/НД не относятся к этой категории.

Details

Title: Автоматическое извлечение контрактов функций из исходного кода программ: бакалаврская работа: 09.03.01
Creators: Абдуллин Азат Марселевич
Scientific adviser: Ицыксон Владимир Михайлович
Organization: Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint: Санкт-Петербург, 2016
Collection: Выпускные квалификационные работы; Общая коллекция
Subjects: анализ программных репозиториев; программное обеспечение; статистический анализ; контракты функций
Document type: Bachelor graduation qualification work
File type: PDF
Language: Russian
Speciality code (FGOS): 09.03.01
Speciality group (FGOS): 090000 - Информатика и вычислительная техника
DOI: 10.18720/SPBPU/2/v17-800
Rights: Свободный доступ из сети Интернет (чтение)

Allowed Actions:

Action 'Read' will be available if you login or access site from another network

Group: Anonymous

Network: Internet

Annotation

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

Document access rights

Network User group Action
ILC SPbPU Local Network All Read
Internet Authorized users Read
-> Internet Anonymous

Usage statistics

stat Access count: 115
Last 30 days: 2
Detailed usage statistics