exponenta event banner

Проверка допущений создания кода

Параметры на вкладке «Дополнительные параметры» > «Оборудование» определяют целевое поведение, которое приводит к реализации неявных предположений в создаваемом коде. Неправильные настройки могут привести к:

  • Неоптимальный код

  • Сбой выполнения кода, неправильный вывод кода и недетерминированное поведение кода

В начале выполнения команды processor-in-the-loop (PIL) программное обеспечение проверяет настройки вкладки Hardware со ссылкой на оконечное оборудование. Программное обеспечение проверяет:

  • Правильность настроек. Например, длина целочисленного бита в поле Размеры > int.

  • Оптимизируются ли параметры. Например, округление целочисленного деления со знаком в поле Целочисленное деление со знаком округляется до поля.

При необходимости программа генерирует предупреждения и ошибки.

Связанные темы