Основы моделирования в MATLAB. Часть 2. Simulink. Терёхин В.В. - 288 стр.

       15.3 Simulink Model Coverage


         При разработке больших моделей, имеющих сложную логику
переключения путей по которым распространяются сигналы, пользо-
ватель может столкнуться с проблемой тестирования модели. В ходе
тестирования пользователь обычно пытается разработать тест, кото-
рый охватывал бы все возможные пути, чтобы быть уверенным, что
модель полностью проверена. Simulink Model Coverage помогает
проверить эффективность подобных проверочных тестов. Используя
Simulink Model Coverage, пользователь может интерпретировать по-
ведение модели внутри индивидуальных блоков Simulink и объектов
Stateflow, определить степень выполнения имитации (за счет вычис-
ления количества выполнений каждого из блоков), а также идентифи-
цировать избыточность или недостаточность частей модели. Для оп-
ределения полноты тестирования модели возможна комбинация дан-
ных, полученных из разных имитаций.
         Simulink Model Coverage обеспечивает:
       • Охват блоков Simulink и объектов Stateflow.
       • Генерацию HTML документа, который представляет собой
         полный отчет по выполнению частей модели.
       • Сохранение и загрузку данных охвата между сеансами ими-
         тации.
       • Поддержку интерфейса для ввода команд, который автомати-
         зирует выполнение имитаций и сбор данных.
         Simulink Model Coverage позволит получить необходимый
уровень тестирования разработки и определить количество тестов,
необходимых для полной проверки. Анализ набора тестов в ходе раз-
работки существенно уменьшает риск дефектов конструкции на позд-
них стадиях создания модели.
         Для использования Simulink Model Coverage необходимо за-
дать параметры отчета с помощью пункта Coverage Setting меню
Tools. После выполнения моделирования будет открыт файл отчета в
окне справочной системы.




286