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