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

UptoLike

ВУЗ: 

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

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

Рубрика: 

69
M2(M21, Stub(M22))->XY
2
K(M1, M2(M21, Stub(M22)) ->XY
K
M22->XY
22
M2->XY
2
K->XY
K
А к недостаткам восходящего тестирования можно отнести:
• запаздывание проверки концептуальных особенностей тестируемого ком-
плекса;
• необходимость в разработке и использовании драйверов.
4.2.1. Особенности интеграционного тестирования для процедур-
ного программирования
Процесс построения набора тестов при структурном тестировании опре-
деляется принципом, на котором основывается конструирование Графа Модели
Программы (ГМП). От этого зависит множество тестовых путей и генерация
тестов, соответствующих тестовым путям.
Первым подходом к разработке программного обеспечения является про-
цедурное (модульное) программирование. Традиционное процедурное про-
граммирование предполагает написание исходного кода в императивном (пове-
лительном) стиле, предписывающем определенную последовательность выпол-
нения команд, а также описание программного проекта с помощью функцио-
нальной декомпозиции. Такие языки, как Pascal и C, являются императивными.
В них порядок исходных строк кода определяет порядок передачи управления,
включая последовательное исполнение, выбор условий и повторное исполнение
участков программы. Каждый модуль имеет несколько точек входа (при стро-
гом написании кода – одну) и несколько точек выхода (при строгом написании
кода – одну). Сложные программные проекты имеют модульно-иерархическое
построение [10], и тестирование модулей является начальным шагом процесса
тестирования программного обеспечения (ПО). Построение графовой модели
модуля является тривиальной задачей, а тестирование практически всегда про-
водится по критерию покрытия ветвей C1, т. е. каждая дуга и каждая вершина
графа модуля должны содержаться, по крайней мере, в одном из путей тести-
рования.
Таким образом, M(P,C1) = E∪Nij, где Е – множество дуг, а Nij – входные
вершины ГМП.
Сложность тестирования модуля по критерию С1 выражается уточненной
формулой для оценки топологической сложности МакКейба [16]:
V(P,C1) = q + k
in
, где q – число бинарных выборов для условий ветвле-
ния, а k
in
– число входов графа.
Для интеграционного тестирования наиболее существенным является
рассмотрение модели программы, построенной с использованием диаграмм по-
токов управления. Контролируются также связи через данные, подготавливае-

Страницы