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

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

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

2. На вкладке Apps, под Model Verification, Валидация и галерея Test, нажимают Model Slicer.

open_system('sldvSlicerdemo_dead_logic');

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

Нож Модели подсвечивает восходящую зависимость throt выходной порт.

2. В менеджере по Срезу Модели выберите Refine Dead Logic.

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

4. Задайте Аналитическое время и запустите анализ. Можно импортировать существующие результаты мертвой логики sldvData файл или загружает существующий .slslicex данные для анализа. Для получения дополнительной информации смотрите, Совершенствовали Подсвеченную Модель при помощи Существующего .slslicex или Результатов Мертвой логики.

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

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