polyspace.Project | Запустите анализ Polyspace на C и Код С++ и прочтите результаты |
polyspace.GenericTargetOptions | Создайте типовое целевое строение |
polyspace.CodingRulesOptions | Создайте пользовательский список правил кодирования для проверки |
polyspace.CodeProverResults | Чтение результатов Polyspace Code Prover из MATLAB |
| polyspace.Project.Configuration Properties | Настройте Polyspace рукописного кода со свойствами объекта опции |
polyspacesetup | Интеграция установки Polyspace с Simulink |
polyspaceroot | Получите папку установки Polyspace |
polyspaceCodeProver | Запустите верификацию Polyspace Code Prover из MATLAB |
polyspaceConfigure | Создайте проект Polyspace из системы сборки в командной строке MATLAB |
polyspace_report | Сгенерируйте отчеты из результатов анализа Polyspace |
Интеграция Polyspace с MATLAB и Simulink
Запустите шаг после установки, чтобы интегрировать Polyspace® с MATLAB и Simulink®.
Запуск с анализом Polyspace при помощи MATLAB
Руководство, показывающий, как анализировать рукописные коды C/C + + с помощью Polyspace из Командного окна MATLAB.
Запуск анализа Polyspace при помощи скриптов MATLAB
Проверьте код C/C + + с помощью Bug Finder или Code Prover с помощью M-файлов, запустите анализ локально на рабочем столе или удаленном сервере.
Сгенерируйте скрипты MATLAB из пользовательского интерфейса Polyspace
Создайте M-файлы для автоматических запусков из проекта, сконфигурированного в пользовательском интерфейсе Polyspace.
Визуализация результатов анализа Code Prover в MATLAB
Сгенерируйте графики из результатов анализа Polyspace.
Диагностируйте проблемы анализа Polyspace из MATLAB
Чтение журнала анализа ошибок и работа с ошибками.
