sldvhighlight

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

Описание

пример

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

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

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

Подсветите заданную модель, которая имеет активные результаты анализа 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')

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

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

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

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

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

свернуть все

Имя модели или указатель модели, чтобы подсветить.

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