Что такое обнаружение ошибок конструкции?

Пояснение варианта анализа обнаружения ошибок конструкции.

Обнаружение неработающей логики

Описывает два режима анализа для обнаружения неработающей логики в Simulink ® Design Verifier™.

Объекты модели, получающие обнаружение неработающей логики

Информация об обнаружении ошибок конструкции неработоспособной логики для определенных объектов модели.

Общие причины неработающей логики

Описывает несколько сценариев, приводящих к неработоспособности логики.

Анализ результатов анализа неработоспособной логики

В этом примере показано, как изолировать потенциальные причины неработающей логики с помощью sldvexCommonCausesOfDeadLogic модель.

Обнаружение неработоспособной логики, вызванной неправильным значением

Пример поиска неправильной входной спецификации с использованием неработоспособного логического результата.

Панель «Верификатор проекта»: обнаружение ошибок конструкции

Укажите параметры, управляющие тем, как Simulink Design Verifier обнаруживает ошибки во время выполнения в анализируемых моделях.

Параметры Simulink Design Verifier

Обзор опций Simulink Design Verifier в диалоговом окне Параметры конфигурации (Configuration Parameters).

Отчеты Simulink Design Verifier

Описание различных частей отчета Simulink Design Verifier.

Файлы данных Simulink Design Verifier

Описание содержимого файла данных Simulink Design Verifier.