Можно экспортировать результаты анализа в файл разделенного текста вкладки, таблицу MATLAB® или в стандартный формат JSON. Используя экспортируемое содержимое, вы можете:
Сгенерируйте графики или статистику о ваших результатах, которые вы не можете с готовностью получить из пользовательского интерфейса при помощи MATLAB или Microsoft® Excel®. Например, для каждой Программы автоматического доказательства Кода проверяют тип (Деление на нуль, Переполнение), можно вычислить, сколько проверок является красным, оранжевым, или зеленым.
Интегрируйте результаты анализа с другими проверками, которые вы выполняете на своем коде.
Можно экспортировать результаты пользовательского интерфейса или командной строки.
| Пользовательский интерфейс | Командная строка |
|---|---|
| Используйте опцию |
Файл экспортированного текста использует кодировку символов на вашей операционной системе. Если специальные символы из ваших комментариев не экспортируются правильно в текстовом файле, изменяют кодировку символов на вашей операционной системе перед экспортом.
Если вы пишете скрипты MATLAB, чтобы запустить Polyspace®, можно считать результаты анализа Polyspace в таблицу MATLAB для последующей обработки. См.:
Можно экспортировать результаты Polyspace в объект JSON. Формат JSON следует за стандартным обозначением, обеспеченным Форматом обмена результатов статического анализа (SARIF) OASIS.
Используйте опцию -format json-sarif с polyspace-results-export команда. Для получения дополнительной информации смотрите polyspace-results-export.
Формат JSON содержит некоторую дополнительную информацию, такую как краткое название средства проверки и полное сообщение, которое сопровождает результат. Используйте формат JSON, если вы хотите использовать это краткое название или сообщение. Можно также использовать этот формат для более стандартизированного создания отчетов результатов. Например, если вы используете несколько инструментов статического анализа и хотите сообщить об их результатах в одном интерфейсе при помощи одного алгоритма парсинга, можно экспортировать все результаты в стандартный формат SARIF JSON.
Текстовый файл или таблица содержат информацию о результате, доступную на панели Results List в пользовательском интерфейсе (за исключением линии и информации о столбце). См.:
Список результатов (Polyspace Code Prover)
Некоторые различия в представлении между панелью Results List и текстовым файлом описаны ниже.
Текстовый файл имеет столбец New, который показывает, является ли результат новым по сравнению с последним анализом того же кода.
Текстовый файл или таблица также содержат столбец Key. Запись в этом столбце основана на имени результата и местоположении результата в файле.
Когда вы объединяете результаты анализа от нескольких модулей, которые содержат общие файлы, используют эту запись, чтобы устранить копии. Например, если вы запускаете правило кодирования, проверяющее два различных модуля, и объединяете результаты, кодирующие нарушения правила в общих заголовочных файлах появляются дважды в результатах. Чтобы устранить копии, сравните содержащий файлы и ключи результатов. Если два результата имеют те же файлы и ключи, каждый - копия другого.
Вы не можете идентифицировать местоположение результата Средства поиска Ошибки в вашем исходном коде с помощью текстового файла. Однако можно все еще проанализировать файл и сгенерировать графики или статистику о результатах.
