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