Wiki » History » Revision 3
Revision 2 (Alexander Kamkin, 02/27/2014 02:41 PM) → Revision 3/5 (Alexander Kamkin, 02/27/2014 02:51 PM)
h1. Wiki
Система предназначена для генерации тестовых данных на основе заданных ограничений, генераторов и конкретных примеров. На вход системе поступает набор переменных скалярных типов (целые числа, битовые векторы), идентификатор ограничения и контекст (набор пар вида ключ-значение). Выходом системы является набор значений переменных, удовлетворяющих заданной ситуации. Тестовые ситуации организованы в форме ориентированного ациклического графа (сети). Если из вершины _u_ есть путь в вершину _v_, то ситуация _S_(_v_) является уточнением ситуации _S_(_u_). При обращении к системе ситуация может быть задана полностью (указан терминальная вершина сети) или частично (указана нетерминальная вершина). В последнем случае при генерации тестовых данных будет выбрана случайная терминальная вершина, достижимая из заданной. Начальное распределение вероятностей выбора дуг задается пользователем. В процессе генерации тестовых данных, распределение может меняться.