Подсветите заданную модель, которая имеет результаты анализа Simulink Design Verifier, загруженные из файла данных.
Откройте sldvdemo_debounce_modelcov
модель в качестве примера.
Используя настройки по умолчанию, запустите анализ генерации тестов модели в качестве примера.
Checking compatibility for test generation: model 'sldvdemo_debounce_modelcov'
Compiling model...done
Building model representation...done
'sldvdemo_debounce_modelcov' is compatible for test generation with Simulink Design Verifier.
Generating tests using model representation from 15-Mar-2019 13:12:06...
...................
Completed normally.
Generating output files:
Harness model:
pwd\sldv_output\sldvdemo_debounce_modelcov\sldvdemo_debounce_modelcov_harness.slx
Results generation completed.
Data file:
pwd\sldv_output\sldvdemo_debounce_modelcov\sldvdemo_debounce_modelcov_sldvdata.mat
status =
1
Закройте модель в качестве примера и модель тестовой обвязки, которую произвел анализ.
Вновь откройте модель в качестве примера.
Подсветите модель в качестве примера, которая имеет результаты анализа, сохраненные в файле данных, который создал анализ.
Инспектор Результатов Simulink Design Verifier открывается. Модель подсвечена, чтобы показать результаты анализа.
Чтобы просмотреть результаты детального анализа для объекта в Инспекторе Результатов, кликните по подсвеченному объекту в модели.