Методы тестирования программного обеспечения. Степанченко И.В. - 49 стр.

где lb и ub задают нижнюю и верхнюю границы индекса массива. Грани-
ца может быть либо константой, принимающей значения от -65534 до
65535, либо целой переменной (без индексов). Если lb не определена, то
предполагается, что она равна единице. Значение иb должно быть больше
или равно lb. Если lb определена, то она может иметь отрицательное, ну-
левое или положительное значение. Как и все операторы, оператор DIM
может быть продолжен на нескольких строках. (Конец спецификации.)
     Первый шаг заключается в том, чтобы идентифицировать входные
условия и по ним определить классы эквивалентности (табл. 1). Классы
эквивалентности в таблице обозначены числами в круглых скобках.
     Следующий шаг – построение теста, покрывающего один или более
правильных классов эквивалентности. Например, тест
                                 DIM A(2)
покрывает классы 1, 4, 7, 10, 12, 15, 24, 28, 29 и 40 (см. табл. 1). Далее оп-
ределяются один или более тестов, покрывающих оставшиеся правиль-
ные классы эквивалентности. Так, тест
                DIM A12345(I, 9, J4XXXX.65535, 1, KLM,
              X 100), ВВВ (-65534:100, 0:1000, 10:10, I:65535)
покрывает оставшиеся классы. Перечислим неправильные классы экви-
валентности и соответствующие им тесты:
       (3) DIM                       (21) DIM C(I.,10)
       (5) DIM (10)                  (23) DIM C(10,1J)
       (6) DIM A234567(2)            (25) DIM D(-65535:1)
       (9) DIM A.1(2)                (26) DIM D (65536)
       (11) DIM 1A(10)               (31) DIM D(4:3)
       (13) DIM В                    (37) DIM D(A(2):4)
       (14) DIM В (4,4,4,4,4,4,4,4)  (38) DIM D(.:4)
       (17) DIM B(4,A(2))
     Эти классы эквивалентности покрываются 18 тестами. Можно, при
желании, сравнить данные тесты с набором тестов, полученным каким-
либо специальным методом.
     Хотя эквивалентное разбиение значительно лучше случайного выбо-
ра тестов, оно все же имеет недостатки (т. е. пропускает определенные
типы высокоэффективных тестов). Следующие два метода – анализ гра-
ничных значений и использование функциональных диаграмм (диаграмм
причинно-следственных связей cause-effect graphing) – свободны от мно-
гих недостатков, присущих эквивалентному разбиению.




                                     51