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


Метод автоматической конкретизации символических тестовых сценариев

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

Аннотация

При проверке корректности моделей программных систем с типами данных, включающими большой диапазон значений, один символьный поведенческий сценарий может покрывать множество сценариев с конкретными значениями. Это свойство особенно эффективно используется для систем, использующих числовые типы данных. Однако символьные сценарии в исходном виде непригодны для создания по ним исполнимых тестов, для исполнения тесты должны быть конкретизированы. С другой стороны, в современных промышленных проектах количество тестов исчисляется тысячами, а зависимость между значениями параметров нетривиальна. Осуществлять вручную выбор и подстановку взаимосогласованных конкретных значений практически невозможно, поэтому процесс конкретизации должен быть полностью автоматическим. Кроме того, реальная практика тестирования свидетельствует об уменьшении трудоемкости поиска дефектов при направленном выборе значений по сравнению со случайном выбором. При подстановках необходимо следовать плану тестирования, подготовленному заранее тестировщиком. Подобные планы должны быть гибкими, основная их часть должна генерироваться на основе стандартных шаблонов или переиспользовать отредактированные пользователем планы.
В работе описан полностью автоматизированный метод конкретизации символьных сценариев, решающий упомянутые проблемы. Метод позволяет контролировать покрытие граничных значений параметров теста, что в результате дает возможность повысить качество создаваемого тестового набора.
Разработанный метод был успешно интегрирован в единую технологическую цепочку верификации и тестирования, включающую создание формальной модели системы по исходным требованиям, автоматическую символьную верификацию, генерацию и конкретизацию символьных поведенческих сценариев, генерацию тестовых наборов по конкретизированным сценариям, а также средства анализа результатов исполнения тестов. Также продемонстрированы результаты применения технологической цепочки с интегрированным методом автоматической конкретизации.

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

concretization; symbolic behavior scenario; software testing

Издание

Труды Института системного программирования РАН, том 27, вып. 3, 2015, стр. 115-124

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

DOI: 10.15514/ISPRAS-2015-27(3)-8

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