При разработке модели, на основе которой предполагается создать код, который будет проверен с помощью Simulink ® Code Inspector™, можно пошагово и итеративно проверять модель на совместимость с правилами Simulink Code Inspector. Проверка совместимости моделей может значительно сократить время, необходимое для достижения удовлетворительных результатов проверки кода, за счет выявления проблем на ранних этапах процесса разработки модели. Проверки совместимости также способствуют использованию моделей, блоков и кодеров, которые, как правило, соответствуют требованиям приложений с высокой целостностью, например, поддерживают высокую степень прослеживаемости.
Во время проверки совместимости модели программа проверяет параметры конфигурации модели и блока, которые помогают создать в памяти представление модели, совместимое с правилами Simulink Code Inspector. Можно задать параметры конфигурации модели и блока различными способами и создать совместимое представление в памяти. Проверка совместимости позволяет найти подмножество этих способов. Хотя модель может не пройти проверку совместимости и пройти проверку, прохождение проверки совместимости увеличивает вероятность удовлетворительной проверки кода.
При проверке совместимости выполняется поиск условий, нарушающих ограничения Simulink Code Inspector на параметры конфигурации модели, другие атрибуты модели и использование блоков. К элементам, на которые влияют ограничения Simulink Code Inspector, относятся:
Параметры модели для
Использование решателя
Импорт/экспорт данных
Оптимизация
Диагностика
Внедрение аппаратных средств
Ссылка на модель
Создание кода
Атрибуты для всей модели
Неприсоединенные объекты
Функциональные характеристики
Аргументы модели
Неподдерживаемые блоки
Настраиваемые переменные рабочей области
Время выборки
Глобальные хранилища данных
Контрольно-измерительные приборы с фиксированной точкой
Использование корневого исходящего порта
Использование шины
Использование блоков
Типы данных и порты
Параметры блока
Использование объектов Stateflow ®
Чарты
Данные и события
Соединения
Государства
Переходы
Подробное описание ограничений Simulink Code Inspector и соответствующих проверок совместимости модели см. в:
Чтобы инициировать проверку совместимости модели, можно выполнить одно из следующих действий.
В окне модели на вкладке Приложения выберите Инспектор кода. Используйте диалоговое окно «Инспектор кода Simulink» для управления проверкой совместимости модели. Дополнительные сведения см. в разделе Проверка совместимости модели с помощью интерфейса пользователя.
Используйте slci.Configuration интерфейс для программного управления проверкой совместимости модели. Дополнительные сведения см. в разделе Проверка совместимости модели с помощью интерфейса командной строки.
Используйте slciadvisor интерфейс для открытия сеанса SLCI Advisor (эквивалентный предварительно загруженному модулю Model Advisor с проверками Simulink Code Inspector) для открытой модели. Эта функция обеспечивает прямой доступ к проверке совместимости модели SLCI, что может упростить итеративную проверку модели.
Используйте проверку времени редактирования для выявления проблем совместимости на ранних этапах процесса конструирования модели. Дополнительные сведения см. в разделе Проверка совместимости модели при редактировании.
Если модель может использоваться в качестве ссылочной модели, в окне SLCI Advisor выберите Параметры > Обработать как ссылочную модель. Компиляция ссылочных моделей отличается от компиляции ссылочных моделей. Проверки совместимости предоставляют рекомендации по установке на основе различных методов компиляции.
Проверка совместимости модели создает подробный отчет HTML для каждой проверенной модели. При проверке моделей в иерархии ссылок на модели программное обеспечение сообщает о состоянии сводки в командной строке MATLAB ® и отображает сводный отчет HTML. Можно щелкнуть ссылки в сводном отчете HTML, чтобы просмотреть подробный отчет Model Advisor для каждой проверенной модели и ссылочной модели. Если выбрана только одна модель, подробные результаты модели отображаются непосредственно в диалоговом окне Помощник по модели (Model Advisor).
Инспектор кода Simulink не запускает пользовательские проверки Model Advisor, добавляемые к проверкам совместимости.
В подробных результатах объясняется результат каждой проверки, и если нужно исправить модель, предоставляются рекомендуемые действия. Доступные проверки совместимости модели перечислены в порядке отчета и описаны в ссылке Simulink Code Inspector Checks.