Управляйте основанными на требованиях артефактами тестирования для анализа в модели, тестирующей инструментальную панель
Когда вы разработаете и протестируете компоненты программного обеспечения с помощью Модельно-ориентированного проектирования, используйте Модель, Тестирующую Инструментальную панель, чтобы оценить состояние и качество модели, тестирующей действия. Основанное на требованиях тестирование является центральным элементом верификации модели. Путем установления трассируемости соединяется между требованиями, элементами дизайна модели и тестами, можно измерить степень, до которой требования реализованы и проверены. Модель, Тестирующая Инструментальную панель, анализирует эту информацию о трассируемости и обеспечивает подробные метрические измерения на трассируемости, состоянии и результатах этих артефактов тестирования.
Каждая метрика в инструментальной панели измеряет другой аспект качества вашего тестирования модели и отражает инструкции в признанных промышленностью стандартах разработки программного обеспечения, таких как ISO 26262 и DO - 178C. Чтобы контролировать основанное на требованиях качество тестирования ваших моделей в Модели, Тестирующей Инструментальную панель, обеспечьте свои артефакты в проекте и следуйте за этими факторами. Для получения дополнительной информации об использовании Модели, Тестирующей Инструментальную панель, смотрите, Исследуют Состояние и Качество Тестирования Действий Используя Модель, Тестирующую Инструментальную панель.
Управляйте файлами артефакта в проекте
Чтобы анализировать ваши основанные на требованиях действия тестирования в Модели, Тестирующей Инструментальную панель, сохраните свой проект и тестирующий артефакты в проекте. Артефакты, которые анализируют метрики тестирования, включают:
Модели
Требования, чтобы вы создали в Simulink® Requirements™
Библиотеки, которыми пользуются модели
Тесты, которые вы создаете в Simulink Test™
Результаты испытаний от выполняемых тестов
Для того, чтобы анализировать последние активы в Модели, Тестирующей Инструментальную панель, проверяйте что вы:
Сохраните изменения в своих файлах артефакта.
Экспортируйте результаты испытаний и сохраните их в файле результатов.
Храните файлы, которые вы хотите анализировать в проекте.
Компоненты программного обеспечения модели для основанного на требованиях тестирования
Модель, Тестирующая Инструментальную панель, обеспечивает трассируемость и анализ тестирования для каждого компонента в вашем проекте. Компонент является функциональным объектом в вашей программной архитектуре, которую можно выполнить и протестировать независимо или как часть большего тестирования системы. Для каждого компонента вы разрабатываете функциональные требования на основе высокоуровневых системных требований и роли компонента. Вы затем моделируете алгоритм компонента, чтобы выполнить функциональные требования. Затем чтобы протестировать компонент, вы выводите тесты из требований и запускаете тесты на модели. В течение этого процесса вы создаете и обеспечиваете явные или неявные ссылки трассируемости между:
Каждое функциональное требование и элементы модели, которые реализуют его
Каждое функциональное требование и тесты, которые проверяют его
Каждый тест и модель, которую это тестирует
Каждый тест и последние результаты, к которым это привело
Эти ссылки трассируемости позволяют вам отслеживать полноту своих требований, проекта и действий тестирования. Ссылки помогают вам найти разрывы в проекте и тестировании. Если тест перестал работать, можно перейти по ссылкам трассируемости к тесту, который перестал работать, требование, чтобы это протестировало, и к элементу модели, который реализовал требование. Это позволяет вам быстро находить возможные ошибки проектирования, которые вызвали непройденный тест. Промышленные стандарты для разработки программного обеспечения, такие как ISO 26262 и DO - 178C требуют, чтобы трассируемость между этими артефактами показала тестирование полноты.
Маркируйте Software Component Models for Analysis в инструментальной панели
Задайте, какие модели в вашем проекте являются компонентами программного обеспечения так, чтобы инструментальная панель могла анализировать их состояние тестирования. Пометьте модели компонента в своем проекте и сконфигурируйте инструментальную панель, чтобы найти модели, которые имеют метку.
В вашем проекте создайте метку, которую можно использовать, чтобы идентифицировать модели компонента программного обеспечения. Например,
Software Component. Для примера того, как создать метку, смотрите, Создают Метки.Добавьте метку в модели компонента программного обеспечения. Для примера того, как добавить метку, смотрите, Добавляют Метки к Файлам.
В Модели, Тестирующей Инструментальную панель, нажмите Options. Выберите категорию и метку, которую вы создали для идентификации моделей компонента программного обеспечения.
Нажмите Trace Artifacts. Инструментальная панель обновляет список компонентов в панели Artifacts, чтобы показать только модели, которые имеют метку компонента программного обеспечения, которую вы добавили. Затем инструментальная панель обновляет данные о трассируемости для тех моделей компонента.
Управление списком моделей, которые анализирует инструментальная панель, облегчает для вас отслеживать ваш прогресс тестирования только для компонентов программного обеспечения, для которых нужно основанное на требованиях тестирование.
Проследите артефакты до компонентов для модели, тестирующей анализ
Чтобы определить, какие артефакты в пределах компонента, Модель, Тестирующая Инструментальную панель, анализирует ссылки трассируемости между артефактами и моделями компонента программного обеспечения в проекте. Панель Artifacts перечисляет каждый компонент, представленный именем модели и этими артефактами, которые прослеживают до компонента:
Функциональные требования
Спроектируйте артефакты
Тесты
Результаты испытаний
Чтобы видеть путь к трассируемости что инструментальная панель, найденная от артефакта до его компонента, щелкните правой кнопкой по артефакту и нажмите View trace to component. График трассируемости открывается в новой вкладке в Модели, Тестирующей Инструментальную панель. График показывает связи и промежуточные артефакты, что инструментальная панель проследила от компонента до артефакта. Чтобы видеть тип трассируемости, которая соединяет два артефакта, установите свой курсор на стрелу, которая соединяет артефакты. Отношение трассируемости является или одним артефактом, содержащим другой или одной трассировкой артефакта до другого. Например, представление трассировки для функционального требования CC003_05 показывает, что это содержится в требовании Activating cruise control. Контейнерное требование прослеживает до функционального требования Set Switch Detection, который прослеживает до db_DriverSwRequest компонента.
После списка компонентов папка Untraced показывает артефакты, что инструментальная панель не проследила до моделей. Если артефакт возвращает ошибку во время анализа трассируемости, панель включает артефакт в папку Errors. Используйте информацию о трассируемости в этих разделах и в компонентах, чтобы проверять, прослеживают ли артефакты тестирования до моделей, которые вы ожидаете. Чтобы видеть детали о предупреждениях и ошибках, которые инструментальная панель находит во время анализа артефакта, в нижней части Модели, Тестирующей диалоговое окно Инструментальной панели, нажимают Diagnostics.
Как вы редактируете и сохраняете артефакты в своем проекте, инструментальная панель отслеживает ваши изменения и указывает, могут ли данные о трассируемости в панели Artifacts быть устаревшими путем включения кнопки Trace Artifacts. Чтобы обновить данные о трассируемости, нажмите Trace Artifacts. Если кнопка не включена, инструментальная панель не обнаружила изменения, которые влияют на информацию о трассируемости.
Функциональные требования
Папка Functional Requirements показывает требования, где Type установлен в Functional и та трассировка к модели компонента непосредственно или через контейнерное требование, подсистему библиотеки или комбинацию двух. Для получения дополнительной информации о соединении требований, смотрите Ссылки Требования (Simulink Requirements).
Если требование не прослеживает до компонента, это появляется в папке Untraced Artifacts. Если требование не появляется в панели Artifacts, когда вы ожидаете его к, смотрите, что Требование отсутствует в Панели Артефактов.
Когда вы собираете метрические результаты для компонента, инструментальная панель анализирует подмножество требований, которые появляются в папке Functional Requirements. Метрики анализируют только требования, где Type установлен в Functional и это непосредственно соединяется с моделью со ссылкой, где Type установлен в Implements. Требование, которое прослеживает до компонента, но не имеет этих настроек, появляется в папке Functional Requirements, но не вносит метрические результаты для требований. Для поиска и устранения неисправностей метрических результатов для требований смотрите, Фиксируют требование, которое не приводит к метрическим результатам.
Спроектируйте артефакты
Папка Design показывает:
Файл модели, который содержит блок-схему для компонента.
Библиотеки, которыми частично или полностью пользуется модель.
Словари данных, которые соединяются с моделью.
Тесты
Папка Test Cases показывает тесты, которые прослеживают до модели. Это включает тесты, которые работают на и тестах модели, которые работают на подсистемах в модели при помощи тестовых обвязок. Создайте эти тесты в файле тестового набора при помощи Simulink Test.
Если тест не прослеживает до компонента, это появляется в папке Untraced Artifacts. Если тест не появляется в панели Artifacts, когда вы ожидаете его к, смотрите, что Тест отсутствует в Панели Артефактов.
Когда вы собираете метрические результаты для компонента, инструментальная панель анализирует подмножество тестов, которые появляются в папке Test Cases. Инструментальная панель анализирует только тесты, которые работают на модели. Тестовые обвязки подсистемы появляются в папке, но не способствуют метрикам, потому что они не тестируют целую модель. Для поиска и устранения неисправностей тестов в метрических результатах смотрите, Фиксируют тест, который не приводит к метрическим результатам.
Результаты испытаний
Папка Test Results показывает эти типы результатов испытаний от тестов, которые тестируют модель:
Сохраненные результаты испытаний — результаты, которые вы собрали в менеджере по Тесту и экспортировали в файл результатов.
Временные результаты испытаний — результаты, которые вы собрали в менеджере по Тесту, но не экспортировали в файл результатов. Когда вы экспортируете результаты менеджера по Тесту, инструментальная панель анализирует сохраненные результаты вместо временных результатов. Кроме того, инструментальная панель прекращает распознавать временные результаты, когда вы закрываете проект или закрываете набор результатов в Проводнике Результата Simulink Test. Если вы хотите анализировать результаты на последующем сеансе тестирования или сеансе проекта, экспортируйте результаты в файл результатов.
Если результат испытаний не прослеживает до компонента, это появляется в папке Untraced Artifacts. Если результат испытаний не появляется в панели Artifacts, когда вы ожидаете его к, смотрите Результат испытаний отсутствовать в Панели Артефактов.
Когда вы собираете метрические результаты для компонента, инструментальная панель анализирует подмножество результатов испытаний, которые появляются в папке Test Results. Для поиска и устранения неисправностей результатов испытаний в метрических результатах инструментальной панели смотрите, Фиксируют результат испытаний, который не приводит к метрическим результатам.
Непрослеженные артефакты
Папка Untraced показывает артефакты, что инструментальная панель не проследила до моделей. Используйте папку Untraced, чтобы проверять, пропускают ли артефакты трассируемость к компонентам. Когда вы добавляете трассируемость в артефакт, обновляете информацию в панели путем нажатия на Trace Artifacts. Модель, Тестирующая Инструментальную панель, не поддерживает анализ трассируемости для некоторых артефактов и некоторых ссылок. Если артефакт не прослеживается, когда вы ожидаете, что он проследит до компонента, смотрите решения для поиска и устранения неисправностей в Непрослеженных Артефактах.
Ошибки артефакта
Папка Errors показывает артефакты, которые возвратили ошибки, когда инструментальная панель выполнила анализ артефакта. Это некоторые ошибки, которые артефакты могут возвратить во время анализа трассируемости:
Артефакт возвращает ошибку, если он имеет несохраненные изменения, когда анализ трассируемости запускается.
Файл результатов испытаний возвращает ошибку, если он был сохранен в предыдущей версии Simulink.
Модель возвращает ошибку, если это не находится на пути поиска файлов.
Откройте эти артефакты и зафиксируйте ошибки. Затем чтобы анализировать трассируемость в инструментальной панели, нажмите Trace Artifacts.
Диагностика
Чтобы видеть детали об артефактах, которые вызывают предупреждения или ошибки во время анализа, в нижней части Модели, Тестирующей диалоговое окно Инструментальной панели, нажимают Diagnostics. Средство просмотра диагностики отображает ошибки, предупреждения и информационные сообщения. Можно отфильтровать диагностические сообщения типом и очистить сообщения от средства просмотра.
Диагностические сообщения показывают:
Моделирование построений, которые не поддерживает инструментальная панель
Ссылки, которые не прослеживает инструментальная панель
Тестовые обвязки или случаи, которые не поддерживает инструментальная панель
Недостающее покрытие результатов испытаний или результаты симуляции
Артефакты, которые возвращают ошибки, когда инструментальная панель загружает их
Информация о коллбэках модели, которые деактивировала инструментальная панель
Соберите метрические результаты
Модель, Тестирующая Инструментальную панель, собирает метрические результаты для каждого компонента, перечисленного в панели Artifacts. Каждая метрика в инструментальной панели измеряет другой аспект качества тестирования вашей модели и отражает инструкции в признанных промышленностью стандартах разработки программного обеспечения, таких как ISO 26262 и DO-178. Для получения дополнительной информации о доступных метриках и результатах, которые они возвращают, см., что Модель Тестирует Метрики.
Как вы редактируете и сохраняете артефакты в своем проекте, инструментальная панель отслеживает ваши изменения и указывает, могут ли метрические результаты в инструментальной панели быть устаревшими. Если ваши изменения влияют на информацию о трассируемости в панели Artifacts, нажмите Trace Artifacts. После того, как вы обновляете информацию о трассируемости, если метрические результаты могут быть затронуты вашими изменениями артефакта, значок Stale Metrics
появляется наверху инструментальной панели. Затронутые виджеты кажутся подсвеченными в сером. Чтобы обновить результаты, нажмите Collect Results> Collect All Results.
Инструментальная панель не указывает на устаревшие метрические данные для этих изменений:
После того, как вы запускаете тест и анализируете результаты в инструментальной панели, если вы вносите изменения в тест, инструментальная панель указывает, что метрики теста являются устаревшими, но не указывает, что метрики результатов являются устаревшими.
Когда вы изменяете файл фильтра покрытия, который используют ваши результаты испытаний, метрики покрытия в инструментальной панели не указывают на устаревшие данные или включают изменения. После того, как вы сохраняете изменения в файле фильтра, повторно выполняете тесты и используете файл фильтра для новых результатов.
Когда вы собираете метрические результаты для компонента, инструментальная панель возвращает результаты для подмножества артефактов, которые прослеживают до компонента. Однако метрические результаты, которые считают ссылки трассируемости между требованиями и тестами, включают ссылки на артефакты, которые могут проследить до других компонентов или ни до каких компонентов. Например, если тест TestCaseA тесты ModelA, затем запуская метрический Test case linked to requirements на ModelA возвращает результат для того теста. Когда метрика проверяет на требования, которые соединяются с TestCaseA, метрика не рассматривает реализацию или состояние трассируемости требований. Если TestCaseA имеет Verifies соедините с требованием RequirementB, который соединяется с различной моделью, затем метрика возвращает true указание, что тест соединяется. Однако, если вы запускаете метрический Requirement linked to test cases на ModelA, это не возвращает результат для RequirementB потому что требование не соединяется с ModelA. Для теста, который соединяется с требованиями, проверяйте, что связанные требования реализованы моделью, на которой работает тест. Кроме того, для требования, которое соединяется с тестами, проверяйте, что тесты работают на модели, которая реализует требование.