.bat) или сценарии оболочки (.sh)Используйте Windows или скрипты Linux, чтобы сконфигурировать и запустить анализ Polyspace®. Узнайте о доступных командах DOS/UNIX, и о том, как использовать эти команды, чтобы запустить Polyspace от командной строки.
polyspace-bug-finder | (DOS/UNIX) Запуск анализ Средства поиска Ошибки от DOS или командной строки UNIX |
polyspace-comments-import | (DOS/UNIX) информация об анализе Импорта от предыдущего анализа Polyspace |
polyspace-configure | (DOS/UNIX) Создает проект Polyspace из вашей системы сборки в командной строке UNIX или DOS |
polyspace-report-generator | (DOS/UNIX) Генерирует отчеты для результатов анализа Polyspace, сохраненных локально или на Polyspace доступ |
polyspace-results-export | (DOS/UNIX) Polyspace Экспорта заканчивается к внешним форматам, таким как CSV или JSON |
Запустите анализ Polyspace из командной строки
Проверяйте код C/C++ с Программой автоматического доказательства Средства поиска или Кода Ошибки с помощью пакетных файлов (.bat) или сценарии оболочки (.sh)
Сконфигурируйте аналитические опции Polyspace в пользовательском интерфейсе и сгенерируйте скрипты
Сгенерируйте скрипты для автоматизированных запусков из проектов, сконфигурированных в пользовательском интерфейсе десктопных решений Polyspace.