Spec-Zone.ru › Ada 2005
Справочник 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.


Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API