Задайте ограничительные значения параметра для полного охвата

Об этом примере

Этот пример описывает, как создать и анализировать простой Simulink^® модель, для которой вы генерируете тесты, которые достигают Decision Coverage. Однако в этом примере, достигая полного Decision Coverage возможно только, когда Simulink Design Verifier™ обрабатывает конкретные параметры блоков как переменную во время ее анализа. Этот пример объясняет, как задать настройки параметра для использования с анализом.

Следующий рабочий процесс проводит вас по процессу завершения этого примера.

Задача	Описание	Смотрите...
1	Создайте модель в качестве примера.	Создайте модель в качестве примера
2	Задайте переменную как значение параметров блоков Constant.	Параметрируйте постоянный блок
3	Ограничьте значение переменной, которую задает блок Constant.	Автоматически сгенерируйте ограничение параметра
4	Сгенерируйте тесты для своей модели и интерпретируйте результаты.	Анализируйте модель в качестве примера
5	Симулируйте тесты и измерьте получившийся Decision Coverage.	Симулируйте тесты

Создайте модель в качестве примера

Создайте простую модель Simulink, чтобы использовать в этом примере:

Создайте пустую модель Simulink.
Скопируйте следующие блоки в пустой Редактор Simulink:
- От библиотеки Sources:
  - Два блока Inport, чтобы инициировать входные сигналы
  - Блок Constant, чтобы управлять переключателем
- От библиотеки Signal Routing: блок Multiport Switch, чтобы обеспечить простую логику
- От библиотеки Sinks: блок Outport, чтобы получить выходной сигнал
Дважды кликните блок Multiport Switch, чтобы получить доступ к его диалоговому окну и задать его опцию Number of data ports как 2.
Соедините блоки так, чтобы ваша модель была похожа на следующее.
На вкладке Simulation кликните по стреле справа от раздела Prepare и нажмите Model Settings.
В диалоговом окне Configuration Parameters выберите Solver. Под Solver selection, набор опция Type к Fixed-step, и затем набор опция Solver к discrete (no continuous states).
В панели Diagnostics, набор Automatic solver parameter selection к none.
Нажмите OK, чтобы применить ваши изменения и закрыть диалоговое окно Configuration Parameters.
Сохраните свою модель как ex_defining_params_example для использования в следующей процедуре.

Параметрируйте постоянный блок

Параметрируйте блок Constant в своей модели путем определения переменной как значения блока Constant параметр Constant value:

Дважды кликните блок Constant.
В поле Constant value введите A.
Нажмите OK, чтобы применить ваше изменение и закрыть диалоговое окно параметров блоков Constant.
Сохраните свою модель.

Предварительно загрузите переменную рабочей области

Предварительно загрузите значение MATLAB^® переменная A рабочей области ссылаемый блоком Constant:

На вкладке Modeling выберите Model Settings> Model Properties.
Кликните по вкладке Callbacks.
В PreLoadFcn, Введите:
```
A = int8(1);
```
Нажмите OK, чтобы закрыть диалоговое окно Model Properties и сохранить ваши изменения.
Закройте свою модель.
Откройте свою модель.
Когда вы открываете модель, PreLoadFcn задает переменную A из типа int8 чье значение равняется 1.

Автоматически сгенерируйте ограничение параметра

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

На вкладке Apps кликните по стреле справа от раздела Apps.
Под Model Verification, Validation, and Test нажмите Design Verifier.
На вкладке Design Verifier, в разделе Prepare, в выпадающем меню для настроек режима, нажимают Settings.
В диалоговом окне Configuration Parameters выберите Design Verifier> Parameters.
Выберите Enable parameter configuration.
Выберите Use parameter table.
Нажмите Find in Model.
Таблица параметров заполняется параметрами из вашей модели. Когда возможно, это автоматически генерирует ограничительные значения для каждого параметра, в зависимости от типа данных и местоположения параметра в модели.
В этом случае строка появляется для параметра A то, что вы задали. Строка таблицы для A отображения следующая информация:
- В столбце Name, название параметра (A).
- В столбце Constraint ограничение задало на параметре A. Таблица параметров автоматически генерирует ограничительные значения {1, 2}.
- В столбце Value, значении A в базовом рабочем пространстве. Это значение равняется 1.
- В столбце Model Element, компоненте модели, в который A находится (ex_defining_params_example/Constant).
- В столбце Use, флажок, указывающий, сконфигурированы ли заданные ограничительные значения в таблице для анализа.
В Таблице параметров, в строке для параметра A, убедитесь, что вы устанавливаете флажок Use.
Когда вы включаете эту настройку параметра, во время анализа Simulink Design Verifier, параметр A берет только int8 значения 1 и 2.
В диалоговом окне Configuration Parameters нажмите OK.
Сохраните свою модель.

Анализируйте модель в качестве примера

Анализируйте модель с помощью настройки параметра, которую вы только создали, и сгенерируйте аналитический отчет:

На вкладке Design Verifier, в разделе Mode, выбирают Test Generation. Нажмите Generate Tests.
Simulink Design Verifier анализирует вашу модель, чтобы сгенерировать тесты.
Когда программное обеспечение завершит свой анализ в окне Simulink Design Verifier Results Summary, выберите Generate detailed analysis report.
Программное обеспечение отображает отчет HTML под названием ex_defining_params_example_report.html.
Сохраните окно Results Summary открытым для следующей процедуры.
В Simulink Design Verifier сообщают о Table of Contents, нажимают Test Cases.
Нажмите Test Case 1 отобразить подраздел для того теста.
Этот раздел предоставляет подробную информацию о Тесте 1, который Simulink Design Verifier сгенерировал, чтобы удовлетворить цели покрытия в модели. В этом тесте, значении 1 для параметра A удовлетворяет цели.
Прокрутите вниз к разделу Test Case 2 в главе Test Cases.
Этот раздел предоставляет подробную информацию о Тесте 2, который удовлетворяет другой цели покрытия в модели. В этом тесте, значении 2 для параметра A удовлетворяет цели.

Симулируйте тесты

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

В окне Simulink Design Verifier Results Summary выберите Create harness model.
Программное обеспечение создает и открывает модель тестовой обвязки под названием ex_defining_params_example_harness.
Блок пометил Inputs в модели тестовой обвязки, блок Signal Builder, который содержит сигналы теста. Дважды кликните блок Inputs, чтобы просмотреть сигналы теста в блоке Signal Builder.
В диалоговом окне Signal Builder нажмите кнопку Run all.
Программное обеспечение Simulink симулирует каждый из тестов по очереди, собирает данные о покрытии для каждой симуляции и отображает отчет HTML объединенных результатов покрытия в конце последней симуляции.
В отчете покрытия модели рассмотрите раздел Summary:
Этот раздел обобщает результаты покрытия для модели тестовой обвязки и ее Тестовой Модульной подсистемы. Заметьте, что подсистема достигает 100% Decision Coverage.
В разделе Summary кликните по Тестовой Модульной подсистеме.
Отчет отображает подробные результаты покрытия для Тестовой Модульной подсистемы.
Этот раздел показывает, что блок Multiport Switch достигает 100% Decision Coverage, потому что тесты осуществляют каждую из трасс переключателя.

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