Определение, изменение и отображение оптимизации таймеров
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 позволяет оптимизировать меньшее количество таймеров. Сведения о целях реляционной границы см. в разделе Реляционная граница.