Сборники трудов ИСП РАН


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

П.Д. Дробинцев (СПбПУ, Санкт-Петербург, Россия)
В.П. Котляров (СПбПУ, Санкт-Петербург, Россия)
И.В. Никифоров (СПбПУ, Санкт-Петербург, Россия)
Н.В. Воинов (СПбПУ, Санкт-Петербург, Россия)
И.А. Селин (СПбПУ, Санкт-Петербург, Россия)

Аннотация

В данной статье рассмотрен подход детализации верифицированных тестовых сценариев для разрабатываемой программной системы без изменения семантики набора, то есть с сохранением корректности. Существующая проблема генерации тестов реальных приложений на основе верифицированных абстрактных сценариев, сгенерированных по поведенческой модели, решается на основе детализации абстрактных сценариев до уровня конкретных состояний, транзакций, протоколов и сигналов. Поскольку характерной особенностью рассматриваемых абстрактных моделей является символьное представление поведенческих сценариев, то их детализация происходит в два этапа. На первом этапе – этапе конкретизации, символьные параметры сигналов получают конкретные значения, образуя тем самым конкретные поведенческие сценарии. На втором этапе – этапе собственно детализации, конкретные абстрактные сценарии необходимо представлять в виде структур данных, формы представления и значения которых содержат всю необходимую информацию для обмена с реальными приложениями. Полученные таким образом детальные сценарии предназначены для генерации исполнимых тестовых наборов для информационных и управляющих систем. В работе предложен инструментарий детализации тестовых сценариев, позволяющий не только описать реальные сигналы, но и детализировать протоколы обмена сигналами.  В его состав входит Lowering editor, позволяющий описывать правила преобразования сигналов в соответствии с приведенной разработанной грамматикой правил преобразований, Signals editor, используемый для удобного описания сложных структур сигналов и Templates editor, позволяющий однократно описывать типовые структуры. Приведён пример процесса преобразования от абстрактных структур данных к детализированным, использующимся при тестировании целевого кода.

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

model approach, model verification, test mapping

Издание

Труды Института системного программирования РАН, том 28, вып. 3, 2016, стр. 145-160.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2016-28(3)-9

Полный текст статьи в формате pdf (на английском) Вернуться к содержанию тома