В этом примере показано, как использовать Нож Модели, чтобы отладить ошибки проектирования целочисленного переполнения в модели Simulink.
Этот пример использует следующие продукты, чтобы продемонстрировать отладку нарушений Поиска ошибок проектирования:
Simulink Design Verifier
Simulink Check (нож модели)
1. Открытая модель sldvdemo_design_error_detection.
open_system('sldvdemo_design_error_detection');
2. Откройте Simulink Design Verifier путем нажатия на Apps> Design Verifier.
3. Во вкладке Design Verifier нажмите Detect Design Errors. Simulink Design Verifier анализирует модель и отображает результаты в окне Results Summary.
Модель подсвечивает подсистему, где не пройдено цели расположены.
4. Открытый Controller подсистема и выбор любой из блоков, которые подсвечены в красном.
5. В окне Results нажмите Debug, чтобы отладить Нож Модели использования нарушения. В качестве альтернативы во вкладке Design Verifier, нажмите Review Results> Debug с помощью Ножа, чтобы отладить Нож Модели использования нарушения.
При Нажатии на любую из точек входа для отладки следующая настройка сделана на модели:
Выбранный блок с не пройдено целью добавляется как начальная точка для Ножа Модели.
Модель подсвечена со срезом, ответственным за провальную цель.
Модель проекта симулирована и приостановлена во время нарушения.
6. Отладьте и анализируйте модель путем осмотра меток порта.
Совет: Нажмите на линию выходного сигнала блока Sum, чтобы включить метку значения порта для блока.
Можно заметить, что сумма входных переменных должна привести к ненулевому номеру.
7. Исследуйте типы входных и выходных данных блока суммы.
Выход блока Sum имеет значение, больше, чем максимальное значение, которое может сохранить тип выходных данных. Это условие поэтому приводит к целочисленному переполнению.
Чтобы подтвердить, что ошибка целочисленного переполнения была разрешена на вкладке Design Verifier, нажимают Detect Design Errors. После того, как анализ завершается, программное обеспечение сообщает, что все цели допустимы.
Можно использовать рабочий процесс demostrated в этом примере, чтобы отладить другой Нож Модели использования нарушений Поиска ошибок проектирования. Следующее является поддерживаемыми ошибками проектирования:
Деление на нуль
Целочисленное переполнение
Non-Finate и NaN (Не Номер) значения с плавающей точкой
Заданные нарушения минимального и максимального значения
Нарушения прав доступа datastore
Заданные нарушения входного диапазона блока