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

open_system('sldvdemo_flipflop');

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

status = sldvrun('sldvdemo_flipflop')

Checking compatibility for test generation: model 'sldvdemo_flipflop'
Compiling model...done
Building model representation...done
'sldvdemo_flipflop' is compatible for test generation with Simulink Design Verifier.

Generating tests using model representation from 14-Dec-2018 16:33:34...
............

Completed normally.

Generating output files:

Results generation completed.

    Data file:
    H:\work\sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat

status =

     1

Закройте пример модели.

bdclose('sldvdemo_flipflop')

Снова откройте модель примера. Загрузите недавно созданные результаты анализа.

sldvloadresults('sldvdemo_flipflop')

ans =

     1

Вы можете рассмотреть нагруженные аналитические результаты в окне Резюме Результатов Свидетельства Дизайна Simulink. Чтобы открыть окно Сводка результатов (Results Summary), на вкладке Проверка проекта (Design Verifier) в разделе Результаты проверки (Review Results) щелкните Сводка результатов (Results Summary).

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

open_system('sldvdemo_flipflop')

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

[status, filenames] = sldvrun('sldvdemo_flipflop')

Checking compatibility for test generation: model 'sldvdemo_flipflop'
Compiling model...done
Building model representation...done

Generating tests using model representation from 14-Dec-2018 16:36:43...
............

Completed normally.

Generating output files:

Results generation completed.

    Data file:
    H:\work\sldv_output\sldvdemo_flipflop\sldvdemo_flipflop_sldvdata.mat

status =

     1

Закройте пример модели.

bdclose('sldvdemo_flipflop')

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

sldvloadresults('sldvdemo_flipflop',filenames.DataFile)

ans =

     1

Вы можете рассмотреть нагруженные аналитические результаты в окне Резюме Результатов Свидетельства Дизайна Simulink. Чтобы открыть окно Сводка результатов (Results Summary), на вкладке Проверка проекта (Design Verifier) в разделе Результаты проверки (Review Results) щелкните Сводка результатов (Results Summary).