R2020b

Новые возможности, исправления ошибок, Вопросы совместимости

Модель, Тестирующая Инструментальную панель: Отследите полноту основанного на требованиях тестирования на податливость к стандартам, таким как 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.

В следующей таблице перечислены проверки JMAAB, которые являются теперь разовые редактированием совместимый.

Для получения дополнительной информации смотрите Проверки Модели на MAB и Податливость JMAAB.

Непройденный тест, отлаживающий использующий Нож Модели

Можно теперь использовать Нож Модели в менеджере по Тесту, чтобы отладить не пройдено сигнал в базовом непройденном тесте. Когда вы симулируете модель в режиме отладки, компоненты модели, которые влияют на не пройдено сигнал, подсвечены для каждого временного шага. Можно переместиться между областями отказа, чтобы отладить причину базовых различий. Чтобы использовать эту функцию, у вас должна быть лицензия Simulink Check.

Для получения дополнительной информации смотрите Отладку Базовых Непройденных тестов Используя Нож Модели (Simulink Test).

Улучшения редактора исключения Model Advisor

Редактор Исключения Model Advisor теперь обновляется, чтобы быть настраиваемым редактором со следующими улучшениями:

  • Проследите объект модели из редактора исключения.

  • Отредактируйте исключения из редактора исключения представление.

  • Выберите несколько проверок вместе, чтобы выполнить действия группы через окно Селектора Проверки.

  • Отобразите детали регистраций столбцов изменяемого размера.

  • Отобразите заголовки Проверки и группы Проверки.

  • Проверяйте Селектор с группирующимся механизмом (древовидная иерархия).

  • Сортировка механизма для Редактора Исключения столбцы.

  • Улучшения, чтобы Сохранить и Искать механизм.

  • Параметр поиска в окне Селектора проверки.

Для получения дополнительной информации смотрите, Исключают Блоки Из Контрольного анализа Model Advisor.

Model Advisor проверяет на проверку податливости с инструкциями по Моделированию систем повышенной надежности

Эта таблица идентифицирует новые проверки Model Advisor, которые проверяют податливость с инструкциями по Моделированию систем повышенной надежности. Выполнение этих проверок инициировало обширный анализ с помощью Simulink Design Verifier.

В 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 выпадающее меню.

Для получения дополнительной информации смотрите Замену Точные Клоны со Ссылкой Подсистемы.