Проводится тестирование программной системы двумя совершенно независимыми группами, использующими независимые наборы тестов. Эти две группы тестируют систему параллельно в течение некоторого времени; затем их результаты собирают и сравнивают.

Пусть N₁ и N₂ – число ошибок, обнаруженных каждой из групп, соответственно, N₁₂ – число ошибок, обнаруженных дважды (т.е. обеими группами), N – неизвестное полное число ошибок в программе.

Это можно проиллюстрировать следующим образом (рис. 5.3).

Рис. 5.3. Множества ошибок, обнаруженных на независимых тестах

Тогда эффективность тестирования каждой из групп: .

Исходя из предположения, что возможность обнаружения для всех ошибок одинакова, каждое подмножество пространства N рассматривается как аппроксимация всего пространства.

Т.е. , подставляем , получаем . Выражая из последней формулы N, получаем

.

В полученной формуле N₁₂ известно, Е₁ и Е₂ можно оценить как N₁₂/ N₂ и N₁₂/ N₁, соответственно, и получить приближение для N.

Например, пусть две группы нашли по 20 и 30 ошибок, соответственно, пусть 8 ошибок – общие, тогда Е₁ = 0.27, Е₂ = 0.4, N = 74 и примерно осталось 32 необнаруженных ошибки (74 – 30 – 20 + 8).