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