API Sanity AutoTest
Общие сведения
API Sanity AutoTest - это генератор базовых тестов для программного интерфейса (API) библиотек на языках C и C++. Главной целью инструмента является автоматическое выявление критических ошибок (segmentation fault и др.) на ранней стадии разработки библиотеки. Подход к генерации тестов основан на анализе информации из заголовочных файлов библиотеки и дополнительной информации о семантике типов данных (опционально).
Генерация тестовых сценариев построена на основе определения сигнатур функций целевой библиотеки и сопоставления параметров одних функций и возвращаемых значений/параметров других для генерации цепочек инициализации конкретных значений параметров, позволяющих вызывать все необходимые функции целевой библиотеки.
Функциональность инструмента включает:
- Генерацию тестовых сценариев для всех функций API библиотеки
- Запуск тестов с автоматическим контролем выполнения
- Визуализацию результатов тестирования и классификацию найденных проблем
- Возможность генерации тестов в формате T2C
Лицензия
API Sanity AutoTest является свободным программным обеспечением и распространяется под лицензиями GNU GPL и LGPL. Скачать инструмент можно с сайта LSB Infrastructure Program или ИСП РАН.