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


Расширение описаний сигнатур операций для автоматической генерации тестов.

Р.С. Зыбин, А.В. Пономаренко, В.В. Рубанов, Е.С. Чернов.

Аннотация

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

Издание

Труды Института системного программирования РАН, том 14, часть 2, 2008, стр. 109-128.

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

Для цитирования

Р.С. Зыбин, А.В. Пономаренко, В.В. Рубанов, Е.С. Чернов. Расширение описаний сигнатур операций для автоматической генерации тестов.. Труды Института системного программирования РАН, том 14, часть 2, 2008, стр. 109-128. .

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