Проверьте соответствие модели при помощи Model Advisor
Можно использовать Model Advisor, чтобы проверять модель или подсистему для соблюдения руководств по моделированию или стандартов. Model Advisor включает проверки, которые помогают вам задать и реализовать сопоставимое руководство по проектированию. Используя образцовые проверки, можно применить инструкции через проекты и группы разработчиков.
Можно использовать Model Advisor, чтобы проверять модель этими способами:
После того, как вы завершаете свой образцовый проект, осуществляете проверки Model Advisor в интерактивном режиме.
Сконфигурируйте Model Advisor, чтобы проверять на нарушения, в то время как вы редактируете.
Когда вы используете Model Advisor для систем контроля, эти ограничения применяются:
Если вы переименовываете систему, необходимо перезапустить Model Advisor, чтобы проверять ту систему.
В системах, которые содержат различную подсистему, Model Advisor проверяет только активную подсистему.
Model Advisor не анализирует прокомментированные блоки.
Проверки не ищут в блоках Model или блоках Subsystem с параметрами блоков, которые Read/Write установил на
NoReadorWrite. Однако на основе проверки проверкой, проверки Model Advisor действительно ищут в блоках библиотеки и замаскированных подсистемах.Если не задано в документации для проверки, Model Advisor, по умолчанию, не анализирует содержимое блока Model Reference. Чтобы осуществить проверки моделей, на которые ссылаются, используйте экземпляры класса
Advisor.Application.
Проверяйте свою модель в интерактивном режиме при помощи проверок Model Advisor
Можно использовать Model Advisor, чтобы проверять модель в интерактивном режиме по моделированию стандартов и инструкций. В окне модели выберите Analysis> Model Advisor> Model Advisor. Выберите модель или систему, которую вы хотите рассмотреть. Выберите проверки, что вы хотите работать на своей модели от папок By Product или By Task. Затем осуществите свои выбранные проверки. Model Advisor рассматривает вашу модель и, если выбрано, отображает отчет HTML ваших результатов.
В зависимости от которых продуктов вы установили, Model Advisor включает различные проверки.
| Для получения дополнительной информации | Смотрите |
|---|---|
| Проверение соответствия модели DO - 178C стандарт безопасности | Образцовые Проверки на DO-178C/DO-331 Стандартное Соответствие |
| Проверяя соответствие модели IEC 61508, IEC 62304, ISO 26262 или EN 50 182 стандарта безопасности | Образцовые проверки на IEC 61508, IEC 62304, ISO 26262 и соответствие стандарта EN 50128 |
| Проверение соответствия модели Консультативному совету MathWorks® Automotive (MAAB) инструкции | Образцовые проверки на соответствие инструкции MathWorks Automotive Advisory Board (MAAB) |
| Проверение соответствия модели стандарту MISRA C:2012 | Образцовые проверки на соответствие MISRA C:2012 |
| Проверяя соответствие модели CERT C, CWE и ISO/IEC TS 17961 безопасные стандарты кодирования | Образцовые Проверки на Безопасное Кодирование (CERT C, CWE и Стандарты ISO/IEC TS 17961) |
| Проверка ссылок требований | Образцовые проверки на ссылки требований |
| Проверка образцовых метрик | Соберите образцовые метрики Используя Model Advisor |
Проверяйте свою модель, в то время как вы редактируете при помощи разовой редактированием проверки
Можно идентифицировать проблемы соответствия руководства по моделированию ранее в образцовом процессе проектирования при помощи разовой редактированием проверки. При использовании разовой редактированием проверки Model Advisor оценивает модель против подмножества проверок Model Advisor. Подсвеченные блоки в окне редактора моделей предупреждают вас к проблемам в вашей модели.
Просмотрите и сконфигурируйте разовые редактированием проверки
Когда вы выбираете разовую редактированием проверку, Model Advisor оценивает модель против подмножества проверок Model Advisor. Просмотреть и сконфигурировать Model Advisor проверяют, что разовая редактированием проверка отмечает:
В окне модели выберите Analysis> Model Advisor> Configure Advisor Edit-Time Checks.
В Model Advisor Configuration Editor проверьте, что элемент
Edit-time Supported Checksвыбран из Show выпадающий список. Отфильтрованный список идентифицирует образцовые проверки советника, которые отмечаются.
Выберите или очистите проверки по мере необходимости. Выбранные проверки включены в разовый редактированием контрольный анализ. Можно использовать опции Input Parameters , чтобы настроить каждую проверку.
Если вы сделали обновления, чтобы проверять выбор или поведение, сохраните текущую настройку. Затем выберите File> Set Current Configuration as Default.
Примечание
Только настройка по умолчанию может изменить поведение разовых редактированием проверок.
Чтобы настроить поведение разовых редактированием проверок, сконфигурируйте обновления в отфильтрованном представлении разовых редактированием регистраций Model Advisor Configuration Editor. Если проверка появляется в нескольких папках вашего дерева Model Advisor для разовой редактированием проверки, Model Advisor присваивает приоритет регистрации вашей пользовательской папки. Если проверка не находится в вашей пользовательской папке, приоритет переходит к регистрации папки By Task, и наконец к регистрации вашей папки By Product.
Используйте разовую редактированием проверку, чтобы подсветить проблемы соответствия в редакторе моделей
При использовании разовой редактированием проверки Model Advisor подсвечивает блоки, которые нарушают проверки Model Advisor. Чтобы включить разовую редактированием проверку вашей модели, в окне модели, выбирают Analysis> Model Advisor> Display Advisor Checks in Editor.
Установите свой курсор на подсвеченный блок и кликните по ошибке или значку предупреждения.
Model Advisor идентифицирует проблемы соответствия в блоке, которые нарушают разовые редактированием проверки. Когда блок имеет несколько нарушений проверки, можно переместиться между разовыми редактированием нарушениями при помощи кнопок << и >>. Для каждой проблемы вы можете:
Рассмотрите причину.
Кликните по вопросительному знаку, чтобы получить доступ к подробной документации об отмеченной проверке Model Advisor.
Проигнорируйте предупреждение для блока и добавьте, что блок к списку исключений для этого проверяет нажатие кнопки Ignore.
Программное обеспечение является по сути комплексным и не может быть абсолютно свободным от ошибок. Проверки Model Advisor могут содержать ошибки. MathWorks сообщает об известных ошибках, к которым привлекают его внимание на его систему Отчета об ошибках по https://www.mathworks.com/support/bugreports/. Отчеты об ошибках являются неотъемлемой частью документации для каждого релиза. Исследуйте периодически все отчеты об ошибках на релиз как таковой, сообщает, может идентифицировать несоответствия между фактическим поведением релиза, который вы используете и поведение, описанное в этой документации.
В то время как применение проверок Model Advisor к вашей модели увеличит вероятность, что ваша модель не нарушает определенные стандарты моделирования или инструкции, в конечном счете ваша ответственность проверить, с помощью нескольких методов, разработанная система обеспечивает свою намеченную функциональность и не включает непредусмотренной функциональности.
В этом примере вы используете разовую редактированием проверку, чтобы проверить соответствие диаграмм Stateflow с инструкциями MAAB, в то время как вы редактируете:
Откройте свою модель, которая содержит диаграммы Stateflow. Например, в командной строке, откройте модель
sf_boiler.Чтобы включить разовую редактированием проверку, перейдите к Analysis> Model Advisor> Display Advisor Checks in Editor.
Откройте график Bang-Bang Controller путем двойного клика по нему. Model Advisor подсвечивает несколько состояний. Установите свой курсор на предупреждение состояния Off обнаружить проблему.
Выберите предупреждение. Model Advisor указывает, что должна быть новая строка после en:, чтобы выполнить инструкции MAAB. В вашей модели установите свой курсор после en: и нажмите Enter. Новая строка добавляется, и предупреждение очищено.