Показник оцінки коду, який вимірює ймовірність того, що принаймні один із k згенерованих зразків пройде тести.