Details

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

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

Annotation

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

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
Internet Authorized users SPbPU Read Print Download
Internet Authorized users (not from SPbPU)
-> Internet Anonymous

Usage statistics

stat Access count: 120
Last 30 days: 3
Detailed usage statistics