Справочник Ada 95
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.