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

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

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

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

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

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

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

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

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

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

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

Типы данных Underspecified

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Гарантируйте, что выделенная Simulink память, используемая в S-функциях, не пишет вне ее присвоенных границ массивов при записи в ее выходные параметры, состояния, или работает векторы.

Включение блока Model Verification

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

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

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

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

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

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

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

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

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

Похожие темы