title: Synthesis of object initialisation code for symbolic execution
metadata.name: dc.contributor.advisor
metadata.value: Костюков Юрий Олегович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Kostukov Urij Olegovic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Паршин Максим Алексеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Parsin Maksim Alekseevic
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: 2024-07-25T11:48:09Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:48:09Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 068664
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/45888
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Чтобы упростить тестирование программного обеспечения, разрабатываются инструменты для автоматической генерации тестов. В основе многих инструментов данного типа лежит техника символьного исполнения. Символьное исполнение позволяет генерировать тесты с высоким покрытием, но обладает рядом недостатков, один из которых — сложность синтеза кода тестов для объектно-ориентированных программ.  По состояниям символьного исполнения требуется искать кодовые тестовые последовательности в обширном пространстве поиска. В данной работе предложен алгоритм эффективного поиска тестовых последовательностей, основанный на вычислении слабейших предусловий. Проведены экспериментальные запуски реализации алгоритма в символьной машине V#, по результатам которых для 10% состояний символьного исполнения были найдены тестовые последовательности. Среднее время поиска последовательности составило 70% от оценки времени, затраченного на генерацию одного теста.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: To simplify software testing, tools for automatic test generation are being developed. Many tools of this type are based on the symbolic execution technique. Symbolic execution allows generating tests with high coverage, but has a number of disadvantages, one of which is the difficulty of synthesizing test code for object-oriented programs. Code test sequences must be found by symbolic execution states in an extensive search space. In this paper, we propose an effective test sequences search algorithm based on weakest preconditions. Experimental runs of the algorithm implementation in the V# symbolic machine have been performed, and the results show that test sequences were found for 10% of the symbolic execution states. The average time to find a sequence was 70% of the estimated time taken to generate a single test.
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: кодогенерация
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: test generation
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: static analysis
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: code generation
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: weakest preconditions
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Synthesis of object initialisation code for symbolic execution
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Синтез кода инициализации объектов для символьного исполнения
metadata.lang: ru_RU
resources.filename: parshin_thesis.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/45888/2/parshin_thesis.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 3,83 MB
resources.filename: reviewSV_Otzyv_naucnogo_rukovoditela_na_magisterskuu_Parsina_M.A..pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/45888/3/reviewSV_Otzyv_naucnogo_rukovoditela_na_magisterskuu_Parsina_M.A..pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 79,13 kB
resources.filename: reviewSV_st068664_Parsin_Maksim_Alekseevic_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/45888/4/reviewSV_st068664_Parsin_Maksim_Alekseevic_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 6,04 kB