П. Д. Дробинцев, В. П. Котляров, А. А. Летичевский, “Автоматизация создания верифицированных тестовых сценариев на основе гидов”, Модел. и анализ информ. систем, 2013, том 20, номер 6,страницы 64

Автоматизация создания верифицированных тестовых сценариев на основе гидов

П. Д. Дробинцев^a, В. П. Котляров^a, А. А. Летичевский^b

^a Санкт-Петербургский государственный политехнический университет, 195251, Россия, г. Санкт-Петербург, ул. Политехническая, 29
^b Институт кибернетики им. В. М. Глушкова НАН Украины, 03680МСП, Украина, г. Киев, просп. Академика Глушкова, 40

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

Ключевые слова: символьная верификация, автоматизация тестирования, конкретизация тестовых сценариев, предикатный трансформер.

УДК: 004.415

Поступила в редакцию: 10.11.2013