sldvtimer
Идентифицируйте, изменяйте и отображайте оптимизацию таймера
Синтаксис
Описание
status = sldvtimerstatus от 1 если для Simulink включена оптимизация таймера® Проектируйте Verifier™ тестируйте генерацию. В противном случае, sldvtimer возвращает status от 0.
status = sldvtimer(sldvdata)sldvdata. Если записаны оптимизации таймера, функция возвращает status от 1. Если оптимизация таймера не записана, функция возвращает status от 0. Если sldvdata не имеет информации об оптимизации таймера, функция возвращает status от -1.
status = sldvtimer(sldvdata,display)sldvdata и идентифицирует элементы модели, которые являются частью распознанных шаблонов таймера при display является true. Если записаны оптимизации таймера, функция возвращает status от 1. Если оптимизация таймера не записана, функция возвращает status от 0. Если sldvdata не имеет информации об оптимизации таймера, функция возвращает status от -1.
Примеры
Оптимизируйте таймеры модели
Использование sldvtimer функция для оптимизации таймеров модели, увеличения количества целей генерации тестов, достигнутых во время анализа Simulink Design Verifier Test Generation.
Пример модели имеет таймеры timer_1 и timer_2 в Stateflow® график.
На вкладке Design Verifier, в разделе Mode, выберите Test Generation, а затем нажмите Generate Tests.
В диалоговом окне Simulink Design Verifier отображается следующее:
Test generation exceeded time limit28 of 32 objectives satisfied
Диалоговое окно Ошибок информации Simulink Design Verifier указывает, что
Test generation did not optimize timer patterns.
Чтобы включить оптимизацию таймера, в MATLAB® Командное окно, введите:
sldvtimer(1)
Чтобы сгенерировать тесты, на вкладке Design Verifier, в разделе Mode, выберите Test Generation, а затем нажмите Generate Tests.
Анализ генерации тестов завершен, и программное обеспечение генерирует контрольные примеры.
Входные параметры
Выходные аргументы
Ограничения
Если для генерации теста включены цели реляционных границ, sldvtimer может оптимизировать меньшее количество таймеров. Для получения информации о реляционных краевых целях см. «Реляционный контур».