Wiki¶

Система предназначена для генерации тестовых данных на основе заданных ограничений, генераторов и конкретных примеров. На вход системе поступает набор переменных скалярных типов (целые числа, битовые векторы), идентификатор ограничения и контекст (набор пар вида ключ-значение). Выходом системы является набор значений переменных, удовлетворяющих заданной ситуации. Тестовые ситуации организованы в форме ориентированного ациклического графа (сети). Если из вершины u есть путь в вершину v, то ситуация S(v) является уточнением ситуации S(u).