.bat) или сценарии оболочки (.sh)Используйте сценарии Windows или Linux для настройки и выполнения анализа Polyspace ®. Узнайте о доступных командах DOS/UNIX, а также о том, как использовать эти команды для запуска Polyspace из командной строки.
Чтобы сохранить ввод полного пути к командам, добавьте путь polyspaceroot\polyspace\binPath переменная среды в операционной системе. Здесь, polyspacerootC:\Program Files\Polyspace\R2021a. См. также раздел Установка продуктов Polyspace для настольных ПК.
polyspace-code-prover | (DOS/UNIX) Запуск проверки программы проверки кода из Windows, Linux или другой командной строки |
polyspace-comments-import | (DOS/UNIX) Импорт сведений проверки из предыдущего анализа Polyspace |
polyspace-configure | (DOS/UNIX) Создание проекта Polyspace из системы сборки в командной строке DOS или UNIX |
polyspace-report-generator | (DOS/UNIX) Создание отчетов для результатов анализа Polyspace, хранящихся локально или в Polyspace Access |
polyspace-results-export | (DOS/UNIX) Экспорт результатов Polyspace во внешние форматы, такие как CSV или JSON |
Выполнить анализ в пространстве из командной строки
Проверьте код C/C + + с помощью средства поиска ошибок или средства проверки кода с помощью пакетных файлов (.bat) или сценарии оболочки (.sh)
Настройка параметров анализа Polyspace в интерфейсе пользователя и создание сценариев
Создание сценариев для автоматизированных запусков из проектов, настроенных в пользовательском интерфейсе настольных продуктов Polyspace.