Оцените временную логику при помощи временных оценок

Гибридные системы с дискретным и непрерывным поведением времени могут потребовать, чтобы комплексный зависимый синхронизации сигнализировал о логике. Simulink® Test™ позволяет вам оценить синхронизацию модели и упорядоченное расположение события, создавая и включая временные оценки с тестами в менеджере по Тесту.

Работать с временными оценками:

  1. Выберите шаблон оценки.

  2. Введите условия оценки.

    • Сопоставьте символы с элементами модели, такими как сигналы, временные ряды, или постоянный.

    • Просмотрите сводные данные оценки.

  3. Запустите тест.

  4. Используйте результаты оценить систему под тестом (SUT) против ваших требований.

Например, рассмотрите принудительную задачу затухания колебания, которая имеет это требование:

Для S сигнала, если величина сигнала превышает значение P, затем в d секунды, это должно уладить ниже значения Q и останьтесь ниже Q для u секунды.

Создайте временную оценку

Создать временную оценку:

  1. Создайте или откройте тест в менеджере по Тесту.

  2. Перейдите к редактору Logical and Temporal Assessments.

  3. Нажмите Add Assessment. Эти шаблоны оценки доступны:

    • Логические шаблоны оценки

      • Граничная проверка — максимум Проверки и минимум ограничивают для сигналов и выражений.

      • Пользовательский — Проверка, если логическое выражение сохраняется навсегда шаги.

    • Временный шаблон оценки

      • Триггерный ответ — Проверка на ответ сигнала, когда триггер обнаруживается.

    В данном примере выберите Trigger-Response.

Шаблон Trigger-Response появляется. Чтобы закончить создавать оценку, вы задаете временные условия оценки в контексте SUT.

Задайте временные условия оценки

Оценка Триггерного ответа требует a:

  • Trigger параметр

  • Response параметр

  • Дополнительный Delay параметр

Для принудительной проблемы затухания колебания:

  1. Выберите каждый раз, когда верно как триггер, и введите abs(S) > P как condition. Триггерным условием является шаблон условия, после которого оценен сигнал ответа. Условие ответа инициировано когда величина S сигнала превышает значение P.

  2. Выбор должен остаться верным для, по крайней мере, как ответ и ввести abs(S) < Q и u как condition и min-time соответственно. Условие ответа описывает поведение SUT в ответ на триггерное условие. Условие ответа состоит в том что величина S сигнала должен уладить ниже значения Q и останьтесь ниже Q по крайней мере, для u секунды.

  3. Выбор с помощью задержки самое большее как тип задержки и набор d как max-time параметр. Задержка является дополнительным временным интервалом, который начинает с параметра привязки по времени и продолжается к точке, где условию ответа, как ожидают, удовлетворят. Задержка в большей части d секунды.

Все единицы измерения времени являются секундами.

Когда вы добавляете символ как часть временного параметра оценки в Редакторе Logical and Temporal Assessments, она добавляется к списку символов как неразрешенный символ. Разрешите символы при помощи панели Symbols в редакторе.

Разрешите символы параметра оценки

Чтобы разрешить символ, щелкните правой кнопкой по символу. Две опции доступны:

  1. Использование Map to model element – диалоговое окно отображения, чтобы сопоставить символы с сигналом, параметром или блоком в SUT.

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

    После того, как вы закончите сопоставлять символы с элементами модели, метаданные отображений панели Symbols, которые соответствуют элементу модели.

    Сигналы, которые сопоставлены с символом, используемым оценкой в редакторе, регистрируются, когда вы запускаете тест.

    Если вы сопоставляете шину или массив к символу, используйте строку Field/Element в панели Symbols, чтобы выбрать скалярный сигнал из шины или массива. Например:

    • Сопоставлять символ с сигналом шины, содержащим элемент шины fieldA, введите .fieldA.

    • Чтобы сопоставить символ с элементом сигнала, который соответствует индексу (5,5) в массиве сигнала, введите (5,5).

    • Чтобы объединить оба выражения, введите .fieldA(5,5).

  2. Присвоение Map to expression – скалярное постоянное значение или переменная к символу.

    Когда вы выбираете Map to expression, необходимо ввести выражение в поле Expression. Можно присвоить скалярное постоянное значение или переменную, которую вы задаете в разделе Assessment Callback. Смотрите Задают Переменные в Разделе Коллбэка Оценки для получения дополнительной информации об определении переменных.

    Поскольку t символ автоматически связан со временем симуляции, вы не должны сопоставлять его с выражением. t не отображается в панели Symbols.

    Совет

    Ввод sig = sltest_simout.logsout.get('mySignal') в разделе Assessment Callback и использовании Map to expression, чтобы сопоставить символ с sig переменная эквивалентна использованию Map to model element, чтобы сопоставить символ с mySignal сигнал. Однако Assessment Callback позволяет вам задавать переменные как функцию теста, модели и данных моделирования. Смотрите Задают Переменные в Разделе Коллбэка Оценки для получения дополнительной информации об определении переменных.

Рассмотрите временные сводные данные оценки

После того, как вы введете параметры оценки, кликните по стрелке влево описания оценки, чтобы просмотреть сводные данные оценки.

Панель Visual Representation приводит графический пример передающего случая для оценки.

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

Оцените SUT

Запустите тест, чтобы оценить SUT. Временные оценки оценены после симуляции при помощи регистрируемых данных сигнала. Используйте результаты теста рассмотреть SUT против ваших требований.

Просмотрите результаты оценки

Просмотрите результаты оценки оценки от панели Results and Artifacts менеджера по Тесту. Выберите тест и кликните по оценке в дереве Results, чтобы открыть новую вкладку Assessment Result. Simulink Test оценивает оценку и отображает ожидаемое поведение и фактический результат выполнения оценки с описанием отказов оценки на различных временных шагах.

Примечание

Фигуры результата оценки не могут быть экспортированы в отчет Simulink Test.

Исследуйте поведение SUT с помощью и кнопки и текстовые описания в точках отказа.

Для более подробного расследования расширьте Дерево выражений, чтобы просмотреть результаты для каждого отдельного элемента оценки.

Используйте изменение масштаба, панорамирование и функциональности Data Cursor, чтобы анализировать результаты оценки оценки в Дереве выражений.

Соедините временные оценки с требованиями

Если у вас есть лицензия Simulink Requirements™, можно установить трассируемость между временными оценками и требованиями путем соединения оценок с требованиями. Чтобы создать ссылки на требования, выберите оценку в Редакторе Logical and Temporal Assessments и кликните по столбцу Requirements, чтобы открыть диалоговое окно Requirement Editor. Смотрите Ссылку на Требования для получения дополнительной информации.

Смотрите также

Документация Simulink Test

Поддержка

Для просмотра документации необходимо авторизоваться на сайте