Рассматривается задача статистической проверки неисполняемости фрагментов кода последовательной программы. Рассматриваются методы, основанные на минимизации как априорных, так и апостериорных вероятностей ошибок.
проверка статистических гипотез, геометрическое распределение, вероятность ошибки первого рода, вероятность ошибки второго рода, лемма неймана–пирсона, апостериорная вероятность ошибки