ВУЗ:
Составители:
Рубрика:
46
Критерий ветвей С2 проверяет программу более тщательно, чем критерии –
C1, однако даже если он удовлетворен, нет оснований утверждать, что про-
грамма реализована в соответствии со спецификацией.
Например, если спецификация задает условие, что |x| ≤ 100, невыполни-
мость которого можно подтвердить на тесте (-177,-177). Действительно, опера-
торы 3 и 4 на тесте (-177,-177) не изменят величину х = – 177 и результат не
будет соответствовать спецификации.
Структурные критерии не проверяют соответствие спецификации, если
оно не отражено в структуре программы. Поэтому при успешном тестировании
программы по критерию C2 мы можем не заметить ошибку, связанную с невы-
полнением некоторых условий спецификации требований.
3.2.2. Функциональные критерии (класс II)
Функциональный критерий – важнейший для программной индустрии
критерий тестирования. Он обеспечивает, прежде всего, контроль степени вы-
полнения требований заказчика в программном продукте. Поскольку требова-
ния формулируются к продукту в целом, они отражают взаимодействие тести-
руемого приложения с окружением. При функциональном тестировании пре-
имущественно используется модель «черного ящика». Проблема функциональ-
ного тестирования – это, прежде всего, трудоемкость; дело в том, что докумен-
ты, фиксирующие требования к программному изделию (Software requirement
specification, Functional specification и т.п.), как правило, достаточно объемны,
тем не менее, соответствующая проверка должна быть всеобъемлющей.
Частные виды функциональных критериев
1. Тестирование пунктов спецификации – набор тестов в совокупности дол-
жен обеспечить проверку каждого тестируемого пункта не менее одного
раза.
Спецификация требований может содержать сотни и тысячи пунктов тре-
бований к программному продукту и каждое из этих требований при тестиро-
вании должно быть проверено в соответствии с критерием не менее чем одним
тестом.
2. Тестирование классов входных данных – набор тестов в совокупности
должен обеспечить проверку представителя каждого класса входных дан-
ных не менее одного раза.
При создании тестов классы входных данных сопоставляются с режима-
ми использования тестируемого компонента или подсистемы приложения, что
заметно сокращает варианты перебора, учитываемые при разработке тестовых
наборов. Следует заметить, что, перебирая в соответствии с критерием величи-
ны входных переменных (например, различные файлы – источники входных
данных), придется применять мощные тестовые наборы. Действительно, наряду
с ограничениями на величины входных данных, существуют ограничения на
Страницы
- « первая
- ‹ предыдущая
- …
- 44
- 45
- 46
- 47
- 48
- …
- следующая ›
- последняя »
