Exponenta Banner

Настройте анализ Code Prover серверов во время непрерывного интегрирования

Проверяйте код C/C++ на дефекты в Polyspace® пользовательский интерфейс или скрипты использования

Можно проверять код с Code Prover как часть тестирования постпредставления. Настройте скрипты, которые запускают анализ Code Prover равномерно или на основе новых представлений. Скрипты могут загрузить результаты анализа для анализа в Polyspace доступ к веб-интерфейсу и послать электронные письма владельцам исходных файлов с результатами Polyspace.

Команды DOS/UNIX

polyspace-access(DOS/UNIX) Управляет загрузкой, или экспорт Polyspace следует из Polyspace доступ к веб-интерфейсу
polyspace-autosar(DOS/UNIX) Polyspace Code Prover Запуска на реализации кода компонентов программного обеспечения AUTOSAR
polyspace-code-prover-server(DOS/UNIX) Запуск верификация Code Prover на сервере от Windows, Linux или другой командной строки
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

MATLAB API

развернуть все

polyspacerootПолучите папку установки Polyspace
polyspaceCodeProverServerЗапустите верификацию Polyspace Code Prover из MATLAB
polyspaceConfigureСоздайте проект Polyspace из своей системы сборки в командной строке MATLAB
polyspaceAutosarЗапустите Polyspace Code Prover на реализации кода компонентов программного обеспечения AUTOSAR с помощью скриптов MATLAB
polyspace_reportСгенерируйте отчеты от результатов анализа Polyspace
polyspacePackNGoСгенерируйте и упакуйте файлы опций, чтобы запустить анализ Polyspace кода, сгенерированного из модели Simulink
polyspacesetupИнтегрируйте установку Polyspace с Simulink
polyspace.Project Запустите анализ Polyspace C и Кода С++ и считайте результаты
polyspace.GenericTargetOptionsСоздайте типовую целевую настройку
polyspace.CodingRulesOptionsСоздайте пользовательский список кодирования правил проверять
polyspace.CodeProverResultsЧитайте Polyspace Code Prover следует из MATLAB
polyspace.Project.Configuration PropertiesНастройте анализ Polyspace рукописного кода со свойствами объектов опций

Темы

Запустите Polyspace Code Prover на сервере и загрузите результаты на веб-интерфейс

Проверка кода после представления для ошибок времени выполнения и загрузки приводит для анализа к веб-интерфейсу.

Отправьте уведомления по электронной почте результатами Polyspace Code Prover Server

Пошлите электронные письма разработчикам с прикреплениями, содержащими ссылки на результаты Polyspace.

Создайте аналитическую настройку Polyspace из команды сборки (make-файл)

Команды сборки повторного использования (make-файлы), чтобы сконфигурировать анализ Polyspace.

Демонстрационные скрипты для анализа Polyspace с Дженкинсом

Получите преимущество при сценариях запусков Polyspace с демонстрационными скриптами для плагина Дженкинса.

Разгрузите анализ Polyspace с непрерывного сервера интеграции на другой сервер

Отправьте анализ в выделенный сервер, загрузите результаты после анализа и затем загрузите на Polyspace доступ для анализа.

Интегрируйте серверные продукты Polyspace с MATLAB

Запустите шаг постустановки, чтобы соединить ваш Polyspace и MATLAB® (Simulink®) установки.

Документация Polyspace Code Prover

Поддержка