Справочник Ada 2005
G.2.5 Требования к производительности генерации случайных чисел
В режиме строгого режима производительность Numerics.Float_Random и Numerics.Discrete_Random должна соответствовать указанным здесь требованиям.
Требования к реализации
Два различных вызова процедуры Reset, зависящей от времени, должны сбросить генератор в различные состояния, при условии, что вызовы разделены по времени не менее чем на одну секунду и не более чем на пятьдесят лет.
Представления генератора состояния и алгоритмов для генерации случайных чисел в реализации должны обеспечивать период не менее 231–2; гораздо более длительные периоды желательны, но не обязательны.
Реализации Numerics.Float_Random.Random и Numerics.Discrete_Random.Random должны пройти не менее 85% индивидуальных испытаний в наборе статистических тестов. Для Numerics.Float_Random тесты применяются непосредственно к сгенерированным значениям с плавающей точкой (т.е. они не преобразуются в целые числа сначала), а для Numerics.Discrete_Random они применяются к сгенерированным значениям различных дискретных типов. Каждый набор тестов выполняет 6 различных тестов, каждый тест повторяется 10 раз, что в сумме составляет 60 индивидуальных испытаний. Индивидуальное испытание считается пройденным, если значение хи-квадрат (или другой статистический показатель), рассчитанное для наблюдаемых подсчётов или распределения, попадает в диапазон значений, соответствующих 2,5 и 97,5 процентилям для соответствующих степеней свободы (т.е. оно не должно быть слишком высоким или слишком низким). Для определения степеней свободы категории измерений объединяются, когда ожидаемые подсчёты составляют менее 5.