Использование вероятностной модели вычислений для тестирования одного класса готовых к использованию программных компонентов локальных и сетевых систем

Обсуждается и анализируется возможность обеспечения эффективного тестирования готовых к использованию программных продуктов (ГИПП), решающих задачи вычисления функций, в условиях отсутствия полной информации, необходимой для традиционного тестирования. Под эффективностью понимается возможность обеспечения сколь угодно высокой вероятности обнаружения возможных ошибок вычислений, не выявленных при выходном контроле, по мере роста числа проверок. В качестве концептуальной модели предлагается использовать свойства функций со случайной самоприводимостью (random self-reducible function — RSR), т. е. функций, вычисление которых на конкретном входном наборе можно свести к вычислению на нескольких случайно выбранных входных наборах. Обосновывается рациональность обеспечения свойств самотестируемости в коммерческих вычислительных ГИПП.