Создайте и Запуск Компенсационное Тестовое использование Расширенный MCDC
Этот пример показывает вам, как создать и запуститься, компенсационное тестовое использование улучшило MCDC. Улучшенный MCDC анализирует обнаружительную способность каждой цели в модели и генерирует тесты немаскирования для каждой цели. Для получения дополнительной информации смотрите Расширенное Покрытие MCDC в Simulink Design Verifier.
Компенсационные тесты в Simulink® Test™ сравнивают результаты нормальных симуляций с результатами сгенерированного кода программного обеспечения в цикле, процессора в цикле или аппаратно-программного моделирования.
Разделите 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:
1. Чтобы открыть вкладку Simulink Test, во вкладке Apps, в Model Verification, Валидация и Экспериментальный участок, нажимают Simulink Test.
2. Чтобы открыть менеджера по Тесту, во вкладке Tests, нажимают Simulink Test Manager.
3. Нажмите New> Test for Model Component. Создать Тест для мастера Компонента модели открывается.
4. Чтобы задать Топ-модель, чтобы протестировать, заполните, поля путем нажатия на Use в настоящее время нажали кнопку компонента модели рядом с полем Top Model.
5. Нажмите Далее, чтобы задать, как использовать Simulink Design Verifier, чтобы сгенерировать тестовые воздействия. Выберите Use Design Verifier, чтобы сгенерировать сценарии тестового воздействия. Эта опция запускает модель и создает входные параметры с помощью Simulink Design Verifier.
6. Нажмите Далее, чтобы выбрать метод тестирования. Выберите Perform, спина к спине тестирующий. Для Simulation1 выберите Normal. Для Simulation2 выберите Software-in-the-Loop (SIL). Выберите цели Set Model coverage как Расширенный MCDC.
7. Нажмите Далее, чтобы задать входной источник, формат, и где сохранить тестовые данные и сгенерированные тесты. Для Задают формат файла, выбирают MAT. Для Задают местоположение, чтобы сохранить тестовые данные, использовать имя местоположения по умолчанию.
8. Нажмите Done. Simulink Test создает тесты и закрывает мастер.
Разделите 3: запустите компенсационные тесты
Чтобы запустить компенсационный тест, нажмите Run in Simulink Test Manager.
Очистка
Чтобы завершить пример, закройте модель.
bdclose(model);