Верификация

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

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

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

Объекты

расширить все

rtw.connectivity.ComponentArgsПредоставьте параметры для каждого целевого компонента связи
rtw.connectivity.ConfigЗадайте реализацию связности, которая содержит компоненты Builder, Launcher и Communicator
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 и Тестирование с процессором в контуре обратной связи

Верификация кода через программное обеспечение в цикле и выполнение процессора в цикле

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

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

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

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

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

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

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

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

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

Создайте строение подключения целевого PIL для MATLAB

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

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

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

Указание аппаратного таймера

Укажите таймер оборудования с помощью Инструмента Кода Replacement.

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

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

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

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

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

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

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

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

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

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

Верификация допущений генерации кода

Выполнение PIL проверяет настройки вкладки Hardware.

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

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

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

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

Отслеживание кода

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

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

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

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

Полиспейс- Верификация

Проверка Polyspace кода C/C + +, сгенерированного MATLAB Coder

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

Генерация отчетов

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

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

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

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

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