Dynamic symbolic execution for Python

Abstract

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

In this work, a system of dynamic symbolic execution for the Python language was developed. Approaches to solving implementation problems specific to the Python language were proposed. The resulting system was integrated into the UnitTestBot automatic test generation tool. Experiments showed that integrating symbolic execution techniques into the tool led to an increase in the coverage of generated tests.