sldvtimer

Идентифицируйте, изменитесь, и оптимизация таймера отображения

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

Синтаксис

status = sldvtimer
status = sldvtimer(value)
status = sldvtimer(sldvdata)
status = sldvtimer(sldvdata,display)
status = sldvtimer(model)

Описание

status = sldvtimer возвращает status из 1 если оптимизация таймера включена для генерации тестов Simulink® Design Verifier™. В противном случае, sldvtimer возвращает status из 0.

пример

status = sldvtimer(value) включает или отключает оптимизацию таймера для генерации тестов Simulink Design Verifier.

status = sldvtimer(sldvdata) указывает, зарегистрирована ли оптимизация таймера в файле данных Simulink Design Verifier sldvdata. Если оптимизация таймера зарегистрирована, функция возвращает status из 1. Если оптимизация таймера не зарегистрирована, функция возвращает status из 0. Если sldvdata не имеет информации об оптимизации таймера, функция возвращает status из -1.

status = sldvtimer(sldvdata,display) указывает, зарегистрирована ли оптимизация таймера в файле данных Simulink Design Verifier sldvdata и идентифицирует элементы модели, которые являются частью распознанных шаблонов таймера когда display верно. Если оптимизация таймера зарегистрирована, функция возвращает status из 1. Если оптимизация таймера не зарегистрирована, функция возвращает status из 0. Если sldvdata не имеет информации об оптимизации таймера, функция возвращает status из -1.

status = sldvtimer(model) шаблоны таймера отображений в model то, что можно оптимизировать для генерации тестов Simulink Design Verifier.

Примеры

свернуть все

Используя sldvtimer функция, чтобы оптимизировать таймеры модели, увеличьте число целей генерации тестов, достигнутых во время анализа Генерации тестов Simulink Design Verifier.

Модель в качестве примера имеет таймеры timer_1 и timer_2 в графике Stateflow®.

На вкладке Design Verifier, в разделе Mode, выбирают Test Generation, затем нажимают Generate Tests.

  • Логарифмические отображения диалогового окна Simulink Design Verifier, что:

    • Test generation exceeded time limit

    • 28 of 32 objectives satisfied

  • Диалоговое окно информации об Ошибках Simulink Design Verifier указывает на тот Test generation did not optimize timer patterns.

Включить оптимизацию таймера, в Командном окне MATLAB®, введите:

sldvtimer(1)

Чтобы сгенерировать тесты, на вкладке Design Verifier, в разделе Mode, выбирают Test Generation, затем нажимают Generate Tests.

Анализ генерации тестов завершается, и программное обеспечение генерирует тесты.

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

свернуть все

Логическое значение, чтобы включить оптимизацию таймера.

true включить оптимизацию таймера.
false (значение по умолчанию), чтобы отключить оптимизацию таймера.

Имя файла данных, который содержит данные об оптимизации таймера.

Логическое значение, чтобы идентифицировать объекты модели, которые являются частью распознанных шаблонов таймера.

true идентифицировать объекты модели, которые являются частью распознанных шаблонов таймера.
false (значение по умолчанию), чтобы не идентифицировать объекты модели, которые являются частью распознанных шаблонов таймера

Обработайте к модели Simulink

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

свернуть все

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

Логическое значение возвращеноСостояние оптимизации таймера
1Оптимизация таймера зарегистрирована.
0Оптимизация таймера, не зарегистрированная.
-1sldvdata не имеет информации об оптимизации таймера.

Ограничения

Если реляционные граничные цели включены для генерации теста, sldvtimer может оптимизировать меньше таймеров. Для получения информации о реляционных граничных целях смотрите Реляционный Контур.

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

| |

Темы

Представленный в R2012a

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

Поддержка

Для просмотра документации необходимо авторизоваться на сайте