Для обнаружения вхождений нефинита, NaN и субнормальных значений с плавающей запятой в модели:
На вкладке Design Verifier в разделе Mode выберите Design Error Detection.
Щелкните Параметры обнаружения ошибок.
В диалоговом окне «Параметры конфигурации» на панели «Обнаружение ошибок конструкции» выполните следующие действия.
Установите флажок для значений Non-finite и NaN с плавающей точкой.
Установите флажок для Субнормальных значений с плавающей запятой.
Чтобы применить эти настройки, нажмите кнопку ОК и закройте диалоговое окно Параметры конфигурации (Configuration Parameters).
Щелкните Обнаружить ошибки конструкции (Detect Design Errors).
Simulink ® Design Verifier™ анализирует модель для обнаружения вхождений нефинита, NaN и субнормальных значений с плавающей запятой.
После завершения анализа:
Программа выделяет модель с результатами анализа.
В окнах Сводка результатов (Results Summary) отображается сводка анализа.
При анализе модели и выборе значений Non-finite и NaN с плавающей запятой программа предполагает, что входные значения с плавающей запятой и настраиваемые значения параметров являются конечными.
При анализе модели и выборе Субнормальные значения с плавающей запятой (Subnormal floating-point values) программа предполагает, что входные значения с плавающей запятой и настраиваемые значения параметров являются нормальными.
Модели, использующие сигналы с плавающей запятой с двойной точностью, требуют больше времени для анализа, чем аналогичные модели, использующие сигналы с плавающей запятой с одной точностью. В результате модели, использующие сигналы с плавающей запятой с двойной точностью, могут выйти из режима ожидания, в то время как аналогичные модели, использующие сигналы с плавающей запятой с одной точностью, завершают свой анализ. Чтобы повысить производительность анализа, рекомендуется указать минимальные и максимальные значения, имитирующие ограничения среды для блоков ввода корневого уровня.
Если модель содержит операции приведения между сигналами с плавающей запятой и многословными сигналами с фиксированной запятой, анализ может оказаться не в состоянии решить все задачи.
В этом примере показано, как обнаружить нефинитные, NaN и субнормальные значения с плавающей запятой в sldvexFloatingPointErrorChecks пример модели. Модель состоит из арифметических операций с плавающей запятой, которые приводят к ошибке. Выполните анализ обнаружения ошибок конструкции для обнаружения этих ошибок в модели.
1. Открытие модели
Эта модель состоит из блоков «Добавить» и «Разделить», обрабатывающих вычисления с плавающей запятой. Анализ обнаружения ошибок конструкции обнаруживает в модели появление ошибок с плавающей запятой и сообщает о результатах.
open_system('sldvexFloatingPointErrorChecks');
2. Выполнение анализа обнаружения ошибок проекта
Модель предварительно сконфигурирована со значениями Non-finite и NaN с плавающей запятой и опциями Subnormal с плавающей запятой, имеющими значение On. Дополнительные сведения см. в разделе Панель Design Verifier: Design Error Detection.
Чтобы выполнить анализ обнаружения ошибок конструкции, на вкладке «Проверка конструкции» в разделе «Режим» выберите «Обнаружение ошибок конструкции». Щелкните Обнаружить ошибки конструкции (Detect Design Errors).
Программа анализирует модель на наличие ошибок с плавающей запятой и отображает результаты в окне Сводка результатов (Results Summary). Результат показывает, что 4 вне 6 цели фальсифицированы.
3. Обзор результатов анализа
a. Щелкните Выделить результаты анализа на модели. Блоки модели, приводящие к ошибкам с плавающей запятой, выделяются красным цветом.
b. Щелкните на блоке «Добавить», выделенном красным цветом. Инспектор результатов отображает сводку целевых значений ошибок с плавающей запятой.
c. Щелкните выделенный красным цвет блока Division. Инспектор результатов отображает сводку целевых значений ошибок с плавающей запятой.
4. Просмотр отчета о подробном анализе
Чтобы просмотреть подробный отчет об анализе, в окне Сводка результатов (Results Summary) щелкните HTML. В отчете отображается сводка всех случаев ошибок с плавающей запятой в модели.
5. Очистить
Чтобы завершить этот пример, закройте модель.
close_system('sldvexFloatingPointErrorChecks', 0);