Верификация
Используйте программное обеспечение в цикле (SIL) и процессор в цикле (PIL) выполнение, чтобы проверять числовое поведение кода, который вы генерируете от функций MATLAB. Программное обеспечение в цикле (SIL) выполнение компилирует сгенерированный исходный код и выполняет код как отдельный процесс на вашем компьютере разработчика. Выполнение PIL, которое требует целевой настройки возможности соединения, кросс-компилирует сгенерированный исходный код, и затем загружает и запускает объектный код на вашем целевом компьютере. Можно проверить числовое поведение путем сравнения результатов SIL или выполнения PIL против результатов исходных функций MATLAB.
Можно сгенерировать прослеживаемый код, который помогает вам проверять отсутствие непредусмотренной функциональности, изучить, как сгенерированный код реализует ваш алгоритм, и оцените качество сгенерированного кода.
Объекты
Функции
Темы
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 поддерживают для функций генерации кода.
Трассировка кода
В интерактивном режиме проследите между кодом MATLAB и сгенерированным кодом C/C++
Визуализируйте отображение между кодом MATLAB и сгенерированным кодом C/C++.
Включайте комментарии в сгенерированный код C/C++
Включайте исходный код MATLAB как комментарии в сгенерированном коде. Включайте функциональный текст справки и функциональную подпись в функциональном баннере.
Верификация Polyspace
Верификация Polyspace Кода C/C++, Сгенерированного MATLAB Coder
Проверяйте на ошибки времени выполнения или дефекты в сгенерированном коде C/C++.
Сообщите о генерации
Подсветите потенциальные проблемы типа данных в отчете
Подсветите код MATLAB, который приводит к или дорогим операциям фиксированной точки с одинарной точностью, с двойной точностью.
Найдите потенциальные проблемы типа данных в сгенерированном коде
Подсветите потенциальные проблемы типа данных в отчете.
