Simulink ® Code Inspector™ поддерживает поднабор языка и функций функционального блока MATLAB для проверки кода. Инспектор кода проверяет использование функционального блока MATLAB. Для поддерживаемых языка и функций могут применяться некоторые ограничения. Перед проверкой кода при проверке совместимости модели с правилами проверки кода средство проверки совместимости обнаруживает и сообщает о нарушениях ограничений функциональных блоков MATLAB. Simulink Code Inspector поддерживает следующие функции проверки кода:
| Функция функционального блока MATLAB | Что поддерживается |
|---|---|
| Тип данных |
|
| Измерение и сложность данных |
|
| Объем данных |
|
| Настройки функционального блока MATLAB |
|
| Операции MATLAB ® - скалярные |
|
| Операции MATLAB - векторная поддержка |
|
| Программные инструкции MATLAB |
|
| Встроенные функции MATLAB |
|
| Функции |
Примечание Инспектор кода Simulink поддерживает проверку |
| Сообщение | Прослеживаемость и проверка на уровне блоков |
| Искомые функции | Проверка искаженных имен функций, сгенерированных из выражения деления блока функции MATLAB. В отчете Simulink Code Inspector перечисляются эти функции, что позволяет вручную проверить тело функции. Проверьте тело функции вручную, чтобы убедиться, что оно соответствует вызову функции. |
| Проверка размера и типа | Инспектор кода Simulink получает информацию о размере и типе переменных в коде из данных моделирования блока. Для независимой проверки информации о типе и размере можно использовать Simulink Report Generator™ для создания отчета Описание конструкции системы (SDD) для модели. Проверьте отчет SDD для данных символов функциональных блоков MATLAB, таких как размер, сложность, положение и места вызова функций. |
Ограничения функциональных блоков MATLAB делят ограничения на следующие категории:
Ограничения для функционального блока MATLAB.
Ограничения на данные в функциях MATLAB.
Ограничения кода в функциях MATLAB.
Ограничения на сообщения анализатора кода MATLAB.
Таблица содержит ограничения, применимые к каждой категории.
Для каждой записи в таблице:
В столбце Ограничение (Constraint) перечислены ограничения инспектора кода Simulink для блока функции MATLAB, данных или кода.
Столбец FATAL/Nonfatal определяет, прекращает ли нарушение ограничения проверку кода.
При проверке кода, созданного из моделей с несовместимостью FATAL, проверка кода завершается. Код, созданный из моделей с несовместимостью FATAL, не может быть проверен.
При проверке кода, созданного из моделей с нефатальной несовместимостью, проверка кода не завершается. Хотя полностью проверить созданный код может оказаться невозможным, проверка кода продолжается. Инспектор кода Simulink может частично проверить созданный код. Можно настроить проверку кода так, чтобы нарушение нефатального ограничения завершало проверку кода.
В столбце Проверка совместимости (Compatibility Check) содержится список проверок совместимости, которые проверяют нарушение ограничения, и ссылки на описание проверки.