Exponenta Banner

Анализ Polyspace со Скриптами MATLAB

Проверяйте код C/C++ на дефекты с помощью M-файлов MATLAB®

Классы

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 с MATLAB и Simulink

Запустите шаг постустановки, чтобы соединить ваш Polyspace® и MATLAB (Simulink®) установки.

Запустите анализ Polyspace при помощи Скриптов MATLAB

Проверяйте код C/C++ с Программой автоматического доказательства Средства поиска или Кода Ошибки с помощью M-файлов, анализа выполнения локально настольного или удаленного сервера.

Сгенерируйте Скрипты MATLAB от пользовательского интерфейса Polyspace

Создайте M-файлы для автоматизированных выполнений из проекта, сконфигурированного в пользовательском интерфейсе Polyspace.

Визуализируйте результаты анализа средства поиска ошибки в MATLAB

Сгенерируйте графики от результатов анализа Polyspace.

Диагностируйте анализ Polyspace из MATLAB

Считайте аналитический журнал для ошибок и работайте вокруг ошибок.

Сопутствующая информация

Документация Polyspace Bug Finder
Поддержка