5.2. Виды тестирования

Учитывая большое разнообразие классов решаемых задач, для их тестирования используются несколько видов тестирования. Рассмотрим их.

Статическое тестирование предполагает поиск ошибок путем просмотра текста программы и выполнения ее «вручную», т.е. «в уме» или на бумаге (Правила фиксации результатов при этом описываются в разделе «Правила записи трассировки»). Применяется в процессе разработки алгоритма.

Детерминированное тестирование заключается в подготовке контрольных примеров (тестов) на основе некоторой методики. Оно применяется в случае, когда для полноценных испытаний программы достаточно иметь ограниченное количество тестов. И при этом для каждого теста можно задать не только определенные константы в качестве входных данных, но и в качестве эталонного ответа. Такое тестирование называется «численным», хотя для многих задач значения могут быть не числовыми, а символьными. Данное тестирование может применяться как в процессе разработки алгоритма, так и в процессе испытаний и отладки на компьютере.

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

Следует отметить также, что имеются классы задач, в которых вычисления при исполнении теста могут быть чрезмерно трудоемкими, а иногда и непосильными, в первую очередь на этапе разработки алгоритма. В первую очередь это относится к решению физических и математических задач. Целью тестирования в таких случаях обычно является стремление установить факт, что некоторая последовательность действий в алгоритме обеспечивает корректную реализацию заданной системы уравнений. При таком тестировании эталонного ответа в традиционном «числовом» виде предложить невозможно, и эталон представляется в виде строки-формулы. Такое тестирование называют символьным. В данном пособии этот вид тестирования не рассматривается.

5.3. Стратегии тестирования

Под стратегией тестирования мы будем понимать совокупность принципов, положенных в основу построения системы тестов. Рассмотрим две наиболее популярные стратегии: стратегию «черного ящика» и стратегию «белого ящика». Первая предполагает, что при разработке тестов известны только функции программы, но не известно, как они реализуются. Иначе говоря, данная стратегия опирается на то, что разработчик тестов знает, ЧТО должна делать программа, но не знает КАК.

Вторая стратегия (стратегия «белого ящика») опирается на знание внутренней структуры (содержания действий) программы. При этом разработчик тестов знает, и ЧТО и КАК делает программа. И, следовательно, ее применяют, в первую очередь в процессе разработки алгоритма, а также при внесении изменений в готовую программу.

В рамках этих стратегий предложено несколько различных методов. Рассмотрим их.