Отладка и тестирование приложений в среде Visual Studio 2005. Евсеева О.Н - 44 стр.

UptoLike

ВУЗ: 

УлГТУ | Ульяновск

Составители: 

Рубрика: 

44
3. КРИТЕРИИ ВЫБОРА ТЕСТОВ
3.1. Требования к идеальному критерию тестирования
Требования к идеальному критерию формулируются следующим обра-
зом:
1. достаточность, т. е. критерий должен показывать, когда некоторое ко-
нечное множество тестов достаточно для тестирования данной программы;
2. полнота, т. е. в случае ошибки должен существовать тест из множества
тестов, удовлетворяющих критерию, который раскрывает ошибку;
3. надежность, т. е. любые два множества тестов, удовлетворяющих ему,
одновременно должны раскрывать или не раскрывать ошибки программы;
4. проверяемость, т. е. критерий должен быть легко проверяемым, например,
вычисляемым на тестах.
Для нетривиальных классов программ в общем случае не существует
полного и надежного критерия, зависящего от программ или спецификаций.
Поэтому стремятся к идеальному общему критерию через реальные част-
ные.
3.2. Классы критериев
Выделяют следующие классы критериев.
Структурные критерии, которые используют информацию о структуре про-
граммы (критерии так называемого «белого ящика»).
Функциональные критерии, которые формулируются в описании требований
к программному изделию (критерии так называемого «черного ящика»).
Критерии стохастического тестирования, которые формулируются в терми-
нах проверки наличия заданных свойств у тестируемого приложения, средства-
ми проверки некоторой статистической гипотезы.
Мутационные критерии, которые ориентированы на проверку свойств про-
граммного изделия на основе подхода Монте-Карло.
3.2.1. Структурные критерии (класс I)
Структурные критерии используют модель программы в виде «белого
ящика», что предполагает знание исходного текста программы или специфика-
ции программы в виде потокового графа управления. Структурная информация
понятна и доступна разработчикам подсистем и модулей приложения, поэтому
данный класс критериев часто используется на этапах модульного и интеграци-
онного тестирования (Unit testing, Integration testing).
Структурные критерии базируются на основных элементах УГП, опера-
торах, ветвях и путях.

Страницы