ВУЗ:
Составители:
Рубрика:
45
Условие критерия тестирования команд (критерий С0) – набор тестов в
совокупности должен обеспечить прохождение каждой команды не менее од-
ного раза. Это слабый критерий, он, как правило, используется в больших про-
граммных системах, где другие критерии применить невозможно.
Условие критерия тестирования ветвей (критерий С1) – набор тестов в
совокупности должен обеспечить прохождение каждой ветви не менее одного
раза. Это достаточно сильный и при этом экономичный критерий, поскольку
множество ветвей в тестируемом приложении конечно и не так уж велико.
Данный критерий часто используется в системах автоматизации тестирования.
Условие критерия тестирования путей (критерий С2) – набор тестов в со-
вокупности должен обеспечить прохождение каждого пути не менее 1 раз. Если
программа содержит цикл (в особенности с неявно заданным числом итераций),
то число итераций ограничивается константой (часто равной 2, или числом
классов выходных путей).
Для следующего примера простой программы рассмотрим условия ее
тестирования в соответствии со структурными критериями.
1 public void Method (ref int x) {
2 if (x>17)
3 x = 17-x;
4 if (x==-13)
5 x = 0;
6 }
Тестовый набор из одного теста, удовлетворяет критерию команд (C0):
(X,Y)={(x
вх
=30, x
вых
=0)} покрывает все операторы трассы 1-2-3-4-5-6.
Тестовый набор из двух тестов удовлетворяет критерию ветвей (C1):
(X,Y)={(30,0), (17,17)}, добавляет 1 тест к множеству тестов для С0 и трассу
1-2-4-6. Трасса 1-2-3-4-5-6 проходит через все ветви достижимые в операторах
if при условии true, а трасса 1-2-4-6 через все ветви, достижимые в операторах if
при условии false.
Тестовый набор из четырех тестов удовлетворяет критерию путей (C2):
(X,Y)={(30,0), (17,17), (-13,0), (21,-4)}.
Набор условий для двух операторов if c метками 2 и 4 приведен ниже
(
Таблица 2
).
Таблица 2
Условия операторов if
(30,0) (17,17) (-13,0) (21,-4)
2 if (x>17)
>
≤
≤
>
4 if (x==-13)
=
≠
=
≠
Страницы
- « первая
- ‹ предыдущая
- …
- 43
- 44
- 45
- 46
- 47
- …
- следующая ›
- последняя »
