Что такой Поиск Ошибок Проектирования?

Объясняет опцию поиска ошибок проектирования анализа.

Производные области значений в поиске ошибок проектирования

Объясняет концепции проекта областей значений и производных областей значений в отношении поиска ошибок проектирования.

Запуск анализа Поиска ошибок проектирования

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

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

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

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

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

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

Обнаружите значения с плавающей точкой в модели перед симуляцией.

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

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

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

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

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

Обзор строения параметра для Simulink^® Design Verifier™ анализ.

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

Пример того, как задать параметры как переменные для анализа.

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

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

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

Описывает, как задать строения параметров m MATLAB^® файлы кода.

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

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

Проект верификатора: Поиск ошибок проектирования

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

Отладка целочисленного переполнения при поиске ошибок проектирования с помощью Slicer модели

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