Документация

Системные требования

От начала до конца систематическая верификация начинается с системных требований. Системные требования подробно излагают проект модели и спецификации тестирования и верификации.

Если у вас есть лицензия Simulink Requirements™, можно создать и управлять системными требованиями, соединить блоки Simulink с требованиями и соединить тесты с требованиями, чтобы они проверили из окружения Simulink. Для получения дополнительной информации смотрите Тестовую модель Против Результатов Отчета и Требований.

Данные моделирования

Чтобы записать покрытие, вы сначала задаете входные сигналы для своей модели. Для получения дополнительной информации смотрите, Создают и Тесты Запуска и Выполняют Функциональное Тестирование и Анализируют Тестовое покрытие.

Если у вас есть лицензия Simulink Design Verifier™, можно также задать ожидаемые выходные сигналы для заданных входных сигналов. Для получения дополнительной информации смотрите, Выполняют Функциональное Тестирование и Анализируют Тестовое покрытие (Simulink Design Verifier). Можно также автоматически сгенерировать тест для системы. Для получения дополнительной информации смотрите Рабочий процесс для Генерации Теста (Simulink Design Verifier).

Симуляция

После того, как вы Зададите Опции Покрытия для своей модели, вы затем симулируете покрытие модели записи и модели. Для получения дополнительной информации о типах покрытия модели смотрите Типы Покрытия модели. Можно записать несколько запусков данных о покрытии и накопить результаты. Для получения дополнительной информации смотрите доступ, Справьтесь и Накопите Результаты покрытия ​​ при помощи Проводника Результатов и Совокупных Данных о Покрытии.

Если у вас есть лицензия Embedded Coder^®, можно также записать покрытие кода для моделей в программном обеспечении в режиме (SIL) цикла и процессоре в режиме (PIL) цикла. Отчеты покрытия кода говорят вам, какие части вашего сгенерированного кода осуществлены вашими тестами, и также какие элементы вашей модели сопоставлены с который части вашей модели. Для получения дополнительной информации о включении SIL или покрытия кода PIL для модели, смотрите, Задают Опции Покрытия кода.

Если у вас есть лицензия Simulink Design Verifier, можно смоделировать и проверить доказательство свойства использования конструктивных требований. Для получения дополнительной информации смотрите Основанную на требованиях Верификацию (Simulink Design Verifier).

Отчеты покрытия и выделение модели

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

Если у вас есть лицензия Embedded Coder, и вы записываете покрытие кода для моделей в программном обеспечении в режиме (SIL) цикла и процессоре в режиме (PIL) цикла, отчеты покрытия кода говорят вам, какие части вашего сгенерированного кода осуществлены вашими тестами, и также какие элементы вашей модели сопоставлены с который части вашей модели. Для получения дополнительной информации о включении SIL или покрытия кода PIL для модели, смотрите Покрытие кода для Моделей в программном обеспечении в цикле (SIL) Режим и Процессор в цикле (PIL) Режим.

Разрешите недостающее покрытие

Если вы находите, что части вашего проекта не полностью тестируются, можно предпринять шаги, чтобы разрешить недостающее покрытие и завоевать доверие, что тесты и верификация являются завершенными и соответствующими. Для получения дополнительной информации смотрите Решение Недостающего покрытия.

Архив и отчет

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