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