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


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

Начало проекта – 2010 год.

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


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

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

    Технологии

    UniTESK

    Исполнитель

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

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