В этом примере показано, как создать тестовые примеры, достигающие полного покрытия модели для триггера. Результат каждой точки охвата модели в этой модели является целью теста. Если настроить Simulink Design Verifier на создание наименьшего количества тестовых примеров, он будет удовлетворять максимально возможному количеству задач в каждом тестовом случае.
open_system('sldvdemo_flipflop');
