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