Институт системного программирования им. В.П. Иванникова РАН


UniTESK

UniTESK - это технология тестирования программных интерфейсов (API), которая в первую очередь предназначена для модульного тестирования. Название UniTESK расшифровывается как Unified TEsting Specification based toolKit (Унифицированный набор инструментов для тестирования на основе спецификаций). Унифицированность UniTESK обеспечивается тем, что общая методология тестирования и общая архитектура может быть реализована для тестирования модулей на практически всех языках программирования. В настоящее время имеются реализации UniTESK для C (CTESK), C++ (C++TESK), Java (JavaTESK и Summer), Python (PyTESK).

Технология UniTESK имеет два основных отличия от распространенных инструментов тестирования:

  • UniTESK позволяет описывать спецификации программного контракта модулей в форме пред- и постусловий на расширениях языков программирования (в случае C++TESK расширения не требуется);
  • вместо ручной разработки тестовых вариантов (test cases) UniTESK позволяет описать так называемый обобщенный сценарий – компактное описание логики теста, позволяющее генератору тестовых последовательностей автоматически вызвать каждый специфицированный интерфейс во всех вариантах его использования и проверить корректность полученного результата на соответствие заданному постусловию.

Ближайшим аналогом UniTESK является инструмент Microsoft Spec Explorer.В отличие от Spec Explorer инструменты UniTESK распространяются под открытыми лицензиями и легко могут использоваться на всех операционных и программных платформах.

Сайт UniTESK.

Проекты

Summer — система разработки тестов на основе автоматных моделей

Разработчик/участник

Технологии программирования

Перейти к списку всех технологий