Экспортируйте результаты анализа Polyspace

Можно экспортировать результаты анализа в файл разделенного текста вкладки или таблицу MATLAB^® (MATLAB). Используя текстовый файл или таблицу, вы можете:

Сгенерируйте графики или статистику о ваших результатах, которые вы не можете с готовностью получить из пользовательского интерфейса при помощи MATLAB или Microsoft^® Excel^®. Например, для каждой Программы автоматического доказательства Кода проверяют тип (Деление на нуль, Переполнение), можно вычислить, сколько проверок является красным, оранжевым, или зеленым.
Интегрируйте результаты анализа с другими проверками, которые вы выполняете на своем коде.

Экспортируйте результаты в текстовый файл

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

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

Пользовательский интерфейс	Командная строка
Откройте свои результаты анализа. Экспортируйте все результаты или только подмножество результатов. Чтобы экспортировать все результаты, выберите Reporting> Export> Export All Results. Если вы хотите отфильтровать результаты вашего отчета, используйте фильтры на панели Results List, чтобы отобразить только результаты, о которых вы хотите сообщить. Затем при экспорте результатов выберите Reporting> Export> Export Currently Displayed Results. Для получения дополнительной информации о фильтрации смотрите Результаты Фильтра и Группы. Выберите местоположение, чтобы сохранить текстовый файл и нажать OK.	Используйте подходящие варианты с командой `polyspace-report-generator`. Доступные параметры: `-generate-results-list-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 All Results.
- Если вы хотите отфильтровать результаты вашего отчета, используйте фильтры на панели Results List, чтобы отобразить только результаты, о которых вы хотите сообщить. Затем при экспорте результатов выберите Reporting> Export> Export Currently Displayed Results.
  Для получения дополнительной информации о фильтрации смотрите Результаты Фильтра и Группы.
Выберите местоположение, чтобы сохранить текстовый файл и нажать OK.

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

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

-generate-results-list-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. См.:

Просмотрите экспортируемые результаты

Текстовый файл или таблица содержат информацию о результате, доступную на панели Results List в пользовательском интерфейсе (за исключением строки и информации о столбце). См.:

Список результатов
Список результатов (Polyspace Code Prover)

Некоторые различия в представлении между панелью Results List и текстовым файлом описаны ниже.

Текстовый файл имеет столбец New, который показывает, является ли результат новым по сравнению с последним анализом того же кода.
Текстовый файл или таблица также содержат столбец Key. Запись в этом столбце уникальна для результата через несколько исследований. Когда вы объединяете несколько результатов анализа, которые могут содержать общие файлы, использовать эту запись, чтобы устранить копии результата. Например, если вы запускаете правило кодирования, проверяющее несколько модулей, и объединяете результаты, заголовочные файлы и кодирующий нарушения правила в них появляются в нескольких результатах модуля. Чтобы устранить копии нарушения правила кодирования, используйте запись в столбце Key.

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

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