Added by Igor Melnichenko over 10 years ago. Updated about 10 years ago.
100%
Description
Хотелось бы иметь операцию, которая генерировала бы случайное значение заданной переменной.
Что с этой задачей - приоритет High, а задача 4 месяца не выполняется?
В r535 реализован класс Random (пакет ru.ispras.fortress.data), который предосталяет возможность генерировать случайные данные и создавать переменные, инициализированные случайными данными. Сигнатуры основных методов:
public static void setSeed(int seed) public static Data newValue(DataType type) public static Variable newVariable(String name, DataType type) public static Variable assignValue(Variable variable)
См. также модульный тест RandomTestCase.