Анализ мертвой логики

В этом примере показано, как доработать модель для мертвой логики. The sldvSlicerdemo_dead_logic модель состоит из мертвых логических путей, которые вы уточняете для анализа зависимостей.

1. Откройте sldvSlicerdemo_dead_logic модель.

2. На вкладке Apps, в разделе Верификация модели, Validation и Test gallery, нажмите Model Slicer.

open_system('sldvSlicerdemo_dead_logic');

Откройте Controller подсистема и добавить выходной порт throt как начальная точка.

Model Slicer подсвечивает зависимость throt в восходящем направлении выход.

2. В окне Model Slice Manager выберите Refine Мертвая логика.

3. Нажмите Get Dead Logic Data.

4. Укажите время анализа и запустите анализ. Можно импортировать существующие результаты мертвой логики из sldvData файл или загрузка существующих .slslicex данные для анализа. Для получения дополнительной информации см. «Уточнение подсвеченной модели при помощи существующих результатов .slslicex или Мертвая Логика».

Как set вход равен true, а False вход в переключатель удаляется для анализа зависимостей. Точно так же выходные данные блочных OR всегда true и удален из среза модели.

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