API Sanity AutoTest

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

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

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

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

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

Лицензия

API Sanity AutoTest является свободным программным обеспечением и распространяется под лицензиями GNU GPL и LGPL. Скачать инструмент можно с сайта [url=http://ispras.linuxfoundation.org/index.php/API_Sanity_Autotest]LSB Infrastructure Program[/url] или [url=http://forge.ispras.ru/projects/api-sanity-autotest]ИСП РАН[/url].