Что такое поиск ошибок проектирования?

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

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

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

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

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

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

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

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

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

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

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

Ограничительные значения параметра

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

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

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

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

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

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

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

Используя функции командной строки, чтобы поддержать изменяющиеся параметры

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

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

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

Панель верификатора проекта: Параметры

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

Разработайте панель верификатора

Задайте аналитические опции и сконфигурируйте Simulink Design Verifier вывод.

Опции Simulink Design Verifier

Обзор опций Simulink Design Verifier в диалоговом окне Configuration Parameters.

Рассмотрите результаты анализа

Рассмотрите результаты анализа в  окне Simulink Design Verifier Results Summary.