Exponenta Banner

sldvhighlight

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

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

Синтаксис

sldvhighlight
sldvhighlight(model)
sldvhighlight(model, dataFile)
sldvhighlight(model, dataFile, Filter)

Описание

пример

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

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

Чтобы просмотреть результаты детального анализа для объекта в 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')

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

Чтобы просмотреть результаты детального анализа для объекта в 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. Модель подсвечивается, чтобы показать результаты анализа.

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

Входные параметры

свернуть все

Имя модели или указателя на модель, которые нужно выделить.

Пример: 'sldvdemo_cruise_control'

Пример: 'sldvdemo_flipflop'

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

Для получения дополнительной информации о файлах данных анализа см. Simulink Design Verifier Data Files.

Пример: '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

Поддержка