В. Ю. Королев, Р. Л. Смелянский, Т. Р. Смелянский, А. В. Шалимов, “Статистическая проверка неисполняемости фрагментов кода последовательной программы”, Информ. и её примен., 2013, том 7, выпуск 2,страницы 50

Статистическая проверка неисполняемости фрагментов кода последовательной программы

В. Ю. Королев^ab, Р. Л. Смелянский^a, Т. Р. Смелянский^a, А. В. Шалимов^a

^a Факультет вычислительной математики и кибернетики Московского государственного университета им. М. В. Ломоносова
^b Институт проблем информатики Российской академии наук

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

Ключевые слова: проверка статистических гипотез; геометрическое распределение; вероятность ошибки первого рода; вероятность ошибки второго рода; лемма Неймана–Пирсона; апостериорная вероятность ошибки.