Составьте таблицу, показывающую доступ к глобальной переменной в исходном коде (Только Программа автоматического доказательства кода)
Этот компонент составляет таблицу, показывающую доступ к глобальной переменной в вашем исходном коде. Для каждой глобальной переменной таблица показывает следующую информацию:
Имя переменной.
Запись для каждой переменной обозначается |.
Тип переменной.
Количество операций чтения и операций записи на переменной.
Детали операций чтения и операций записи. Для каждой операции чтения или операции записи, таблица показывает следующую информацию:
Файл и функция, содержащая операцию в форме
.file_name.function_name
Запись для каждой операции чтения или операции записи обозначается ||
. Операции записи обозначаются <
и операциями чтения >
.
Номер строки и номер столбца операции.
Эта таблица получает информацию, доступную на панели Variable Access в пользовательском интерфейсе Polyspace®.