Способы тестирования условий

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

Выражение отношения имеет вид E1<оператор отношения>E2, где E1, E2 – арифметические выражения, а в качестве оператора отношения используется один из операторов >, <, =, .

Составное условие состоит из нескольких простых условий, булевых операторов и круглых скобок. Условие, не содержащее отношение выражения, называется булевым отношением. Таким образом, элементами условия являются булев оператор, булева переменная, пара скобок, заключающая простое или составное условие, оператор отношения, арифметическое выражение.

Эти элементы определяют типы ошибок в условии. Если условие некорректно, то некорректен, по меньшей мере, один из элементов условия.

В условии возможны следующие типы ошибок:

1) Ошибка булева оператора, т.е. наличие некорректных, отсутствующих или избыточных булевых операторов;

2) Ошибка булевой переменной;

3) Ошибка булевой скобки;

4) Ошибка оператора отношения;

5) Ошибка арифметического выражения.

Способ тестирования условий ориентирован на тестирование каждого условия в программе. Методики тестирования условий имеют два достоинства: во-первых, достаточно просто выполнить измерения тестового покрытия условия, во-вторых, тестовое покрытие условий в программе является фундаментальным для генерации дополнительных тестов в программе.

Целью тестирования условий является определение не только ошибок в условии, но и других ошибок в программе. Кроме того, если методика тестирования эффективна для обнаружения ошибок в условии, то вероятно, что эта методика будет эффективна ля обнаружения ошибок в программе.

Существует несколько методик тестирования условий.

Простейшая методика называется – тестирование ветвей. В соответствии с этой методикой для составления условий проверяется каждое простое условие, входящее в него, ветвь True, ветвь False.

Другая методика – тестирование области определения. В ней для выражения отношения требуется генерация 3-4 тестов.

Выражение вида E1<оператор отношения>E2 проверяется тремя тестами, которые формируют значение E1>E2 равным E2 и E1<E2.

Если оператор отношения неправильный, а E1 и E2 корректны, то эти три теста гарантируют обнаружение ошибки оператора отношения.

Для определения ошибок в E1 и E2 тест должен сформировать значение E1 большим или меньшим, чем E2, причем обеспечить как можно меньшую разницу между этими значениями.

Для булевых выражений с n переменными требуется набор из тестов. Этот набор позволяет обнаружить ошибки булевых операторов, переменных, скобок, но на практике применяется только при малом n.

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