Главная | Публикации | Разработка подхода к автоматизации тестирования программного обеспечения на основе LibSL-спецификации

Разработка подхода к автоматизации тестирования программного обеспечения на основе LibSL-спецификации

Авторы

Лихолетов М.Д.
Интеллектуальная инженерная экономика и Индустрия 5.0 (ИНПРОМ-2024) : сборник трудов Международной научно-практической конференции, 25–28 апреля 2024 г. В 2 т. Т. 2 / под ред. д-ра экон. наук, проф. Д. Г. Родионова, д-ра экон. наук, проф. А. В. Бабкина. – СПб. : ПОЛИТЕХ-ПРЕСС, 2024.

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

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

Ключевые слова

Программное обеспечение, Спецификация ПО, Тестирование ПО, Автоматическая генерация тестов, Software, Software specification, Software testing, Automatic test generation

Лихолетов М.Д. Разработка подхода к автоматизации тестирования программного обеспечения на основе LibSL-спецификации // Интеллектуальная инженерная экономика и Индустрия 5.0 (ИНПРОМ-2024) : сборник трудов Международной научно-практической конференции, 25–28 апреля 2024 г. В 2 т. Т. 2 / под ред. д-ра экон. наук, проф. Д. Г. Родионова, д-ра экон. наук, проф. А. В. Бабкина. – СПб. : ПОЛИТЕХ-ПРЕСС, 2024. С. 478-482.