Анализ 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 рукописного кода со свойствами объектов опций

Функции

polyspacesetupИнтегрируйте установку Polyspace с Simulink
polyspacerootПолучите папку установки Polyspace
polyspaceBugFinderЗапустите анализ Polyspace Bug Finder из 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

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