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