Предположения генерации контрольного кода

Генератор кода реализует предположения, которые зависят, например, на настройках аппаратной реализации для вашей модели. Важно проверять, что предположения допустимы для вашего целевого компьютера. Используйте buildStandaloneCoderAssumptions функция, чтобы создать приложение, которое выполняет проверки предположения на вашем целевом компьютере.

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

С GenerateReport установите на 'on', создайте (Ctrl+B) свою модель.
Чтобы просмотреть список предположений генератора кода, что можно проверять, откройте отчет генерации кода и щелкните по ссылке Coder Assumptions.
Для получения дополнительной информации см. Список Предположений Кодера.
Запустите buildStandaloneCoderAssumptions, который использует сгенерированный код в папке сборки, чтобы создать приложение, которое осуществляет проверки предположения генерации кода.
Загрузите приложение на целевой компьютер или целевое окружение, и затем запустите приложение.
В то время как выполнение приложения, используйте отладчик, чтобы просмотреть результаты проверки, которые находятся в структуре данных.

Предположения генератора контрольного кода для компьютера разработчика

Если целевой компьютер является, например, вашим компьютером Windows^®development, можно использовать Microsoft^® Visual Studio^®, чтобы запустить и отладить приложение:

Чтобы открыть модель, в Командном окне, вводят rtwdemo_sil_topmodel.
В диалоговом окне Model Configuration Parameters, в панели Hardware Implementation, задают настройки, чтобы совпадать с целевым компьютером. Например, для 64-битного компьютера Windows задают эти установки параметров:
- Device vendor – Intel
- Device type – x86-64 (Windows 64)
Параметр конфигурации модели Clear Enable portable word sizes.
Создайте модель (Ctrl+B).
Чтобы просмотреть список предположений генератора кода, откройте отчет генерации кода и щелкните по ссылке Coder Assumptions.
Из Командного окна, в рабочей папке, запуске:
```
buildStandaloneCoderAssumptions('rtwdemo_sil_topmodel_ert_rtw')
```
В папке сборки функция создает coderassumptions\standalone подпапка, которая содержит целевое приложение, rtwdemo_sil_topmodel_ca.
Открытый Microsoft Visual Studio и выбирает File> Open> Project/Solution
Используя диалоговое окно Open Project, перейдите к coderassumptions\standalone подпапка и выбирает rtwdemo_sil_topmodel_ca. Затем нажмите Open.
Выберите File> Open> File. Используя диалоговое окно Open File, выберите coderassumptions\standalone\rtwdemo_sil_topmodel_ca.c
В return оператор, вставьте точку останова.
Выберите Debug> Start Debugging.
Чтобы проверить предположения генератора кода, используйте окно Watch, чтобы смотреть Results структура данных:
1. В rtwdemo_sil_topmodel_ca.c код, щелкните правой кнопкой по Results.
2. Из контекстного меню выберите Add Watch.

Переменные в структуре данных содержат:

Проверяйте результаты (TestResults)
Истины целевого компьютера (ActualValues)
Предположения генератора кода (ExpectedValues)

Например, если предположение генератора кода для bitsPerChar точно, вы видите CA_PASS значение в status переменная.

Список предположений кодера

Раздел содержимого отчета генерации кода имеет ссылку на страницу Coder Assumptions. Страница предоставляет список:

Предположения генерации кода, что можно проверять
Ожидаемые результаты для проверок предположения

Эта таблица описывает метки, которые вы видите в списке.

Категория	Метка	Предположение можно проверять
Настройка Языка C/C++ для Целевого компьютера или Компьютера разработчика	`BitPerChar`	Количество битов на `char` (`ProdBitPerChar`)
	`BitPerShort`	Количество битов на `short` (`ProdBitPerShort`)
	`BitPerInt`	Количество битов на `int` (`ProdBitPerInt`)
	`BitPerLong`	Количество битов на `long` (`ProdBitPerLong`)
	`BitPerFloat`	Размер `float` (Только если `PurelyIntegerCode` `'off'`)
	`BitPerDouble`	Размер `double` (Только если `PurelyIntegerCode` `‘off’`)
	`BitPerPointer`	Количество битов на `pointer` (`ProdBitPerPointer`)
	`BitPerSizeT`	Количество битов на `size_t` (`ProdBitPerSizeT`)
	`BitPerPtrDiffT`	Количество битов на `ptrdiff_t` (`ProdBitPerPtrDiffT`)
	`Endianess`	Порядок байтов (`ProdEndianess`)
	`Shift right for signed integer is arithmetic shift`	Поведение знакового бита (`ProdShiftRightIntArith`)
	`Signed integer division rounds to`	Округление поведения для целочисленного деления (`ProdIntDivRoundTo`)
Стандарт Языка C/C++	`Initial value of a global integer variable is zero`	Нулевая инициализация памяти (`ZeroExternalMemoryAtStartup` и `ZeroInternalMemoryAtStartup`)
Числа с плавающей запятой	`Flush-to-zero computed subnormal values (FTZ)`	Обработка номера поднормали сброса к нулю
Числа с плавающей запятой	`Flush-to-zero incoming subnormal values (DAZ)`	Обработка номера поднормали Denormals-are-zero

Смотрите также

buildStandaloneCoderAssumptions

Документация