API Sanity AutoTest

Общие сведения

API Sanity AutoTest - это генератор базовых тестов для программного интерфейса (API) библиотек на языках C и C++.  Главной целью инструмента является автоматическое выявление критических ошибок (segmentation fault и др.) на ранней стадии разработки библиотеки. Подход к генерации тестов основан на анализе информации из заголовочных файлов библиотеки и дополнительной информации о семантике типов данных (опционально).

Генерация тестовых сценариев построена на основе определения сигнатур функций целевой библиотеки и сопоставления параметров одних функций и возвращаемых значений/параметров других для генерации цепочек инициализации конкретных значений параметров, позволяющих вызывать все необходимые функции целевой библиотеки.

Функциональность инструмента включает:

  • Генерацию тестовых сценариев для всех функций API библиотеки
  • Запуск тестов с автоматическим контролем выполнения
  • Визуализацию результатов тестирования и классификацию найденных проблем
  • Возможность генерации тестов в формате T2C

Лицензия

API Sanity AutoTest является свободным программным обеспечением и распространяется под лицензиями GNU GPL и LGPL. Скачать инструмент можно с сайта LSB Infrastructure Program или ИСП РАН.