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

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

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

Если у вас есть лицензия 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) Режим.

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

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

Архив и отчет

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