Идентифицируйте, изменитесь, и оптимизация таймера отображения
status = sldvtimerstatus из 1 если оптимизация таймера включена для генерации тестов Simulink® Design Verifier™. В противном случае, sldvtimer возвращает status из 0.
status = sldvtimer(sldvdata)sldvdata. Если оптимизация таймера зарегистрирована, функция возвращает status из 1. Если оптимизация таймера не зарегистрирована, функция возвращает status из 0. Если sldvdata не имеет информации об оптимизации таймера, функция возвращает status из -1.
status = sldvtimer(sldvdata,display)sldvdata и идентифицирует элементы модели, которые являются частью распознанных шаблонов таймера когда display верно. Если оптимизация таймера зарегистрирована, функция возвращает status из 1. Если оптимизация таймера не зарегистрирована, функция возвращает status из 0. Если sldvdata не имеет информации об оптимизации таймера, функция возвращает status из -1.
Используя 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.
Анализ генерации тестов завершается, и программное обеспечение генерирует тесты.
Если реляционные граничные цели включены для генерации теста, sldvtimer может оптимизировать меньше таймеров. Для получения информации о реляционных граничных целях смотрите Реляционный Контур.