Details

Title: Исследование и разработка методов автоматического поиска ошибок в компиляторах языков программирования: специальность 2.3.5. Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук
Creators: Степанов Даниил Сергеевич
Scientific adviser: Ицыксон Владимир Михайлович
Organization: Санкт-Петербургский политехнический университет Петра Великого
Imprint: Санкт-Петербург, 2024
Collection: Научные работы аспирантов/докторантов; Общая коллекция
Subjects: Программирования языки; фаззинг; тестирование компиляторов; дедупликация; редукция
UDC: 004.438
Document type: Author's Abstract
File type: PDF
Language: Russian
Speciality code (OKSVNK): 2.3.5.
Speciality group (OKSVNK): 2.0000
DOI: 10.18720/SPBPU/2/r24-35
Rights: Свободный доступ из сети Интернет (чтение)
Additionally: New arrival
Record key: RU\SPSTU\edoc\72940

Allowed Actions: Read

Group: Anonymous

Network: Internet

Annotation

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

Document access rights

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

Usage statistics

stat Access count: 32
Last 30 days: 22
Detailed usage statistics