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

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

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

  • Интегрируйте результаты анализа с другими проверками, которые вы выполняете на своем коде.

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

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

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

  2. Экспортируйте все результаты или только подмножество результатов.

    • Чтобы экспортировать все результаты, выберите Reporting> Export> Export All Results.

    • Если вы хотите отфильтровать результаты вашего отчета, используйте фильтры на панели Results List, чтобы отобразить только результаты, о которых вы хотите сообщить. Затем при экспорте результатов выберите Reporting> Export> Export Currently Displayed Results.

      Для получения дополнительной информации о фильтрации смотрите Результаты Фильтра и Группы в Пользовательском интерфейсе Рабочего стола Polyspace.

  3. Выберите местоположение, чтобы сохранить текстовый файл и нажать OK.

Используйте опцию -format csv с polyspace-results-export команда. Для получения дополнительной информации смотрите polyspace-results-export.

Файл экспортированного текста использует кодировку символов на вашей операционной системе. Если специальные символы из ваших комментариев не экспортируются правильно в текстовом файле, изменяют кодировку символов на вашей операционной системе перед экспортом.

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

Если вы пишете скрипты MATLAB, чтобы запустить Polyspace®, можно считать результаты анализа Polyspace в таблицу MATLAB для последующей обработки. См.:

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

Можно экспортировать результаты Polyspace в объект JSON. Формат JSON следует за стандартным обозначением, обеспеченным Форматом обмена результатов статического анализа (SARIF) OASIS.

Используйте опцию -format json-sarif с polyspace-results-export команда. Для получения дополнительной информации смотрите polyspace-results-export.

Формат JSON содержит некоторую дополнительную информацию, такую как краткое название средства проверки и полное сообщение, которое сопровождает результат. Используйте формат JSON, если вы хотите использовать это краткое название или сообщение. Можно также использовать этот формат для более стандартизированного создания отчетов результатов. Например, если вы используете несколько инструментов статического анализа и хотите сообщить об их результатах в одном интерфейсе при помощи одного алгоритма парсинга, можно экспортировать все результаты в стандартный формат SARIF JSON.

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

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

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

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

  • Текстовый файл или таблица также содержат столбец Key. Запись в этом столбце основана на имени результата и местоположении результата в файле.

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

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

Смотрите также

Похожие темы