Верификация

Покажите числовую эквивалентность между MATLAB® код и сгенерированный код

Используйте программное обеспечение в цикле (SIL) и процессор в цикле (PIL) выполнение, чтобы проверять числовое поведение кода, который вы генерируете от функций MATLAB. Программное обеспечение в цикле (SIL) выполнение компилирует сгенерированный исходный код и выполняет код как отдельный процесс на вашем компьютере разработчика. Выполнение PIL, которое требует целевой настройки возможности соединения, кросс-компилирует сгенерированный исходный код, и затем загружает и запускает объектный код на вашем целевом компьютере. Можно проверить числовое поведение путем сравнения результатов SIL или выполнения PIL против результатов исходных функций MATLAB.

Можно сгенерировать прослеживаемый код, который помогает вам проверять отсутствие непредусмотренной функциональности, изучить, как сгенерированный код реализует ваш алгоритм, и оцените качество сгенерированного кода.

Объекты

развернуть все

rtw.connectivity.ComponentArgsОбеспечьте параметры для каждого целевого компонента возможности соединения
rtw.connectivity.ConfigЗадайте реализацию возможности соединения, которая включает разработчика, средство запуска и компоненты коммуникатора
rtw.connectivity.ConfigRegistryУкажите настройку возможности соединения
rtw.connectivity.LauncherУправляйте загрузкой, запуском и сбросом целевого приложения
rtw.connectivity.MakefileBuilderСконфигурируйте основанный на наборе инструментальных средств процесс сборки
rtw.connectivity.RtIOStreamHostCommunicatorСконфигурируйте связи компьютера разработчика с целевым процессором
rtw.pil.RtIOStreamApplicationFrameworkСконфигурируйте коммуникации целевой стороны
coder.EmbeddedCodeConfigПараметры конфигурации для генерации кода C/C++ из кода MATLAB с Embedded Coder

Функции

развернуть все

coder.hardwareСоздайте аппаратный объект конфигурации платы для генерации кода C/C++ из кода MATLAB
rtIOStreamCloseЗакройте коммуникационный канал
rtIOStreamOpenИнициализируйте коммуникационный канал
rtIOStreamRecvПолучите данные через канал связи
rtIOStreamSendОтправьте данные через канал связи
rtiostreamtestПротестируйте пользовательский rtiostream интерфейсная реализация
rtiostream_wrapperПротестируйте rtiostream разделяемые библиотечные функции в MATLAB
piltestПроверьте пользовательскую целевую настройку возможности соединения для MATLAB выполнение PIL

Темы

SIL и тестирование с процессором в контуре обратной связи

Программное обеспечение Code Verification Through в цикле и процессор в выполнении цикла

Рабочий процесс, который использует SIL и выполнение PIL, чтобы проверить числовое поведение сгенерированного кода MATLAB.

Программное обеспечение в выполнении цикла с приложением MATLAB Coder

Используйте приложение MATLAB Coder, чтобы проверить числовое поведение сгенерированного кода C/C++.

Программное обеспечение в выполнении цикла из командной строки

Используйте команды MATLAB, чтобы проверить числовое поведение сгенерированного кода C/C++.

Программное обеспечение в выполнении цикла для функции MATLAB с несколькими подписями

Сгенерируйте файл MEX SIL для нескольких подписей.

Отладьте сгенерированный код во время выполнения SIL

Используйте отладчик, чтобы изучить поведение сгенерированного кода.

Создайте целевую настройку возможности соединения PIL для MATLAB

Настройте выполнение PIL для своего целевого окружения.

Целевая хостом коммуникация для MATLAB выполнение PIL

Используйте rtiostream API для связи между вашим компьютером разработчика и целью во время выполнения PIL.

Задайте аппаратный таймер

Задайте аппаратный таймер с помощью Заменяющего Инструмента Кода.

Пользовательские директивы набора инструментальных средств, необходимые для профилирования выполнения кода

Задайте директивы компилятора для создания приложения PIL, которое поддерживает профилирование выполнения кода.

Процессор в выполнении цикла с приложением MATLAB Coder

Используйте приложение MATLAB Coder, чтобы проверить числовое поведение кросс-скомпилированного объектного кода.

Процессор в выполнении цикла из командной строки

Используйте команды MATLAB, чтобы проверить числовое поведение кросс-скомпилированного объектного кода.

Выполнение PIL с ARM Cortex-A в командной строке

В этом примере показано, как настроить выполнение PIL, чтобы проверить сгенерированный код в командной строке.

Выполнение PIL с ARM Cortex-A при помощи приложения MATLAB Coder

Выполнение PIL с приложением.

Верификация предположений генерации кода

Выполнение PIL проверяет Аппаратные установки позиций табуляции.

Ускорьте Выполнение SIL/PIL путем Отключения Постоянной Входной Синхронизации Проверки и Глобальных данных

Сконфигурируйте параметры генерации кода, чтобы выключить постоянную входную проверку или синхронизацию глобальных данных для SIL или выполнение PIL.

Поддержка Выполнения SIL/PIL и Ограничения

SIL и выполнение PIL поддерживают для функций генерации кода.

Трассировка кода

В интерактивном режиме проследите между кодом MATLAB и сгенерированным кодом C/C++

Визуализируйте отображение между кодом MATLAB и сгенерированным кодом C/C++.

Включайте комментарии в сгенерированный код C/C++

Включайте исходный код MATLAB как комментарии в сгенерированном коде. Включайте функциональный текст справки и функциональную подпись в функциональном баннере.

Верификация Polyspace

Верификация Polyspace Кода C/C++, Сгенерированного MATLAB Coder

Проверяйте на ошибки времени выполнения или дефекты в сгенерированном коде C/C++.

Сообщите о генерации

Подсветите потенциальные проблемы типа данных в отчете

Подсветите код MATLAB, который приводит к или дорогим операциям фиксированной точки с одинарной точностью, с двойной точностью.

Найдите потенциальные проблемы типа данных в сгенерированном коде

Подсветите потенциальные проблемы типа данных в отчете.

Рекомендуемые примеры