В этом примере вы настраиваете и запускаете два теста:
Первый тест проверяет, удовлетворяет ли модель требование.
Второй тест сравнивает результат симуляции с базовыми данными.
Откройте модель sltestCruiseControlDefective
в папке matlab/examples/simulinktest
.
Чтобы запустить менеджера по Тесту, выберите Analysis> Test Manager из меню модели Simulink®.
В этом примере вы создаете структуру тестового файла, добавляете тест в него и запускаете тест.
Установите текущую папку на перезаписываемую папку.
Создайте тестовый файл. От менеджера по Тесту панель инструментов выберите New> Test File.
Назовите файл Tutorial Tests
и сохраните его.
Тестовый файл содержит один или несколько тестовых наборов, и тестовые наборы содержат один или несколько тестов. Используйте эту структуру, чтобы организовать связанные тесты. Эта структура также помогает вам запустить тесты индивидуально или запустить все тесты в файле или комплекте.
Тест по умолчанию является базовым тестом. Преобразуйте его в тест Симуляции. Выберите тест и, из контекстного меню, выберите Convert to> Simulation Test и нажмите Yes, чтобы подтвердить преобразование.
Переименуйте тест My Verification Test
. Можно использовать контекстное меню в тестовом браузере и выбрать Rename. Или, можно кликнуть по имени и ввести новое в тесте.
Модель использует блок Subsystem Верификации от библиотеки Simulink Design Verifier™. Подсистема содержит блок Assertion, который проверяет, расцепляет ли система, если тормоз был применен для трех временных шагов. Журналирование сигнала включено для блока Signal Builder выходные параметры.
Установите тест использовать модель sltestCruiseControlDefective
. В менеджере по Тесту, под System Under Test, нажимают кнопку Use current model.
Можно запустить этот тест, не задавая другие оценки, потому что модель содержит блок Assertion. Используя менеджера по Тесту, в противоположность симуляции самой модели, позволяет вам просматривать, управлять, и экспортировать результаты. Кроме того, это настраивает среду тестирования для вас, чтобы добавить больше тестов, собрать базовые данные, и повторное использование тестирует на другие действия верификации, такие как верификация генерации кода.
Нажмите кнопку Run в менеджере по Тесту панель инструментов.
Когда вы нажимаете Run, левая навигация изменяется от Test Browser до панели Results and Artifacts.
Исследуйте результаты. Тест перестал работать. Щелкните правой кнопкой по новейшему результату и выберите Expand All Under, чтобы видеть все результаты. Тест перестал работать, потому что BrakeAssertion
перестал работать.
Нажмите BrakeAssertion и установите флажок, чтобы визуализировать результаты. Вы видите, что тест перестал работать в 2,3 секунды.
Постройте сигналы от вывода. От панели инструментов Data Inspector нажмите Subplots и выберите три графика.
После того, как вы создадите графики, сигнал BrakeAssertion
остается в первом графике. Кликните по графику, где вы хотите сигнал появиться и затем кликнуть по сигналу. Используя этот метод, добавьте Input 3
(вход тормоза) в графике 2 и throt
в графике 3.
Эти графики показывают вам, что, когда тормоз продолжается (Вход 3) дроссель остается. Дроссель должен перейти в 0.
Чтобы определить местоположение источника отказа в модели, в результатах испытаний, щелкают правой кнопкой по отказу BrakeAssertion и выбирают Highlight in Model. Модель подсвечивает блок BrakeAssertion
.
В исправленной версии модели дроссель переходит в 0, если тормоз применяется для трех временных шагов. Поскольку модель правильна, вы хотите передать правильные результаты тесту, чтобы протестировать против в будущем.
Откройте модель sltestBasicCruiseControlHarnessModel
.
В тестовом браузере выберите тестовый файл Tutorial Tests
. От менеджера по Тесту панель инструментов выберите New> Baseline Test.
Тестовый файл содержит новый тестовый набор, который содержит новый базовый тест.
Переименуйте тест My Baseline Test
.
В тесте, под System Under Test, нажимают кнопку Use current model.
В базовом тесте вы сравниваете выходные параметры от симуляции против ожидаемых выходных параметров. Можно получить выходные параметры в менеджере по Тесту как файл Excel® или MAT-файл. Также можно добавить внешний файл в тест как базовая линия.
В тесте, под Baseline Criteria, нажимают Capture.
Установите File format на Excel
, введите baseline1
для имени файла и нажмите Capture.
Тест добавляет базовые данные — вывод от регистрируемых сигналов и двух блоков Выходного порта.
Откройте файл Excel и наблюдайте данные. Выберите базовую линию и нажмите Edit. Значения timeseries появляются для каждого из регистрируемых сигналов и выходных параметров в модели. Закройте файл Excel.
Одна причина запустить базовый тест для регрессионного тестирования, чтобы видеть, совпадает ли образцовый вывод все еще с базовой линией. В этом примере, потому что вы только создали базовую линию, вы ожидаете, что тест передаст.
Выберите тест и нажмите Run. Результаты совпадают с базовой линией и тестовыми передачами. Когда вы расширяете результаты, вы видите, что операторы verify
теперь передают.