Вы можете использовать Simulink ® Coverage™, чтобы повысить уверенность в своей конструкции и тестировании за счет сквозной систематической проверки.
Сквозная систематическая проверка начинается с системных требований. Требования к системе подробно описывают конструкцию модели и спецификации испытаний и проверки.
При наличии лицензии Simulink Requirements™ можно создавать системные требования и управлять ими, связывать блоки Simulink с требованиями и связывать тестовые примеры с требованиями, которые они проверяют в среде Simulink. Дополнительные сведения см. в разделах Проверка модели по требованиям и Результаты отчета.
Для записи покрытия сначала необходимо указать входные сигналы для модели. Дополнительные сведения см. в разделах Создание и выполнение тестовых примеров и Выполнение функционального тестирования и Анализ покрытия тестирования.
При наличии лицензии Simulink Design Verifier™ можно также указать ожидаемые выходные сигналы для указанных входных сигналов. Дополнительные сведения см. в разделе Выполнение функционального тестирования и анализ покрытия теста (Simulink Design Verifier). Можно также автоматически создать тестовый пример для системы. Дополнительные сведения см. в разделе Рабочий процесс создания тестового примера (Simulink Design Verifier).
После выбора Опции покрытия (Specify Coverage Options) для модели выполняется моделирование модели и запись покрытия модели. Дополнительные сведения о типах покрытия модели см. в разделе Типы покрытия модели. Можно записать несколько прогонов данных покрытия и накопить результаты. Дополнительные сведения см. в разделах Доступ, управление и накопление результатов покрытия с помощью обозревателя результатов и совокупных данных покрытия.
При наличии лицензии Embedded Coder ® можно также записать покрытие кода для моделей в режиме программного обеспечения в цикле (SIL) и в режиме процессора в цикле (PIL). Отчеты о покрытии кода содержат информацию о том, какие части сгенерированного кода выполняются тестами, а также о том, какие элементы модели связаны с какими частями сгенерированного кода. Дополнительные сведения о включении покрытия кода SIL или PIL для модели см. в разделе Определение параметров покрытия кода.
При наличии лицензии Simulink Design Verifier можно моделировать и проверять требования к конструкции с помощью проверки свойств. Дополнительные сведения см. в разделе Проверка на основе требований (Simulink Design Verifier).
После записи покрытия для моделирования необходимо просмотреть отчеты о покрытии и подсветку модели, чтобы выявить пробелы в тестировании с целью получения уверенности в том, что тесты и проверка являются полными и адекватными. Для получения дополнительной информации об отчетах об охвате и выделении модели см.:
Если у вас есть лицензия Embedded Coder и вы записываете покрытие кода для моделей в режиме программного обеспечения в цикле (SIL) и в режиме процессора в цикле (PIL), отчеты о покрытии кода сообщают вам, какие части созданного кода выполняются вашими тестами, а также какие элементы вашей модели связаны с какими частями модели. Дополнительные сведения о включении покрытия SIL или кода PIL для модели см. в разделе Покрытие кода для моделей в режиме программного обеспечения в цикле (SIL) и режиме процессора в цикле (PIL).
Если вы обнаружите, что части вашей конструкции не прошли полное тестирование, вы можете предпринять шаги для устранения недостающего покрытия и получить уверенность в том, что ваши тесты и проверка являются полными и адекватными. Дополнительные сведения см. в разделе Устранение недостающего покрытия.
Если вы уверены в тестировании и проверке своей конструкции, вы можете архивировать и сообщать о результатах записи покрытия. Дополнительные сведения см. в разделе: