А. В. Колчин, А. А. Летичевский, В. С. Песчаненко, П. Д. Дробинцев, В. П. Котляров, “Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов”, Модел. и анализ информ. систем, 2012, том 19, номер 6,страницы 79

Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов

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

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

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

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

УДК: 004.415

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