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

• 出版年: Труды Института системного программирования РАН
• 主要な著者: Р.С. Зыбин, А.В. Пономаренко, В.В. Рубанов, Е.С. Чернов
• フォーマット: 論文
• 言語: 英語
• 出版事項: Russian Academy of Sciences, Ivannikov Institute for System Programming 2008-01-01
• オンライン･アクセス: https://www.ispras.ru/en/proceedings/isp_2008_14_2/isp_2008_14_2_109/
• ISSN: 2079-8156; 2220-6426

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