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

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

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

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

Устранение недостающего покрытия

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

Архив и отчет

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