ВУЗ:
Составители:
Рубрика:
35
2
5
3
1
0
x = 3 z = 1
4
x = 3 z = 1
x = 3 z = 1
x = 3 z = 3 n = 2
x = 3 z = 3 n = 2
n = 2
n = 2
n = 2
i = 1
i = 2
Рис. 7. Управляющий граф программы
Трасса, проходящая через вершины 0-1-3-4-5, зафиксирована в таблице
(
Таблица 1
). Строки таблицы отображают вершины управляющего графа про-
граммы, или breakpoints, в которых фиксировались текущие значения заказан-
ных пользователем переменных.
Таблица 1
Трасса, проходящая через вершины 0-1-3-4-5
№ верши-
ны-
оператора
Значение пе-
ременной x
Значение пе-
ременной z
Значение пе-
ременной n
Значение пере-
менной i
0 3 1 2 не зафиксировано
1 3 1 2 не зафиксировано
3 3 1 2 1
4 3 3 2 2
5 3 3 2 не зафиксировано
Дамп – область памяти, состояние которой фиксируется в контрольной
точке в виде единого массива или нескольких связанных массивов. При анали-
зе, который осуществляется после выполнения трассы в режиме off-line, со-
стояния дампа структурируются, и выделенные области или поля сравниваются
с состояниями, предусмотренными спецификацией.
Страницы
- « первая
- ‹ предыдущая
- …
- 33
- 34
- 35
- 36
- 37
- …
- следующая ›
- последняя »
