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++ с Программой автоматического доказательства Средства поиска или Кода Ошибки с помощью M-файлов, анализа запуска локально настольного или удаленного сервера.
Сгенерируйте Скрипты MATLAB от пользовательского интерфейса Polyspace
Создайте M-файлы для автоматизированных запусков из проекта, сконфигурированного в пользовательском интерфейсе Polyspace.
Визуализируйте результаты анализа программы автоматического доказательства кода в MATLAB
Сгенерируйте графики от результатов анализа Polyspace.
Диагностируйте анализ Polyspace из MATLAB
Считайте аналитический журнал для ошибок и работайте вокруг ошибок.
