Ложноположительное срабатывание
Ложноположи́тельное сраба́тывание (ошибка первого рода), ситуация, в которой анализ программ устанавливает свойство программы, которое не выполняется ни для каких запусков программы (на любых входных данных). Как правило, ложноположительные срабатывания возникают при статическом анализе из-за неточности используемой модели программы.
Например, анализатор выдаёт ложное предупреждение о том, что некоторая переменная может быть использована до её инициализации. При этом как инициализация, так и использование переменной происходят при выполнении одних и тех же условий, проверяемых программой для её входных данных, но анализатор не смог достаточно точно оценить эти условия.
Для оценки ложноположительных срабатываний, допускаемых анализатором, для каждого класса ошибок вручную просматриваются выдаваемые им предупреждения и оценивается их истинность.
В случае большого количества предупреждений оценивают псевдослучайную выборку.