Ложноотрицательное срабатывание
Ложноотрица́тельное сраба́тывание (ошибка второго рода), ситуация, в которой анализ программ не устанавливает свойство программы, которое может наблюдаться для некоторых запусков программы. Как правило, ложноотрицательные срабатывания возникают в случаях, когда статический анализ для достижения масштабируемости вынужден отказываться от моделирования всех мыслимых входных данных программы и ограничивается наиболее важными их классами или когда динамический анализ программы не может построить входные данные, на которых наблюдается нужное свойство.
Например, статический анализ, который не учитывает связи между процедурами программы (не поддерживает межпроцедурный анализ), как правило, не может найти ошибку, причина возникновения которой находится в одной процедуре, а проявляется она в другой процедуре.
Оценка допускаемых анализатором ложноотрицательных срабатываний выполняется на специально подготовленных тестах. Для реальных программ оценку выполнить сложно, поскольку неизвестно, где в них находятся ошибки. Часто оценка результатов одного анализатора выполняется с помощью уже известных результатов другого.
См. также Тестирование в информатике.