Идентифицируйте, изменяйте и отображайте оптимизацию таймера
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 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.
Анализ генерации тестов завершен, и программное обеспечение генерирует контрольные примеры.
Если для генерации теста включены цели реляционных границ, sldvtimer может оптимизировать меньшее количество таймеров. Для получения информации о реляционных краевых целях см. «Реляционный контур».
