Реклама:

-, Щии нэ достаточно часто встречающихся Типрв ошибок обусловлен искажениями условий формирования границ, областей. Выбор тестовых Данных вблизи границ областей обеспечивает наибольшую чувствительность к этим ошибкам. Тестовые исходные данные в зависимости от их положения относительно конкретной границы области можно разделить на два вида. Первый вид данных (принадлежащая точка) размещается на границе области. При' тестировании граничные точки, входят в состав проверяемой области (условия ^ =» ), Второй вид (йепринадлёжащая трчка^отстоит от границы на сколь угодно малую величину-е и находится на открытой стороне данной Области (условия <, >, Ф). При; тестировании такой области принадлежащие (граничные) «іякиотносятся К смежной области, а в проверяемую область данная граница не входит. ' . •

-.Для проверки границ областей разработана (67,І07Ї стратегия выбора тестовых значений, минимизирующая объем про-

.-ледок. Для закрытой области на каждой границе целесообраз-,

^сформировать три тестовых значения:-Первые два теста "(Л: и> В) (рис. 3.12) размещаются на границе данной области вблизи .стыка данной границы с соседними. Третья точка (С)-размеща--

.«тся на малом расстоянии е от дайной границы и-удовлетВо--,

■ ряет всем неравенствам области, кроме проверяемого-на дан-той границе. При таких тестовых данных должны получаться,

-выходные результаты, искажения которых обусловлены невыполнением условия на анализируемой границе; - .'»: При любом сдвиге границы областей на величину, большую

• В. обнаруживается ошибка. Действительно, если анализируемая граница сдвинута во внешнюю область-по сравнению с заг

-данной на величину, большую б, то в точке С выполнится уело-1;

.вне, анализируемое на дранице, что является указанием нали- *

^ия ошибки. При сдвиге границы внутрь анализируемой подобласти неправильно выполняются тесты в точках А и В или «одной из них. При таком расположении контрольных точек

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

. случае ошибочной замены неравенства ^ на < ошибка обнаруживается в результате неправильных данных в точках А и С. -Для проверки области изменения данных, образующих

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

^предиката. В зависимости от числа ветвлений в каждом маршруте имеется пл таких границ. Для каждой'границы, как показано выше, необходимо иметь три тестовых значения. Однако число тестовых значений можно несколько-сократить, если крайние из них выбирать на пересечениях соседних границ.

. В результате число тестов для каждого маршрут* й лежит пределах 2пр< |? < Зп„,

Липаев В. В. Тестирование программ.

і Рис. 3.12. Области Изменения переменных и точки для тестирования при условии ^ * ■'

Рис! 3.13. Области изменения переметных" и точки для тестирования ...при условии Ф

Дальнейшее сокращение числа тестовых значений возможно, если, учитывать корреляцию условий^наразличных Маршрутах,:имеющих общие грайицы областей ^ В; ряде случаев проверка программы вточКахИ и С (рис. 3.12)'может проводиться только на одном маршруте.соответствующем нижней части области'.изменения данных. На маршруте, - использующем ,верхнюю«астьс)бластиу достаточно тестировать только притес-.товых значениях, соответствующйхточКе В.


⇐ Предыдущая страница| |Следующая страница ⇒