Во время симуляции вашего тестового файла MATLAB® Coder™ приложение обнаруживает мертвый код или код, который является постоянным свернутым. Приложение использует информацию о покрытии кода при переводе вашего кода из кода MATLAB с плавающей точкой в код MATLAB с фиксированной точкой. Просмотр результатов покрытия кода помогает вам проверить, что ваш тестовый файл выполняет алгоритм адекватно.
Приложение вставляет встроенные комментарии в код с фиксированной точкой, чтобы отметить мертвые и непереведенные области. Она включает информацию о покрытии кода в сгенерированный HTML преобразования с фиксированной точкой. Редактор приложений отображает маркированную цветом полосу слева от кода. В этой таблице описывается расцветка.
Цвет полосы покрытия | Указывает |
---|---|
Зеленый | Одна из следующих ситуаций:
Различные оттенки зеленого цвета указывают на различные области значений отсчётов выполнения линии. Самый темный оттенок зелёного цвета указывает на наивысшую область значений. |
Оранжевый | Функция точки входа выполняется несколько раз, но код выполняет один раз. |
Красный | Код не выполняется. |
Мертвый код - это код, который не выполняется во время симуляции. Мертвый код может быть результатом следующих сценариев:
Защитный код, содержащий целевые угловые случаи, которые не достигнуты
Человеческая ошибка в коде, приводящая к коду, который не может быть достигнут каким-либо путем выполнения
Неадекватная область значений испытательных стендов
Постоянное складывание
В этом примере показано, как обнаружить мертвый код в вашем алгоритме с помощью приложения MATLAB Coder.
В локальной папке с возможностью записи создайте функцию myFunction.m
.
function y = myFunction(u,v) %#codegen for i = 1:length(u) if u(i) > v(i) y=bar(u,v); else tmp = u; v = tmp; y = baz(u,v); end end end function y = bar(u,v) y = u+v; end function y = baz(u,v) y = u-v; end
В той же папке создайте тестовый файл, myFunction_tb
.
u = 1:100; v = 101:200; myFunction(u,v);
Из галереи Apps откройте приложение MATLAB Coder.
Установите Numeric Conversion значение Convert to fixed point
.
На странице Select Source Files перейдите к myFunction
файл и нажатие кнопки Open.
Нажмите Next. На странице Define Input Types выберите созданный тестовый файл myFunction_tb
. Нажмите Autodefine Input Types.
Нажмите Next. На странице Check for Run-Time Issues нажмите Check for Issues.
Приложение запускает myFunction_tb
тестовый файл и не обнаруживает проблем.
Нажмите Next. На странице Convert to Fixed-Point щелкните Analyze, чтобы симулировать функции точки входа, собрать информацию о области значений и получить предложенные типы данных.
Строка цветового кодирования в левой части окна редактирования указывает, выполняется ли код. Код в первом условии оператора if не выполняется во время симуляции, потому что u никогда не больше v. The bar
функция никогда не выполняется, потому что оператор if никогда не выполняется. Эти части алгоритма отмечены красной полосой, что указывает на то, что они являются мертвым кодом.
Чтобы применить предложенные типы данных к функции, нажмите Convert.
Приложение MATLAB Coder генерирует функцию с фиксированной точкой, myFunction_fixpt
. Сгенерированный код с фиксированной точкой содержит комментарии вокруг частей кода, идентифицированных как мертвый код. На панели Validation Results предлагается использовать более тщательный испытательный стенд.
Когда приложение MATLAB Coder обнаружит мертвый код, рассмотрите редактирование вашего тестового файла, чтобы ваш алгоритм выполнялся во всей его области значений. Если ваш тестовый файл уже отражает полную область значений входных переменных, рассмотрите редактирование вашего алгоритма, чтобы исключить мертвый код.
Закройте приложение MATLAB Coder.
Отредактируйте тестовый файл myFunction_tb.m
включать более широкую область значений входов.
u = 1:100; v = -50:2:149; myFunction(u,v);
Откройте приложение MATLAB Coder.
Используя ту же функцию и отредактированный тестовый файл, повторите процесс преобразования.
После того, как вы нажмете Analyze, на этот раз строка покрытия кода показывает, что все части алгоритма выполняются с новыми диапазонами входных областей значений тестового файла.
Чтобы завершить процесс преобразования и преобразовать функцию в фиксированную точку, нажмите Convert.