Wiki » History » Version 5
Andrei Tatarnikov, 03/14/2015 06:45 PM
| 1 | 5 | Andrei Tatarnikov | *UNDER CONSTRUCTION* |
|---|---|---|---|
| 2 | 1 | Alexander Kamkin | |
| 3 | 5 | Andrei Tatarnikov | h1. Wiki. TODO: NEED A MEANINGFULL DESCRIPTION IN ENGLISH |
| 4 | |||
| 5 | 1 | Alexander Kamkin | Система предназначена для генерации тестовых данных на основе заданных ограничений, генераторов и конкретных примеров. На вход системе поступает набор переменных скалярных типов (целые числа, битовые векторы), идентификатор ограничения и контекст (набор пар вида ключ-значение). Выходом системы является набор значений переменных, удовлетворяющих заданной ситуации. Тестовые ситуации организованы в форме ориентированного ациклического графа (сети). Если из вершины _u_ есть путь в вершину _v_, то ситуация _S_(_v_) является уточнением (refinement) ситуации _S_(_u_). При обращении к системе ситуация может быть задана полностью (указан терминальная вершина сети) или частично (указана нетерминальная вершина). В последнем случае при генерации тестовых данных будет выбрана случайная терминальная вершина, достижимая из заданной (данные также могут быть построены путем разрешения ограничения, связанного с данной ситуацией). Распределение вероятностей выбора дуг задается пользователем. В процессе генерации тестовых данных, распределение может меняться (учитывается последовательность обращения к системе). Помимо выбора уточняющих ситуаций при генерации тестовых данных система может налагать дополнительные ограничения, используя ситуации, вершины которых не лежат на одном пути с выбранной ситуацией (cross coverage). |
| 6 | 5 | Andrei Tatarnikov | |
| 7 | h1. Scientific and Technical Papers |
||
| 8 | |||
| 9 | [[TestBase-Related Publications]] |