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