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