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

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

Summer представляет собой каркасную библиотеку (framework), аналог таких инструментов, как JUnit и TestNG, со следующими возможностями.

• Возможность создания простейших тестов в стиле JUnit.
• Описание теста как автоматной модели и использование автоматического обхода получаемого автомата при выполнении теста.
• Возможность использования параметризованных тестов и отдельных генераторов данных для них, иерархия тестов, различные виды конфигурационных методов, выполняемых до или после определенных тестов (как в TestNG).
• Возможность описания проверяемой функциональности в виде отдельных спецификаций с помощью библиотеки, аналогичной Microsoft Code Contracts.
• Возможность описания спецификаций поведения в исключительных ситуациях.

Для оформления тестов и спецификаций в стиле UniTESK используется библиотека Summer и набор аннотаций, таким образом инструмент задействует только встроенные возможности языка Java и легко интегрируется с другими инструментами разработки на Java, например, измерения тестового покрытия или каркасами для создания заглушек.

Технологии

UniTESK

Исполнитель

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