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