Генерация тестов вьетнамки

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

open_system('sldvdemo_flipflop');

Для просмотра документации необходимо авторизоваться на сайте