Можно проверять код со Средством поиска Ошибки как часть тестирования постпредставления. Настройте скрипты, которые запускают анализ Средства поиска Ошибки равномерно или на основе новых представлений. Скрипты могут загрузить результаты анализа для анализа в веб-интерфейсе Polyspace® Access и послать электронные письма владельцам исходных файлов с результатами Polyspace.
polyspace-access | (DOS/UNIX) Управляет загрузкой, или экспорт Polyspace следует из Polyspace доступ к веб-интерфейсу |
polyspace-bug-finder-server | (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 Bug Finder на сервере и загрузите результаты на веб-интерфейс
Контрольный код после представления для дефектов и кодирования стандартных нарушений и загрузки приводит для анализа к веб-интерфейсу.
Подготовьте скрипты к анализу Polyspace
Объедините специфичные для проекта опции, такие как источники с допускающими повторное использование опциями, такими как средства проверки.
Отправьте уведомления по электронной почте результатами Polyspace Bug Finder
Пошлите электронные письма разработчикам с прикреплениями, содержащими ссылки на результаты Polyspace.
Интегрируйте серверные продукты Polyspace с MATLAB и Simulink
Запустите шаг постустановки, чтобы соединить ваш Polyspace и MATLAB® (Simulink®) установки.
Разгрузите анализ Polyspace с непрерывного сервера интеграции на другой сервер
Отправьте анализ в выделенный сервер, загрузите результаты после анализа и затем загрузите на Polyspace доступ для анализа.
Создайте аналитическую настройку Polyspace из команды сборки
Команды сборки повторного использования (make-файлы), чтобы сконфигурировать анализ Polyspace.
Запустите анализ Polyspace сгенерированного кода при помощи упакованных файлов опций
Сгенерируйте файлы опций Polyspace из модели Simulink и используйте эти файлы опций, чтобы анализировать сгенерированный код при помощи Polyspace.
