Образцовые параметры конфигурации: диагностика законности данных

Диагностика> категория Законности Данных включает параметры для обнаружения проблем, связанных с данными (сигналы, параметры и состояния). Эти проблемы включают:

  • Потеря информации из-за квантования типа данных и переполнения.

  • Потеря приспособляемости параметра в сгенерированном коде.

  • Потеря информации из-за упорядоченного расположения блока Data Store Write и Data Store Read.

На диалоговом окне Configuration Parameters следующие параметры конфигурации находятся на панели Законности Данных.

ПараметрОписание

Разрешение сигнала

Выберите, как программное обеспечение Simulink® разрешает сигналы и состояния к объектам Simulink.Signal.

Деление сингулярной матрицей

Выберите диагностическое действие, чтобы взять, если блок продукта обнаруживает сингулярную матрицу при инвертировании одного из ее входных параметров в режиме умножения матриц.

Типы данных Underspecified

Выберите диагностическое действие, чтобы взять, если программное обеспечение Simulink не могло бы вывести тип данных сигнала во время распространения типа данных.

Проверка диапазона моделирования

Выберите диагностическое действие, чтобы взять, когда сигналы превысят заданные минимальные или максимальные значения.

Представьте проверку усечения в виде строки

Выберите диагностическое действие, чтобы взять, если сигнал строки является усеченным.

Перенеситесь на переполнении

Выберите диагностическое действие, чтобы взять, если значение сигнала переполняет типа данных сигнала и повторяется.

Размерности Underspecified

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

Насыщайте на переполнении

Выберите диагностическое действие, чтобы взять, если значение сигнала является слишком большим, чтобы быть представленным типом данных сигнала, приводящим к насыщенности.

Блок Inf или NaN выводится

Выберите диагностическое действие, чтобы взять, если значением блока вывод является Inf или NaN на шаге текущего времени.

"rt" снабжают префиксом для идентификаторов

Выберите диагностическое действие, чтобы взять во время генерации кода, если имя объекта Simulink (имя параметра, блока или сигнала) начинается с rt.

Обнаружьте удрученный

Выберите диагностическое действие, чтобы взять, когда удрученный параметр произойдет во время моделирования.

Обнаружьте переполнение

Выберите диагностическое действие, чтобы взять, если переполнение параметра происходит во время моделирования.

Обнаружьте потерю значимости

Выберите диагностическое действие, чтобы взять, когда потеря значимости параметра произойдет во время моделирования.

Обнаружьте потерю точности

Выберите диагностическое действие, чтобы взять, когда потеря точности параметра произойдет во время моделирования.

Обнаружьте потерю приспособляемости

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

Обнаружьте чтение перед записью

Выберите диагностическое действие, чтобы взять, если модель пытается считать данные от хранилища данных, до которого это не записало данные в этом временном шаге.

Обнаружьте запись, после того, как считано

Выберите диагностическое действие, чтобы взять, если модель пытается записать данные к хранилищу данных после предыдущего чтения данных из него на шаге текущего времени.

Обнаружьте запись после записи

Выберите диагностическое действие, чтобы взять, если модель пытается записать данные к хранилищу данных дважды по очереди на шаге текущего времени.

Многозадачное хранилище данных

Выберите диагностическое действие, чтобы взять, когда одна задача считывает данные от Блока памяти Хранилища данных, до которого записывает данные другая задача.

Дублирующиеся имена хранилищ данных

Выберите диагностическое действие, чтобы взять, когда модель содержит несколько хранилищ данных, которые имеют то же имя. Хранилища данных могут быть заданы с Блоками памяти Хранилища данных или объектами Simulink.Signal.

Эти параметры конфигурации находятся в Усовершенствованном разделе параметров.

ПараметрОписание

Границы массивов превышены

Включите живую потоковую передачу выбранных сигналов к Моделированию Data Inspector

Образцовое включение блока Verification

Включите образцовые блоки верификации в текущей модели или глобально или локально.

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

Выберите диагностическое действие, чтобы взять, когда программное обеспечение обнаруживает блок Merge больше чем с одним ведущим блоком, выполняющимся, в то же время продвигаются.

Обнаружение инициализации Underspecified

Выберите, как программное обеспечение Simulink обрабатывает инициализацию начальных условий для условно выполняемых подсистем, блоков Слияния, прошедшее время подсистемы и блоки Интегратора Дискретного времени.

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

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

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

Обнаружьте, если сигнал использует Допускающий повторное использование пользовательский класс памяти, который генератор кода не может снова использовать с другим использованием того же Допускающего повторное использование пользовательского класса памяти. Если генератор кода не может реализовать повторное использование, сгенерированный код будет, вероятно, содержать дополнительные глобальные переменные.

Похожие темы

Была ли эта тема полезной?