Оцените временную логику при помощи временных оценок
Гибридные системы с дискретным и непрерывным поведением времени могут потребовать, чтобы комплексный зависимый синхронизации сигнализировал о логике. Simulink® Test™ позволяет вам оценить синхронизацию модели и упорядоченное расположение события, создавая и включая временные оценки с тестами в менеджере по Тесту.
Работать с временными оценками:
Выберите шаблон оценки.
Введите условия оценки.
Сопоставьте символы с элементами модели, такими как сигналы, временные ряды, или постоянный.
Просмотрите сводные данные оценки.
Запустите тест.
Используйте результаты оценить систему под тестом (SUT) против ваших требований.
Например, рассмотрите принудительную проблему затухания колебания, которая имеет это требование:
Для S сигнала, если величина сигнала превышает значение P, затем в t секунды, это должно уладить ниже значения Q и останьтесь ниже Q для u секунды.
Создайте временную оценку
Создать временную оценку:
Создайте или откройте тест в менеджере по Тесту.
Перейдите к редактору Logical and Temporal Assessments.
Нажмите Add Assessment. Эти шаблоны оценки доступны:
Логические шаблоны оценки
Граничная проверка — максимум Проверки и минимум ограничивают для сигналов и выражений.
Пользовательский — Проверка, если логическое выражение сохраняется навсегда шаги.
Временный шаблон оценки
Триггерный ответ — Проверка на ответ сигнала, когда триггер обнаруживается.
В данном примере выберите Trigger-Response.
Шаблон Trigger-Response появляется. Чтобы закончить создавать оценку, вы задаете временные условия оценки в контексте SUT.
Задайте временные условия оценки
Оценка Триггерного ответа требует a:
TriggerпараметрResponseпараметрДополнительный
Delayпараметр
Для принудительной проблемы затухания колебания:
Выберите каждый раз, когда верно как триггер, и введите
abs(S) > Pкакcondition. Триггерным условием является шаблон условия, после которого оценен сигнал ответа. Условие ответа инициировано когда величинаSсигналапревышает значениеP.Выбор должен остаться верным для, по крайней мере, как ответ и ввести
abs(S) < Qиuкакconditionиmin-timeсоответственно. Условие ответа описывает поведение SUT в ответ на триггерное условие. Условие ответа состоит в том что величинаSсигналадолжен уладить ниже значенияQи останьтесь нижеQпо крайней мере, дляuсекунды.Выбор с помощью задержки самое большее как тип задержки и набор
tкакmax-timeпараметр. Задержка является дополнительным временным интервалом, который начинает с параметра привязки по времени и продолжается к точке, где условию ответа, как ожидают, удовлетворят. Задержка в большей частиtсекунды.
Все единицы измерения времени являются секундами.
Когда вы добавляете символ как часть временного параметра оценки в Редакторе Logical and Temporal Assessments, она добавляется к списку символов как неразрешенный символ. Разрешите символы при помощи панели Symbols в редакторе.
Разрешите символы параметра оценки
Чтобы разрешить символ, щелкните правой кнопкой по символу. Две опции доступны:
Использование Map to model element – диалоговое окно отображения, чтобы сопоставить символы с сигналом, параметром или блоком в SUT.
Выберите символ, чтобы сопоставить из выпадающего списка наверху диалогового окна отображения.
После того, как вы закончите сопоставлять символы с элементами модели, метаданные отображений панели Symbols, которые соответствуют элементу модели.
Сигналы, которые сопоставлены с символом, используемым оценкой в редакторе, регистрируются, когда вы запускаете тест.
Если вы сопоставляете шину или массив к символу, используйте строку Field/Element в панели Symbols, чтобы выбрать скалярный сигнал из шины или массива. Например:
Сопоставлять символ с сигналом шины, содержащим элемент шины
fieldA, введите.fieldA.Чтобы сопоставить символ с элементом сигнала, который соответствует индексу (5,5) в массиве сигнала, введите
(5,5).Чтобы объединить оба выражения, введите
.fieldA(5,5).
Присвоение Map to expression – скалярное постоянное значение или временные ряды возражает против символа.
Можно использовать симуляцию выход в качестве переменной, чтобы сопоставить символы с сигналами. Например, ввод
sltest_simout.logsout.get('mySignal')эквивалентно использованию Map to model element, чтобы сопоставить символы сmySignalсигнала. Смотрите Коллбэки Уровня TestCase для получения дополнительной информации.
Рассмотрите временные сводные данные оценки
После того, как вы введете параметры оценки, кликните по стрелке влево описания оценки, чтобы просмотреть сводные данные оценки.
Панель Visual Representation приводит графический пример передающего случая для оценки.
Просмотрите передачу и провальные случаи для оценки путем нажатия на Исследовать
значок Шаблона. Выберите тип случая, который вы хотите просмотреть из выпадающего списка и нажатия кнопки
, чтобы просмотреть различную передачу и провальные случаи.
Оцените SUT
Запустите тест, чтобы оценить SUT. Временные оценки оценены после симуляции при помощи регистрируемых данных сигнала. Используйте результаты теста рассмотреть SUT против ваших требований.
Просмотрите результаты оценки
Просмотрите результаты оценки оценки от панели Results and Artifacts менеджера по Тесту. Выберите тест и кликните по оценке в дереве Results, чтобы открыть новую вкладку Assessment Result. Simulink Test оценивает оценку и отображает ожидаемое поведение и фактический результат выполнения оценки с описанием отказов оценки на различных временных шагах.
Исследуйте поведение SUT с помощью
и
кнопки и текстовые описания в точках отказа.
Для более подробного расследования расширьте Дерево выражений, чтобы просмотреть результаты для каждого отдельного элемента оценки.
Используйте изменение масштаба, панорамирование и функциональности Data Cursor, чтобы анализировать результаты оценки оценки в Дереве выражений.
Соедините временные оценки с требованиями
Если у вас есть лицензия Simulink Requirements™, можно установить трассируемость между временными оценками и требованиями путем соединения оценок с требованиями. Чтобы создать ссылки на требования, выберите оценку в Редакторе Logical and Temporal Assessments и кликните по столбцу Requirements, чтобы открыть диалоговое окно Requirement Editor. Смотрите Ссылку на Требования для получения дополнительной информации.