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

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

Производные диапазоны при обнаружении ошибок конструкции

Поясняет концепции диапазонов проектирования и производных диапазонов в отношении обнаружения ошибок проектирования.

Выполнить анализ обнаружения ошибок конструкции

Описание рекомендуемого рабочего процесса для обнаружения ошибок конструкции.

Обнаружение переполнения целого числа и ошибок деления на ноль

Пример определения ошибок конструкции в модели и просмотра результатов анализа.

Обнаружение ошибок доступа к границам массива

Перед моделированием обнаруживайте в модели ошибки, связанные с доступом к массиву.

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

Перед моделированием определите в модели значения с плавающей запятой.

Обнаружение нарушений доступа к хранилищу данных

Обнаружение нарушений доступа к хранилищу данных в модели.

Обнаружение ошибок проектирования в пользовательском коде C/C + +

Пример обнаружения ошибок проектирования в пользовательском коде C/C + +.

Значения ограничений параметров

Обзор конфигурации параметров для анализа Simulink ® Design Verifier™.

Определение значений ограничений для параметров

Пример указания параметров в качестве переменных для анализа.

Сохранение ограничений параметров в файлах кода MATLAB

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

Определение значений ограничений для параметров в файлах кодов MATLAB

Описывает, как определить конфигурации параметров m кодовых файлов MATLAB ®.

Использование функций командной строки для поддержки изменения параметров

В этом примере показано, как использовать функции командной строки Simulink ® Design Verifier™ для создания тестовых данных, включающих различные значения параметров.

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

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

Отладка обнаружения ошибок конструкции при переполнении целых чисел с помощью среза модели

В этом примере показано, как использовать модель Slicer для отладки ошибок конструкции целочисленного переполнения в модели Simulink.