Variable Access

Составьте таблицу, показывающую доступ к глобальной переменной в исходном коде (Только Программа автоматического доказательства кода)

Описание

Этот компонент составляет таблицу, показывающую доступ к глобальной переменной в вашем исходном коде. Для каждой глобальной переменной таблица показывает следующую информацию:

  • Имя переменной.

    Запись для каждой переменной обозначается |.

  • Тип переменной.

  • Количество операций чтения и операций записи на переменной.

  • Детали операций чтения и операций записи. Для каждой операции чтения или операции записи, таблица показывает следующую информацию:

    • Файл и функция, содержащая операцию в форме file_nameFunctionName .

      Запись для каждой операции чтения или операции записи обозначается ||. Операции записи обозначаются < и операции чтения >.

    • Номер строки и номер столбца операции.

Эта таблица получает информацию, доступную на панели Variable Access в пользовательском интерфейсе Polyspace®.