Краткое описание

Автоматическая генерация тестов является актуальной темой в области тестирования ПО. Одной из актуальных задач в этой области является преобразование описаний программных объектов в тестовые примеры. Современные инструменты для воспроизведения программных объектов либо не всегда могут найти нужную последовательность вызовов API из-за отсутствия возможности формализовать семантику тестируемой программы, либо генерируют последовательности, непонятные человеку и не всегда возможные на самом деле (например, при помощи рефлексии). Данная работа посвящена разработке эффективного подхода, решающего задачу автоматической генерации программных объектов при помощи спецификаций программных библиотек.