Учебное пособие москва мади 2020 ббк 32. 81 В 683 Волосова, А. В. В683

информационным 
графом программы
. Как и в случае графа управления, информационный 
граф не зависит от входных данных. Информационный граф представляет 
одну из моделей программы. Эта модель используется в системе 
PARAFRASE и серии пакетов КАР. На рисунке
55 представлен 
информационный граф программы.
Определим начальные данные программы и проведем наблюдение за ее 
выполнением на последовательном вычислителе. Каждое срабатывание 
каждого 
оператора
-
преобразователя 
будем 
фиксировать 
отдельной 
вершиной. Соединив вершины дугами передач информации, мы получим 
ориентированный граф, называемый 
историей реализации программы
. На 
Рис. 54. Операционно
-
логическая история алгоритма 1 случая n = 3, b
1
= 0,
b
2
=b
3
=a
1
=a
2
= a
3
=c
2
=c
3
= 1
Рис. 55. Информационный граф алгоритма 1

---

168 
рисунке
56 представлена история реализации программы для входных 
данных, соответствующих рис. 54
Объединение графов историей реализации программы даст 
информационным графом программы.
Рассмотренные типы моделей существуют для всех программ.
Трудности определения информационных связей между операциями по 
тексту программы привели к появлению моделей, называемых 
графами 
зависимостей
. В этих моделях отношение
информационной связи 
заменяется отношением зависимости. Именно, две операции или два 
оператора называются зависимыми, если при их выполнении имеют место 
обращения к одной и той же переменной (ячейке памяти). В таких моделях 
мы работаем только с операторами
-
преобразователями.
В рассмотренном примере программы имеются две
изменяемые 
переменные х и у. Если в качестве вершин графа зависимостей взять 
операторы
-
преобразователи с метками 1, 2, 4, 
6
, то получим граф, 
представленный на рис. 57.
Рис. 56. История реализации программы для входных данных,
соответствующих рис. 54

---

169