Экспортируйте список глобальных переменных

Можно экспортировать список глобальных переменных в коде к файлу разделенного текста вкладки или таблице MATLAB^® (MATLAB). Текстовый файл или таблица содержат ту же информацию как панель Variable Access в пользовательском интерфейсе Polyspace^®.

Используя текстовый файл, вы можете:

Сгенерируйте графики или статистику о глобальных переменных. Например, вы видите процент разделяемых глобальных переменных, которые не защищены от параллельного доступа.
Используйте информацию об области значений, чтобы создать внешние ограничения для глобальных переменных. Например, можно сообщить, что код свободен от определенных ошибок времени выполнения только для извлеченной области значений глобальных переменных.
Можно также использовать область значений, чтобы задать внешние ограничения на последующие верификации или верификацию других модулей. Смотрите Задают Внешние Ограничения.

Экспортируйте список переменных в текстовый файл

Можно экспортировать результаты пользовательского интерфейса или командной строки.

Пользовательский интерфейс Командная строка

Пользовательский интерфейс	Командная строка
Откройте свои результаты верификации. Выберите Reporting> Export> Export Variable Access. Выберите местоположение, чтобы сохранить текстовый файл и нажать OK.	Используйте подходящие варианты с командой `polyspace-report-generator`. Доступные параметры: `-generate-variable-access-file`: Указывает, что текстовый файл должен быть сгенерирован. `-results-dir folder_paths`: Путь к папке, содержащей ваши результаты анализа. Если вы не задаете путь к папке, программное обеспечение использует результаты анализа от текущей папки. Чтобы сгенерировать текстовые файлы для нескольких исследований, задайте `folder_paths` как список разделенных запятой значений без пробелов после запятых. Например: `C:\My_project\Module_1\results,C:\My_project\Module_2\Results` Чтобы объединить текстовые файлы, используйте функцию `join`. `-set-language-english`: Используйте эту опцию, чтобы сгенерировать английские отчеты, если отчет по умолчанию находится на другом языке. Язык отображения (Windows^®) или локаль (Linux^®) вашей операционной системы определяет язык по умолчанию в отчете.

Откройте свои результаты верификации.
Выберите Reporting> Export> Export Variable Access.
Выберите местоположение, чтобы сохранить текстовый файл и нажать OK.

Используйте подходящие варианты с командой polyspace-report-generator.

Доступные параметры:

-generate-variable-access-file: Указывает, что текстовый файл должен быть сгенерирован.
-results-dir folder_paths: Путь к папке, содержащей ваши результаты анализа. Если вы не задаете путь к папке, программное обеспечение использует результаты анализа от текущей папки.
Чтобы сгенерировать текстовые файлы для нескольких исследований, задайте folder_paths как список разделенных запятой значений без пробелов после запятых. Например:
C:\My_project\Module_1\results,C:\My_project\Module_2\Results
Чтобы объединить текстовые файлы, используйте функцию join.
-set-language-english: Используйте эту опцию, чтобы сгенерировать английские отчеты, если отчет по умолчанию находится на другом языке. Язык отображения (Windows^®) или локаль (Linux^®) вашей операционной системы определяет язык по умолчанию в отчете.

Экспортируйте список переменных в таблицу MATLAB

Вместо текстового файла можно считать результаты анализа Polyspace в таблицу MATLAB. Смотрите polyspace.CodeProverResults.variableAccess.

Просмотрите экспортируемый список переменных

Текстовый файл или таблица содержат информацию о результате, доступную на панели Variable Access в пользовательском интерфейсе.

Например, предположите, что панель Variable Access показывает переменную SHR с этой информацией.

Если вы экспортируете эту информацию в текстовый файл с разделителями табуляции и открываете файл в Excel^®, вы видите ту же информацию. Часть информации показывают ниже.

Переменные	Тип данных	Доступ	Значения	#Reads	#Writes	Записанный задачей	Читайте задачей	Защита	Строка	Столбец	Файл	Функция	Расширение
SHR	int32	Агрегат	0 или 22	1	2	server1 server2	tregulate	Критический раздел	30	11	tasks1.c		c
SHR		Запись	0						30	11	tasks1.c	_init_globals ()	c
SHR		Запись	22						81	8	tasks1.c	Tserver ()	c
SHR		Чтение	0 или 22						53	14	tasks1.c	initregulate ()	c

См. также Переменный доступ.

Некоторые различия в представлении между панелью Variable Access и текстовым файлом (или таблица MATLAB) описаны ниже.

Столбец Access в текстовом файле указывает, показывает ли строка информацию о переменной (Aggregate) или информация об операциях на переменной (Write или Read).
Столбец Function в текстовом файле показывает функции, где переменная считана или записана (и на панели Variable Access).
Нет никаких строк, соответствующих к операциям чтения и операциям записи от задач (и на панели Variable Access). Эта информация доступна в Written by task и столбцах Read by task в текстовом файле (Tasks_Write и столбцы Tasks_Read в таблице MATLAB).
Цвета на панели Variable Access представлены через столбцы Unreachable и Protected:
- Если к совместно используемой переменной получают доступ в нескольких задачах без общей защиты, это окрашено в оранжевый на панели Variable Access. В текстовом файле столбец Protected показывает Unprotected.
- Если к совместно используемой переменной получают доступ в нескольких задачах, но с общей защитой, это окрашено в зеленый на панели Variable Access. В текстовом файле столбец Protected показывает Protected.
- Если к совместно используемой переменной не получают доступ вообще, это окрашено в серый на панели Variable Access. В текстовом файле столбец Unreachable показывает Is unreachable.
Столбец Potential в текстовом файле показывает операции чтения или операции записи через указатели (или на панели Variable Access). Для операций через указатели столбец показывает Potential access.

Документация