Экспортируйте результаты анализа 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`: Указывает, что текстовый файл должен быть сгенерирован. Эта опция требуется. `- 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: Указывает, что текстовый файл должен быть сгенерирован. Эта опция требуется.
- 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. Запись в этом столбце основана на имени результата и местоположении результата в файле.
Когда вы объединяете результаты анализа от нескольких модулей, которые содержат общие файлы, используют эту запись, чтобы устранить копии. Например, если вы запускаете правило кодирования, проверяющее два различных модуля, и объединяете результаты, кодирующие нарушения правила в общих заголовочных файлах появляются дважды в результатах. Чтобы устранить копии, сравните содержащий файлы и ключи результатов. Если два результата имеют те же файлы и ключи, каждый - копия другого.

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

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