Особенности тестирования белого ящика

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

1) гарантируется проверка всех независимых маршрутов программы;

2) проверяются ветви TRUE и FALSE для всех логических решений;

3) выполняются все циклы в пределах их границ и диапазонов;

4) анализируется правильность внутренних структур данных.

Недостатки тестирования белого ящика:

1) количество независимых маршрутов может быть очень велико. Например, если цикл в программе выполняется k раз, а внутри цикла имеется n ветвлений, то количество маршрутов вычисляется по формуле

При n=5 и k=20 . Даже если на разработку выполнения и оценку теста по одному маршруту расходуется 1мс, то на тестирование уйдет свыше 3000 лет.

2) исчерпывающее тестирование маршрутов не гарантирует соответствие программы исходным требованиям к ней.

3) в программе могут быть пропущены некоторые маршруты.

4) нельзя обнаружить ошибки, появление которых зависит от обрабатываемых данных.

Достоинства тестирования белого ящика позволяют учесть особенности программных ошибок.

1) Количество обнаруживаемых ошибок минимально в центре и максимально на периферии программы.

2) Предварительное предположение о вероятности потока управления или данных в программе часто бывает некорректно. В результате типовым может стать маршрут, модель вычислений по которому проработана слабо.

3) При записи алгоритма программного обеспечения на языке программирования возможно внесение типовых ошибок, как синтаксических, так и логических.

4) Некоторые результаты в программе зависят не от исходных данных, а от внутренних состояний программы.

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