Exponenta Banner

sldvhighlight

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

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

Синтаксис

sldvhighlight
sldvhighlight(model)
sldvhighlight(model, dataFile)

Описание

пример

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

пример

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

пример

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

Примеры

свернуть все

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

Откройте модель sldvdemo_debounce_modelcov в качестве примера.

open_system('sldvdemo_debounce_modelcov');

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

status = sldvrun('sldvdemo_debounce_modelcov')
Starting test generation for model 'sldvdemo_debounce_modelcov'
Compiling model... done
Translating model... done

'sldvdemo_debounce_modelcov' is compatible with Simulink Design Verifier.

Generating tests...
...................
Completed normally.

Generating output files:

    Data file:
    pwd\sldv_output\sldvdemo_debounce_modelcov\ ...
		sldvdemo_debounce_modelcov_sldvdata.mat

    Harness model:
    pwd\sldv_output\sldvdemo_debounce_modelcov\ ...
		sldvdemo_debounce_modelcov_harness.mdl

Results generation completed.

status =

     1

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

sldvhighlight

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

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

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

Откройте модель sldvdemo_debounce_modelcov в качестве примера.

open_system('sldvdemo_debounce_modelcov')

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

status = sldvrun('sldvdemo_debounce_modelcov')
Starting test generation for model 'sldvdemo_debounce_modelcov'
Compiling model... done
Translating model... done

'sldvdemo_debounce_modelcov' is compatible with Simulink Design Verifier.

Generating tests...
...................
Completed normally.

Generating output files:

    Data file:
    pwd\sldv_output\sldvdemo_debounce_modelcov\ ...
		sldvdemo_debounce_modelcov_sldvdata.mat

    Harness model:
    pwd\sldv_output\sldvdemo_debounce_modelcov\ ...
		sldvdemo_debounce_modelcov_harness.mdl

Results generation completed.

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')
Starting test generation for model 'sldvdemo_debounce_modelcov'
Compiling model... done
Translating model... done

'sldvdemo_debounce_modelcov' is compatible with Simulink Design Verifier.

Generating tests...
...................
Completed normally.

Generating output files:

    Data file:
    pwd\sldv_output\sldvdemo_debounce_modelcov\ ...
		sldvdemo_debounce_modelcov_sldvdata.mat

    Harness model:
    pwd\sldv_output\sldvdemo_debounce_modelcov\ ...
		sldvdemo_debounce_modelcov_harness.mdl

Results generation completed.

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'

Смотрите также

|

Темы

Введенный в R2013b

Документация Simulink Design Verifier
Поддержка