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

Откройте модель примера:

sldemo_mdlref_basic

На вкладке Apps щелкните стреле справа от Apps раздела.

В разделе Model Verification, Validation, and Test нажмите Coverage Analyzer.

На вкладке Coverage нажмите Settings.

На панели Coverage параметров конфигурации выберите Enable coverage analysis.

Выберите Referenced Models.

Обратите внимание, что анализ записывает покрытие только для ссылочных моделей с Simulation mode установленным значением Normal, SIL, или PIL. В sldemo_mdlref_basicБлок Model CounterC Simulation mode установлен на Acceleratorтак что вы не можете записать покрытие для него.

В разделе Coverage metrics установите структурный уровень структурного покрытия, чтобы Modified Condition Decision Coverage (MCDC) для записи решения, условия и измененного покрытия условия/решения.

Нажмите OK.

Нажмите Analyze Coverage.

Чтобы открыть отчет о покрытии, в разделе Review Results нажмите Generate Report.

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

Результаты покрытия также подсвечиваются в ссылочной модели sldemo_mdlref_counter. Можно выбрать отдельные объекты модели для просмотра конкретных результатов покрытия в диалоговом окне Coverage, как показано на следующем скриншоте.

Для регистрации входных сигналов для блока CounterA Model в sldemo_mdlref_basic во время симуляции, в MATLAB^® в командной строке введите следующий код:

logged_data = sldvlogsignals('sldemo_mdlref_basic/CounterA');

Сохраните записанные данные в MAT-файле с именем existingtestcase.mat:

save('existingtestcase.mat', 'logged_data');

Когда вы анализируете модель, на которую ссылаются в CounterA (sldemo_mdlref_counter), чтобы расширить существующие тесты, вы задаете этот MAT-файл.

Чтобы открыть sldemo_mdfref_counter модель, в sldemo_mdlref_basic дважды кликните блок CounterA Model.

На вкладке Design Verifier нажмите Test Generation Settings.

В диалоговом окне Параметров конфигурации, на панели Test Generation, в поле Model coverage objectives, выберите MCDC.

В разделе Existing test cases выберите Extend existing test cases.

В поле Data file укажите имя MAT-файла, который содержит записанные данные, в этом случае existingtestcase.mat.

Очистить Ignore objectives satisfied by existing test cases.

Когда вы очищаете эту опцию, программное обеспечение включает тесты, записанные в файл existingtestcase.mat в окончательном тестовом наборе.

Нажмите OK.

Нажмите Generate Tests.

Анализ сначала загружает цели, удовлетворенные зарегистрированными тестами. Затем он добавляет дополнительные временные шаги к этим тестам и пытается выполнить любые отсутствующие цели. Когда анализ завершается, открывается окно журнала Simulink Design Verifier и указывается, что все 12 цели удовлетворены.

Чтобы просмотреть результаты анализа модели, в окне журнала Simulink Design Verifier, выберите Highlight analysis results on model.

Результаты Simulink Design Verifier подсвечиваются в ссылочных моделях sldemo_mdlref_counter. Можно выбрать отдельные объекты модели, чтобы просмотреть конкретные результаты анализа в диалоговом окне Simulink Design Verifier Results, как показано на следующем снимке экрана.

Чтобы проверить результаты анализа и просмотреть сгенерированные тесты, в окне журнала Simulink Design Verifier выберите Generate detailed analysis report.

Чтобы собрать покрытие модели с помощью расширенного тестового набора, в окне журнала Simulink Design Verifier, выберите Simulate tests and produce a model coverage report.

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