Раздел 1: Подготовка модели

1. Откройте модель:

model = ('sldvSliceCruiseControl');
open_system(model);

2. Подготовьте модель для генерации кода и логгирования.

set_param(model, 'ProdHWDeviceType', 'Intel->x86-64 (Linux 64)');
set_param(model, 'ProdLongLongMode', 'on');
set_param(model, 'SaveOutput', 'on');
set_param(model, 'SignalLogging', 'on');
set_param(model, 'SaveFormat', 'Dataset');

Примечание: Вы также можете опционально пометить внутренние сигналы в модели как тестовые записанные сигналы (для примера, sldvSliceCruiseControl/CruiseControlMode/opMode/Switch,) так, чтобы эти сигналы были приоритетны в качестве сайтов обнаружения во время расширенного анализа MCDC. Смотрите, Сконфигурируйте Сайты Обнаружения, используя Тестовые Зарегистрированные Сигналы.

3. Сгенерируйте код.

На вкладке Apps нажмите Embedded Coder, а затем Generate Code.

Embedded Coder генерирует отчет генерации кода для модели. Закройте сгенерированное окно отчета. Simulink Design Verifier использует информацию о записанных сигналах из сгенерированного кода, чтобы сконфигурировать сайты обнаружения для расширенных сайтов обнаружения MCDC. Если вы не генерируете код, Simulink Design Verifier использует информацию о тестовых записанных сигналах от модели, чтобы сконфигурировать сайты обнаружения для расширенного MCDC.

Раздел 2: Создайте обратные тесты с использованием расширенного MCDC

Выполните следующие шаги, чтобы создать обратные тесты в Simulink Test Manager:

1. Чтобы открыть вкладку Simulink Test, на вкладке Приложений, в разделе Верификации модели, Валидации и Test, нажмите Simulink Test.

2. Чтобы открыть Диспетчер тестов, на вкладке Тесты, нажмите Simulink Test Manager.

3. Щелкните Создать (New) > Проверить для компонента модели (Test for Model Component). Откроется мастер создания теста для компонента модели.

4. Чтобы задать верхнюю часть для тестирования, заполните поля нажатием кнопки Использовать выбранный компонент модели рядом с полем Верхняя часть.

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

6. Нажмите кнопку Далее, чтобы выбрать метод проверки. Выберите Выполнить обратную проверку. Для Simulation1 выберите Normal. Для Simulation2 выберите Software-in-the-Loop (SIL). Выберите Задать цели покрытия модели как Расширенный MCDC.

7. Нажмите кнопку Далее, чтобы указать вход, формат и место сохранения тестовых данных и сгенерированных тестов. Для параметра «Задать формат файла» выберите MAT. Для параметра «Укажите местоположение для сохранения тестовых данных» используйте имя местоположения по умолчанию.

8. Нажмите Готово. Simulink Test создает тесты и закрывает мастер.

Раздел 3: Запуск обратных тестов

Чтобы запустить обратный тест, нажмите Run in Simulink Test Manager.

Очистка

Чтобы завершить пример, закройте модель.

bdclose(model);

Похожие темы