.bat) или сценарии оболочки (.sh)polyspace-code-prover | (DOS/UNIX) Выполнение верификация Программы автоматического доказательства Кода от DOS или командной строки UNIX |
polyspace-comments-import | (DOS/UNIX) информация об анализе Импорта от предыдущего анализа Polyspace |
polyspace-configure | (DOS/UNIX) Создает проект Polyspace из вашей системы сборки в командной строке UNIX или DOS |
polyspace-report-generator | (DOS/UNIX) Генерирует отчеты для результатов анализа Polyspace, сохраненных локально или на Polyspace Acces |
Запустите анализ Polyspace из командной строки
Проверяйте код C/C++ с Программой автоматического доказательства Средства поиска или Кода Ошибки с помощью пакетных файлов (.bat) или сценарии оболочки (.sh)
Сконфигурируйте аналитические опции Polyspace в пользовательском интерфейсе и сгенерируйте скрипты
Сгенерируйте скрипты для автоматизированных выполнений из проектов, сконфигурированных в пользовательском интерфейсе десктопных решений Polyspace®.