Exponenta Banner
exponenta event banner

sldvhighlight

Выделение модели с помощью данных анализа Simulink Design Verifier

свернуть все на странице

Синтаксис

sldvhighlight
sldvhighlight (модель)
sldvhighlight (модель, файл данных)
sldvhighlight (модель, файл данных, фильтр)

Описание

пример

sldvhighlight выделяет текущую модель с помощью активных результатов анализа Simulink ® Design Verifier™. При отсутствии активных результатов sldvhighlight загружает последние результаты анализа для текущей модели, а затем подсвечивает модель с помощью этих результатов.

пример

sldvhighlight(model) основные моменты model с помощью активных результатов анализа Simulink Design Verifier. При отсутствии активных результатов sldvhighlight загружает последние результаты анализа для modelзатем подсвечивает модель с помощью этих результатов.

пример

sldvhighlight(model, dataFile) загружает результаты анализа Simulink Design Verifier из dataFile. Функция подсвечивается model используя эти результаты.

sldvhighlight(model, dataFile, Filter) загружает результаты анализа Simulink Design Verifier из dataFile и файл фильтра анализа Filter. Функция подсвечивается model используя эти результаты.

Примеры

свернуть все

Выделите текущую модель с активными результатами анализа Simulink Design Verifier.

Откройте окно sldvdemo_debounce_modelcov пример модели.

open_system('sldvdemo_debounce_modelcov');

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

status = sldvrun('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

Выделите результаты анализа текущей модели, sldvdemo_debounce_modelcov.

sldvhighlight

Примерная модель подсвечивается результатами анализа.

Чтобы просмотреть подробные результаты анализа для объекта в Инспекторе результатов (Results Inspector), щелкните выделенный объект в модели.

Выделите указанную модель, которая имеет активные результаты анализа Simulink Design Verifier.

Откройте окно sldvdemo_debounce_modelcov пример модели.

open_system('sldvdemo_debounce_modelcov')

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

status = sldvrun('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

Выделите результаты анализа на sldvdemo_debounce_modelcov модель.

sldvhighlight('sldvdemo_debounce_modelcov')

Примерная модель подсвечивается результатами анализа.

Чтобы просмотреть подробные результаты анализа для объекта в Инспекторе результатов (Results Inspector), щелкните выделенный объект в модели.

Выделите указанную модель с результатами анализа Simulink Design Verifier, загруженными из файла данных.

Откройте окно sldvdemo_debounce_modelcov пример модели.

open_system('sldvdemo_debounce_modelcov')

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

status = sldvrun('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

Закройте модель примера и модель электрического жгута, созданную в результате анализа.

bdclose('sldvdemo_debounce_modelcov')
bdclose('sldvdemo_debounce_modelcov_harness')

Снова откройте модель примера.

open_system('sldvdemo_debounce_modelcov')

Выделите примерную модель, которая имеет результаты анализа, сохраненные в файле данных, созданном анализом.

sldvhighlight('sldvdemo_debounce_modelcov',[pwd ...
'\sldv_output\sldvdemo_debounce_modelcov\' ...
'sldvdemo_debounce_modelcov_sldvdata.mat'])

Откроется инспектор результатов Simulink Design Verifier. Модель подсвечивается для отображения результатов анализа.

Чтобы просмотреть подробные результаты анализа для объекта в Инспекторе результатов (Results Inspector), щелкните выделенный объект в модели.

Входные аргументы

свернуть все

Имя модели или маркера модели для выделения.

Пример: 'sldvdemo_cruise_control'

Пример: 'sldvdemo_flipflop'

Имя файла данных анализа Simulink Design Verifier.

Дополнительные сведения о файлах данных анализа см. в разделе Файлы данных Simulink Design Verifier.

Пример: 'results.mat'

Пример: 'sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat'

Пример: 'sldv_output\my_model\my_model_sldvdata.mat'

Имя файла фильтра анализа, содержащего правила выравнивания.

Пример: 'sldvdemo_design_error_detection_sldv_filter.cvf'

См. также

|

Темы

Представлен в R2013b

Документация по Simulink Design Verifier

Поддержка