Details
| Title | Автоматическое извлечение контрактов функций из исходного кода программ: бакалаврская работа: 09.03.01 |
|---|---|
| Creators | Абдуллин Азат Марселевич |
| Scientific adviser | Ицыксон Владимир Михайлович |
| Organization | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий |
| Imprint | Санкт-Петербург, 2016 |
| Collection | Выпускные квалификационные работы ; Общая коллекция |
| Subjects | анализ программных репозиториев ; программное обеспечение ; статистический анализ ; контракты функций |
| Document type | Bachelor graduation qualification work |
| File type | |
| Language | Russian |
| Level of education | Bachelor |
| Speciality code (FGOS) | 09.03.01 |
| Speciality group (FGOS) | 090000 - Информатика и вычислительная техника |
| DOI | 10.18720/SPBPU/2/v17-800 |
| Rights | Доступ по паролю из сети Интернет (чтение, печать, копирование) |
| Record key | RU\SPSTU\edoc\36944 |
| Record create date | 2/27/2017 |
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 |
Бакалаврская работа посвящена автоматическому извлечению контрактов функций из исходного кода программ. Рассмотрены современные исследования в этой области. Сформулирована конкретная задача извлечения контрактов для повышения полноты и точности статического анализа. Разработан алгоритм, который позволяет извлечь контракты из исходного кода. Прототип на основе данного алгоритма реализован в системе статического анализа Borealis. Проведено тестирование полученного инструмента на реальных программных проектах. Тестирование показало целесообразность применения предлагаемого подхода. В результате работы была создана технология автоматического извлечения контрактов и разработан прототип, реализующий эту технологию.
| Network | User group | Action |
|---|---|---|
| ILC SPbPU Local Network | All |
|
| Internet | Authorized users SPbPU |
|
| Internet | Anonymous |
|
Access count: 124
Last 30 days: 0
