Тестирование ветвей и операторов отношения

Способ тестирования ветвей и операторов отношений обнаруживает ошибки ветвления и операторов отношения в условии, для которого выполняются следующие ограничения:

1) Все булевы переменные и операторы отношения входят в условие только по одному разу;

2) В условиях нет общих переменных;

В данном способе используются естественные ограничения условий. Для составного условия, включающего n простых условий, формируется ограничение условия ОУ=( ), где – ограничение на результат i-ого простого условия.

Ограничения на результат фиксируют возможное ограничение аргумента, если он один, или соотношение между значениями аргументов, если их несколько.

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

На основе ограничений условий создается ограничивающее множество, элементы которого являются сочетаниями всех возможных значений . Ограничивающее множество – это удобный инструмент для записи задания на тестирование, поскольку оно составляется из сведений о значениях переменных, которые влияют на значение проверяемого условия. Каждый элемент ограничивающего множества задает отдельный тестовый вариант. Исходные данные тестового варианта должны обеспечить соответствующую комбинацию значений простых условий, а ожидаемый результат равен значению составного условия.

Таким образом, способ тестирования ветвей и операторов отношений для каждого условия в программе включает следующие действия:

1) Строятся ограничения условий;

2) Выявляются ограничения результата по каждому простому условию;

3) Строится ограничивающее множество. Его построение выполняется путем подстановки в константные формулы выявленных ограничений результата.

4) Для каждого элемента ограничивающего множества разрабатывается тестовый вариант.