Детальная информация
Название | Автоматическое формирование сценариев восстановления программных объектов на основе формальных спецификаций библиотек: выпускная квалификационная работа магистра: направление 09.04.01 «Информатика и вычислительная техника» ; образовательная программа 09.04.01_15 «Технологии проектирования системного и прикладного программного обеспечения» |
---|---|
Авторы | Лихолетов Михаил Данилович |
Научный руководитель | Болсуновская Марина Владимировна |
Организация | Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности |
Выходные сведения | Санкт-Петербург, 2024 |
Коллекция | Выпускные квалификационные работы; Общая коллекция |
Тематика | синтез программ; тестирование; формальная спецификация; program synthesis; testing; formal specification |
Тип документа | Выпускная квалификационная работа магистра |
Тип файла | |
Язык | Русский |
Уровень высшего образования | Магистратура |
Код специальности ФГОС | 09.04.01 |
Группа специальностей ФГОС | 090000 - Информатика и вычислительная техника |
DOI | 10.18720/SPBPU/3/2024/vr/vr24-3921 |
Права доступа | Доступ по паролю из сети Интернет (чтение, печать) |
Дополнительно | Новинка |
Ключ записи | ru\spstu\vkr\33140 |
Дата создания записи | 29.08.2024 |
Разрешенные действия
–
Действие 'Прочитать' будет доступно, если вы выполните вход в систему или будете работать с сайтом на компьютере в другой сети
Группа | Анонимные пользователи |
---|---|
Сеть | Интернет |
Данная работа посвящена разработке подхода для автоматической генерации сценариев для воспроизведения программных объектов при по мощи анализа формальных спецификаций программных библиотек. В ходе данной работы решались следующие задачи: - обзор существующих инструментов для решения задач в области программного синтеза; - разработка собственного подхода, осуществляющего синтез программ для воспроизведения программных объектов с использованием методов статического анализа формальных спецификаций; - реализация разработанного подхода для генерации сценариев на конкретном языке программирования. В результате был разработан подход для автоматической генерации сценариев для воспроизведения программных объектов по заданному описанию, использующий формальные спецификации программных библиотек. Данный подход был реализован для генерации сценариев на языке программирования Kotlin в виде программной библиотеки.
This work is devoted to the development of approach for automatic program object reproduction scenarios generation based on formal software library specifications analysis. During this work following tasks were solved: - analysis of existing tools for solving tasks of program synthesis; - development of custom approach for synthesizing scenarios for program object reproduction by using methods of static analysis of formal specifications; - implementation of developed approach for generating scenarios on concrete programming language; As a result an approach for automatic scenario generation for program objects reproduction by theirs descriptions based on formal software library specifications analysis. Developed approach was implemented as program library for generating object reproducing scenarios on Kotlin programming language.
Место доступа | Группа пользователей | Действие |
---|---|---|
Локальная сеть ИБК СПбПУ | Все |
|
Интернет | Авторизованные пользователи СПбПУ |
|
Интернет | Анонимные пользователи |
|
Количество обращений: 0
За последние 30 дней: 0