title: Development of the tool for automatic isolation of LLVM code under test
metadata.name: dc.contributor.advisor
metadata.value: Прохорова Ирина Арнольдовна
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Prohorova Irina Arnoldovna
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Шмидт Светлана Андреевна
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Smidt Svetlana Andreevna
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Мордвинов Дмитрий Александрович
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Mordvinov Dmitrij Aleksandrovic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2023-07-26T12:02:53Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2023-07-26T12:02:53Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2023
metadata.name: dc.identifier.other
metadata.value: 076197
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/42099
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В рамках данной работы было разработано программное средство для автоматической изоляции тестируемого LLVM кода на базе символьной виртуальной машины KLEE. В основе алгоритма автоматической изоляции лежит автоматическая генерация символьных моделей для внешних функций. Полученный продукт был протестирован на промышленном проекте FRRouting. Тестирование показало, что реализованная функциональность значительно улучшает работу KLEE.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: This work is dedicated to the development of the tool for automatic isolation of LLVM code under test. The tool was implemented on the basis of the symbolic execution virtual machine named KLEE. The automatic isolation algorithm is based on the automatic generation of symbolic models for external functions. The resulting product was tested on an industrial project FRRouting. Testing has demonstrated that the implemented functionality significantly improves the performance of KLEE.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: символьное исполнение
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: автоматическая изоляция
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: тестирование
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: symbolic execution
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: automatic isolation
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: testing
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Development of the tool for automatic isolation of LLVM code under test
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Разработка программного средства для автоматической изоляции тестируемого LLVM кода
metadata.lang: ru_RU
resources.filename: st076197.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/42099/2/st076197.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 633,02 kB
resources.filename: reviewSV_Otzyv_naucnogo_rukovoditela_na_bakalavrskuu_Smidt_S.A.__2_.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/42099/3/reviewSV_Otzyv_naucnogo_rukovoditela_na_bakalavrskuu_Smidt_S.A.__2_.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 83,03 kB
resources.filename: reviewSV_st076197_Smidt_Svetlana_Andreevna_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/42099/4/reviewSV_st076197_Smidt_Svetlana_Andreevna_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 3,71 kB