Модель, Тестирующая Инструментальную панель: Отследите полноту основанного на требованиях тестирования на податливость к стандартам, таким как ISO 26262
Оцените состояние и качество вашего основанного на требованиях тестирования при помощи метрических данных в новой Модели, Тестирующей Инструментальную панель. Метрики в инструментальной панели измеряют различные аспекты модели, тестирующей полноту и качество на основе признанных промышленностью стандартов, таких как ISO 26262 и DO-178. Используйте инструментальную панель, чтобы просмотреть:
Сводные данные для требований, тестов и трассируемости между требованиями и тестами
Состояние и результаты последних тестовых прогонов
Измерения покрытия модели достигаются тестами и выравниваниями
Список артефактов в проекте, организованном связанными моделями
Виджеты инструментальной панели показывают сводные данные тестирующих метрических данных для одного компонента. Чтобы исследовать данные более подробно, кликните по отдельному виджету. Таблица приводит артефакты в компоненте и их результатах для метрики. Таблица обеспечивает гиперссылки, чтобы открыть каждый артефакт так, чтобы можно было посмотреть детали об артефакте и адресе, тестирующем проблемы качества. Для получения дополнительной информации об использовании Модели, Тестирующей Инструментальную панель, смотрите, Исследуют Состояние и Качество Тестирования Действий Используя Модель, Тестирующую Инструментальную панель.
В R2020b можно также собрать метрики программно при помощи нового метрического API. Чтобы собрать метрики для проекта, используйте эти новые объекты и функции.
| Объект | Описание |
|---|---|
metric.Engine | Соберите тестирующие метрические данные для проекта |
metric.Result | Доступ к результатам для метрики тестирования |
| Функция | Описание |
|---|---|
execute | Соберите тестирующие метрические данные для метрического механизма |
getMetrics | Возвратитесь метрика тестирования следует из метрического механизма |
openArtifact | Откройте артефакт что метрический результат ссылки |
getArtifactErrors | Просмотрите ошибки, которые произошли во время анализа артефакта |
Просмотр метрических данных о результатах и деталей в инструментальной панели требует Simulink® Лицензия Check™. Чтобы собрать результаты для метрики, необходимо было потребовать, чтобы лицензии отредактировали связанные артефакты, такие как Simulink Requirements™, Simulink Test™ или Simulink Coverage™. Для получения дополнительной информации о метриках и необходимых лицензиях, см., что Модель Тестирует Метрики.
Более быстрое вычисление метрических проверок Model Advisor
В R2020b Model Advisor собирает и анализирует данные для Метрических проверок Модели быстрее, чем в R2020a.
Ранее Subsystem depth metric проверяет возвращенные результаты и на Subsystem Depth и на Subsystem Level для компонента. В R2020b метрика упрощена, чтобы возвратить только результат Subsystem Depth. Результатом является глубина компонента относительно верхнего уровня иерархии, которая является аналитическим корнем. Для получения дополнительной информации смотрите метрику глубины Подсистемы.
Кроме того, проверка Cyclomatic complexity metric больше не показывает агрегированные результаты для компонента и его потомков. Вместо этого метрика показывает только локальные результаты для компонента. Для получения дополнительной информации смотрите Цикломатическую метрику сложности.
Ранее проверка Subsystem depth metric возвращала эти результаты для компонентов в иерархии:
Value — Максимальная глубина всех иерархических дочерних элементов компонента. В Model Advisor этот результат был помечен Subsystem Depth.
Measure — Глубина компонента относительно верхнего уровня иерархии (аналитический корень). В Model Advisor этот результат был помечен Subsystem Level.
В R2020b метрика больше не возвращает максимальную глубину иерархических дочерних элементов компонента, который был ранее возвращен в Value. Вместо этого Value результатом является глубина компонента относительно верхнего уровня иерархии. Эти данные были ранее возвращены как Measure результат. Метрика больше не возвращает результат меры.
Отладьте встречные примеры от результатов Поиска ошибок проектирования в Ноже Модели использования Simulink Design Verifier
Можно теперь использовать Нож Модели наряду с Simulink Design Verifier™, чтобы отладить нарушения Поиска ошибок проектирования. Следующее является поддерживаемыми ошибками проектирования:
Деление на нуль
Целочисленное переполнение
Non-Finate и NaN (Не Номер) значения с плавающей точкой
Заданные нарушения минимального и максимального значения
Нарушения прав доступа datastore
Заданные нарушения входного диапазона блока
Для получения дополнительной информации смотрите, что Поиск ошибок проектирования Целочисленного переполнения Отладки использует Нож Модели (Simulink Design Verifier).
Обновления проверок JMAAB
Эта таблица приводит проверки JMAAB, которые могут теперь быть осуществлены путем выбора Guideline Sub-IDs.
| Проверка Model Advisor | Проверяйте ID |
|---|---|
| Проверяйте применимые символы на имена сигнала и соедините шиной имена | mathworks.jmaab.jc_ 0222 |
| Проверяйте применимые символы на названия параметра | mathworks.jmaab.jc_ 0232 |
| Проверяйте использование Интерполяционных таблиц | mathworks.jmaab.jc_ 0626 |
| Проверяйте использование блока Discrete-Time Integrator | mathworks.jmaab.jc_ 0627 |
| Проверяйте применимые символы на имена данных Stateflow | mathworks.jmaab.jc_ 0795 |
| Проверяйте на несвязанные сигнальные линии и блоки | mathworks.jmaab.db_ 0081 |
| Проверяйте переходы в Блок-схемы Stateflow | mathworks.jmaab.db_ 0132 |
| Проверяйте на распространенные метки сигнала | mathworks.jmaab.jc_ 0009 |
В следующей таблице перечислены проверки JMAAB, которые являются теперь разовые редактированием совместимый.
| Проверка Model Advisor | Проверяйте ID |
|---|---|
| Проверяйте использование параллельных состояний | mathworks.jmaab.jc_ 0721 |
| Проверяйте использование переходов к внешним состояниям | mathworks.jmaab.jc_ 0723 |
| Проверяйте начальную точку внутреннего перехода в Stateflow | mathworks.jmaab.jc_ 0760 |
| Проверяйте запрещенную комбинацию состояния активности и блок-схемы | mathworks.jmaab.jc_ 0762 |
| Проверяйте язык действия диаграммы Stateflow | mathworks.jmaabjc_0790 |
| Проверяйте на состояние в машине состояний | mathworks.jmaab.db_ 0137 |
| Проверяйте на выражения MATLAB в диаграммах Stateflow | mathworks.jmaab.db_ 0127 |
| Проверяйте переходы в Блок-схемы Stateflow | mathworks.jmaab.db_ 0132 |
| Проверяйте форматирование записи в блоки состояния в диаграммах Stateflow | mathworks.jmaab.jc_ 0501 |
Для получения дополнительной информации смотрите Проверки Модели на MAB и Податливость JMAAB.
Непройденный тест, отлаживающий использующий Нож Модели
Можно теперь использовать Нож Модели в менеджере по Тесту, чтобы отладить не пройдено сигнал в базовом непройденном тесте. Когда вы симулируете модель в режиме отладки, компоненты модели, которые влияют на не пройдено сигнал, подсвечены для каждого временного шага. Можно переместиться между областями отказа, чтобы отладить причину базовых различий. Чтобы использовать эту функцию, у вас должна быть лицензия Simulink Check.
Для получения дополнительной информации смотрите Отладку Базовых Непройденных тестов Используя Нож Модели (Simulink Test).
Улучшения редактора исключения Model Advisor
Редактор Исключения Model Advisor теперь обновляется, чтобы быть настраиваемым редактором со следующими улучшениями:
Проследите объект модели из редактора исключения.
Отредактируйте исключения из редактора исключения представление.
Выберите несколько проверок вместе, чтобы выполнить действия группы через окно Селектора Проверки.
Отобразите детали регистраций столбцов изменяемого размера.
Отобразите заголовки Проверки и группы Проверки.
Проверяйте Селектор с группирующимся механизмом (древовидная иерархия).
Сортировка механизма для Редактора Исключения столбцы.
Улучшения, чтобы Сохранить и Искать механизм.
Параметр поиска в окне Селектора проверки.
Для получения дополнительной информации смотрите, Исключают Блоки Из Контрольного анализа Model Advisor.
Model Advisor проверяет на проверку податливости с инструкциями по Моделированию систем повышенной надежности
Эта таблица идентифицирует новые проверки Model Advisor, которые проверяют податливость с инструкциями по Моделированию систем повышенной надежности. Выполнение этих проверок инициировало обширный анализ с помощью Simulink Design Verifier.
| Проверка Model Advisor | Проверяйте ID |
|---|---|
| Проверяйте использование блоков Sqrt | mathworks.hism.hisl_ 0003 |
| Проверяйте использование Взаимных блоков Sqrt | mathworks.hism.hisl_ 0028 |
Проверяйте использование блоков Математической функции (rem и взаимные функции) | mathworks.sldv.hism.hisl_ 0002 |
| Проверяйте использование блоков Математической функции (журнал и функции log10) | mathworks.sldv.hism.hisl_ 0004 |
В R2020b, из-за вопросов совместимости, следующие проверки удалены из Model Advisor:
| Проверка Model Advisor | Проверяйте ID |
|---|---|
Проверяйте использование блоков Математической функции (rem и взаимные функции) | mathworks.hism.hisl_ 0002 |
Проверяйте использование блоков Математической функции (журнал и функции log10) | mathworks.hism.hisl_ 0004 |
Model Advisor проверяет на ISO 25119 и EN 50 657 стандартов
Новая группа проверки была добавлена к Model Advisor. Можно использовать эти проверки, чтобы проверить податливость со стандартами ISO 25119. Чтобы выполниться они проверяют, открывают Model Advisor и нажимают:
By Product> Simulink Check> Modeling Standards> IEC 61508, IEC 62304, ISO 26262, ISO 25119, EN 50128, and EN 50657 Checks
By Task> Modeling Standards for ISO 25119
Можно использовать проверки EN 50128, чтобы проверить податливость с EN 50657:2017 стандарты. Чтобы отразить это изменение, эти папки Model Advisor были обновлены:
By Product> Simulink Check> Modeling Standards> IEC 61508, IEC 62304, ISO 26262, ISO 25119, EN 50128, and EN 50657 Checks
By Task> Modeling Standards for ISO 50128/EN 50657
Для получения дополнительной информации о проверках, смотрите IEC 61508, IEC 62304, ISO 26262, ISO 25119 и EN 50128/EN 50 657 Проверок.
Осуществите рефакторинг модели, заменив точные клоны на блоки Ссылки Подсистемы
В R2020a вы могли осуществить рефакторинг модель, заменив подобные и точные клоны на ссылки библиотеки. В R2020b, в дополнение к ссылкам библиотеки, можно заменить точные клоны на блоки Ссылки Подсистемы.
Чтобы включить рефакторинг модели, откройте модель и выберите Configure Match Settings > Replace Exact Clones with Subsystem References под Settings выпадающее меню.
Для получения дополнительной информации смотрите Замену Точные Клоны со Ссылкой Подсистемы.
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.