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