Составьте таблицу, показывающую доступ к глобальной переменной в исходном коде (Только Программа автоматического доказательства кода)
Этот компонент составляет таблицу, показывающую доступ к глобальной переменной в вашем исходном коде. Для каждой глобальной переменной таблица показывает следующую информацию:
Имя переменной.
Запись для каждой переменной обозначается |.
Тип переменной.
Количество операций чтения и операций записи на переменной.
Детали операций чтения и операций записи. Для каждой операции чтения или операции записи, таблица показывает следующую информацию:
Файл и функция, содержащая операцию в форме file_nameFunctionName
Запись для каждой операции чтения или операции записи обозначается ||. Операции записи обозначаются < и операции чтения >.
Номер строки и номер столбца операции.
Эта таблица получает информацию, доступную на панели Variable Access в пользовательском интерфейсе Polyspace®.
Табличный доступ к переменной показа содержит только имена файлов. Ниже этой таблицы вторая таблица показывает полные пути к файлам (в двух столбцах, Filename и Full filename). Если переменный доступ происходит в Стандартной библиотечной функции, эти два столбца содержат эту информацию:
FileName : __polyspace__stdstubs.c (файл, содержащий реализацию Polyspace Стандартных Библиотечных функций)
Full filename: Std library
