Управляйте основанными на требованиях артефактами тестирования для анализа в модели, тестирующей инструментальную панель
Когда вы разработаете и протестируете компоненты программного обеспечения с помощью Модельно-ориентированного проектирования, используйте Модель, Тестирующую Инструментальную панель, чтобы оценить состояние и качество модели, тестирующей действия. Основанное на требованиях тестирование является центральным элементом верификации модели. Путем установления трассируемости соединяется между требованиями, элементами дизайна модели и тестами, можно измерить степень, до которой требования реализованы и проверены. Модель, Тестирующая Инструментальную панель, анализирует эту информацию о трассируемости и обеспечивает подробные метрические измерения на трассируемости, состоянии и результатах этих артефактов тестирования.
Каждая метрика в инструментальной панели измеряет другой аспект качества вашего тестирования модели и отражает инструкции в признанных промышленностью стандартах разработки программного обеспечения, таких как ISO 26262 и DO - 178C. Чтобы контролировать основанное на требованиях качество тестирования ваших моделей Модель, Тестирующая Инструментальную панель, обеспечьте свои артефакты в проекте и следуйте за этими факторами. Для получения дополнительной информации об использовании Модели, Тестирующей Инструментальную панель, смотрите, Исследуют Состояние и Качество Тестирования Действий Используя Модель, Тестирующую Инструментальную панель.
Управляйте файлами артефакта в проекте
Чтобы анализировать ваши основанные на требованиях действия тестирования в Модели, Тестирующей Инструментальную панель, сохраните свой проект и тестирующий артефакты в проекте. Артефакты, которые анализируют метрики тестирования, включают:
Модели
Требования, чтобы вы создали в Simulink® Requirements™
Библиотеки, которыми пользуются модели
Тесты, которые вы создаете в Simulink Test™
Результаты испытаний от выполняемых тестов
Для того, чтобы анализировать последние активы в Модели, Тестирующей Инструментальную панель, гарантируйте что вы:
Сохраните изменения в своих файлах артефакта.
Экспортируйте результаты испытаний и сохраните их в файле результатов.
Храните файлы, которые вы хотите анализировать в проекте.
Компоненты программного обеспечения модели для основанного на требованиях тестирования
Модель, Тестирующая Инструментальную панель, обеспечивает трассируемость и анализ тестирования для каждого компонента в вашем проекте. Компонент является функциональным объектом в вашей программной архитектуре, которую можно выполнить и протестировать независимо или как часть большего тестирования системы. Модель, Тестирующая Инструментальную панель, рассматривает каждую модель в вашем проекте представлять компонент, потому что вы используете модели, чтобы спроектировать и протестировать алгоритмы на ваши компоненты программного обеспечения в Модельно-ориентированном проектировании. Для каждого компонента вы разрабатываете функциональные требования на основе высокоуровневых системных требований и роли компонента. Вы затем моделируете алгоритм компонента, чтобы выполнить функциональные требования. Затем чтобы протестировать компонент, вы выводите тесты из требований и запускаете тесты на модели. В течение этого процесса вы создаете и обеспечиваете явные или неявные ссылки трассируемости между:
Каждое функциональное требование и элементы модели, которые реализуют его
Каждое функциональное требование и тесты, которые проверяют его
Каждый тест и модель, которую это тестирует
Каждый тест и последние результаты, к которым это привело
Эти ссылки трассируемости позволяют вам отслеживать полноту своих требований, проекта и действий тестирования. Ссылки помогают вам найти разрывы в проекте и тестировании. Если тест перестал работать, можно перейти по ссылкам трассируемости к тесту, который перестал работать, требование, чтобы это протестировало, и к элементу модели, который реализовал требование. Это позволяет вам быстро находить возможные ошибки проектирования, которые вызвали непройденный тест. Промышленные стандарты для разработки программного обеспечения, такие как ISO 26262 и DO - 178C требуют, чтобы трассируемость между этими артефактами показала тестирование полноты.
Модель, Тестирующая Инструментальную панель, возвращает трассируемость и метрические результаты для артефактов в рамках компонента. Артефакты в пределах компонента являются моделью и требованиями, тестами и результатами испытаний, которые прослеживают до модели. В инструментальной панели панель Artifacts организует артефакты компонентами, до которых они прослеживают, и использует имя модели, чтобы представлять каждый компонент.
Список компонента не включает системы, которые не являются моделями, такими как подсистемы. Когда вы моделируете свою систему, если вы хотите протестировать и анализировать фрагмент вашего проекта в Модели, Тестирующей Инструментальную панель, сохраните его как модель.
Проследите артефакты до компонентов для модели, тестирующей анализ
Чтобы определить, какие артефакты в пределах компонента, Модель, Тестирующая Инструментальную панель, анализирует ссылки трассируемости между артефактами и моделями в проекте, которые соответствуют компонентам. Панель Artifacts перечисляет каждый компонент, представленный именем модели и этими артефактами, которые прослеживают до компонента:
Функциональные требования
Спроектируйте артефакты
Тесты
Результаты испытаний
После списка компонентов папка Untraced показывает артефакты, что инструментальная панель не проследила ни до одной из моделей. Если артефакт возвращает ошибку во время анализа трассируемости, панель включает артефакт в папку Errors. Используйте информацию о трассируемости в этих разделах и в компонентах, чтобы проверять, прослеживают ли артефакты тестирования до моделей, которые вы ожидаете.
Как вы редактируете и сохраняете артефакты в своем проекте, инструментальная панель отслеживает ваши изменения и указывает, могут ли данные о трассируемости в панели Artifacts быть устаревшими путем включения кнопки Trace Artifacts. Чтобы обновить данные о трассируемости, нажмите Trace Artifacts. Если кнопка не включена, инструментальная панель не обнаружила изменения, которые влияют на информацию о трассируемости.
Функциональные требования
Папка Functional Requirements показывает требования, где Type установлен в Functional и это соответствует одному из этих критериев соединения:
Требование соединяется с моделью или с подсистемой библиотеки, используемой моделью со ссылкой, где Type установлен в
Implements.Требование находится под контейнерным требованием, которое соединяется с моделью или с подсистемой библиотеки, используемой моделью со ссылкой, где Type установлен в
Implements.Требование прослеживает до модели через комбинацию предыдущих двух критериев. Например, требование, которое находится под контейнерным требованием, которое соединяется с другим требованием, которое соединяется с моделью.
Создайте или импортируйте эти требования в файле требований (.slreqx) при помощи Simulink Requirements. Если вы ожидаете, что требование появится под компонентом, который появляется под Untraced, проверяйте, использует ли он один из типов ссылки, которые не прослеживает инструментальная панель, которые описаны в Непрослеженных Артефактах. Для получения дополнительной информации о соединении требований, смотрите Ссылки Требования (Simulink Requirements).
Когда вы собираете метрические результаты для компонента, инструментальная панель анализирует подмножество требований, которые появляются в папке Functional Requirements. Метрики анализируют только требования, где Type установлен в Functional и это непосредственно соединяется с моделью со ссылкой, где Type установлен в Implements. Требование, которое прослеживает до компонента, но не имеет этих настроек, появляется в папке Functional Requirements, но не вносит метрические результаты для требований.
Спроектируйте артефакты
Папка Design Artifacts показывает файл модели, который содержит блок-схему для компонента и библиотек, которыми частично или полностью пользуется модель.
Тесты
Папка Test Cases показывает тесты, которые прослеживают до модели. Это включает тесты, которые работают на и тестах модели, которые работают на подсистемах в модели при помощи тестовых обвязок. Создайте эти тесты в файле тестового набора при помощи Simulink Test.
Когда вы собираете метрические результаты для компонента, инструментальная панель анализирует подмножество тестов, которые появляются в папке Test Cases. Инструментальная панель анализирует только тесты, которые работают на модели. Тесты, которые тестируют подсистему в модели, появляются в папке, но не способствуют метрикам, потому что они не тестируют целую модель.
Результаты испытаний
Папка Test Results показывает результаты испытаний от тестов, которые тестируют модель. Чтобы просмотреть и анализировать результаты испытаний в Модели, Тестирующей Инструментальную панель, необходимо экспортировать и сохранить результаты испытаний в файле результатов. Результаты, которые вы собрали в менеджере по Тесту, но не экспортировали, не появляются в инструментальной панели и не способствуют метрическим результатам. Если вы ожидаете результат появиться под компонентом, который появляется под Untraced, проверяйте, использует ли он один из типов ссылки, которые не прослеживает инструментальная панель, которые описаны в Непрослеженных Артефактах.
Когда вы собираете метрические результаты для компонента, инструментальная панель анализирует подмножество результатов испытаний, которые появляются в папке Test Results. Инструментальная панель анализирует только новые результаты тестов, которые работают на модели. Метрики не включают результаты тестов, которые не работают на модели, такой как тесты тот тест подсистемы.
Непрослеженные артефакты
Папка Untraced показывает артефакты, что инструментальная панель не проследила ни до каких моделей. При рассмотрении трассируемости артефактов в проекте рассмотрите эти ограничения:
Инструментальная панель не прослеживает или анализирует артефакты, которые не сохранены в текущем проекте.
Модель должна быть на пути поиска файлов MATLAB для того, чтобы появиться в панели Artifacts. Артефакты, которые соединяются с моделью, которая не находится на пути поиска файлов MATLAB, появляются в папке Untraced и не анализируются метриками.
Когда вы изменяете путь поиска файлов MATLAB, информация о трассируемости в панели Artifacts не обновляется. Не изменяйте путь поиска файлов, в то время как инструментальная панель открыта.
Инструментальная панель не прослеживает символьные ссылки файла в проекте, такие как ярлыки.
Инструментальная панель не прослеживает или анализирует артефакты в ссылках на проекты.
Если требование соединяется с или тестом модели одной из этих ссылок, инструментальная панель не прослеживает ссылку:
Встроенные ссылки, которые являются файлами требований, которые сохранены непосредственно в файле модели.
Ссылки на и из словарей данных.
Ссылки на файлы кода MATLAB.
Ссылки на встроенные блоки MATLAB Function.
Ссылки в файлах требования устаревших, которые имеют дополнительный
.req. Чтобы анализировать ссылки требования в инструментальной панели, сохраните ссылки в.slmxфайл или в файле требований (.slreqx).Ссылки с пользовательскими типами.
Ссылки на требования, которые используют пользовательские типы.
Ссылки на модели архитектуры System Composer™.
Если одно из этих условий соблюдают, когда вы запускаете свои тесты, сгенерированные результаты не прослеживаются, потому что инструментальная панель не может установить однозначную трассируемость к компоненту:
Никакой проект не загружается.
Инструментальная панель не была открыта, по крайней мере, однажды для проекта.
У вас нет лицензии Simulink Check™.
Тестовый файл хранится вне проекта.
Тестовый файл имеет несохраненные изменения.
Протестированная модель имеет несохраненные изменения.
Тестовый файл возвращает ошибку во время анализа трассируемости.
Протестированная модель возвращает ошибку во время анализа трассируемости.
Если одно из этих условий соблюдают, когда вы экспортируете свои результаты испытаний, сгенерированные результаты не прослеживаются, потому что инструментальная панель не может установить однозначную трассируемость к компоненту:
Никакой проект не загружается.
Инструментальная панель не была открыта, по крайней мере, однажды для проекта.
У вас нет лицензии Simulink Check.
Файл результата испытаний возвращает ошибку во время анализа трассируемости.
Используйте папку Untraced, чтобы проверять, пропускают ли какие-либо артефакты трассируемость к компонентам. Если вы добавляете трассируемость в артефакт, обновляете информацию в панели путем нажатия на Trace Artifacts.
Ошибки артефакта
Папка Errors показывает артефакты, которые возвратили ошибки, когда инструментальная панель выполнила анализ артефакта. Это некоторые ошибки, которые артефакты могут возвратить во время анализа трассируемости:
Артефакт возвращает ошибку, если он имеет несохраненные изменения, когда анализ трассируемости запускается.
Файл результатов испытаний возвращает ошибку, если он был сохранен в предыдущей версии Simulink.
Модель возвращает ошибку, если это не находится на пути поиска файлов.
Откройте эти артефакты и зафиксируйте ошибки. Затем чтобы анализировать трассируемость в инструментальной панели, нажмите Trace Artifacts.
Соберите метрические результаты
Модель, Тестирующая Инструментальную панель, собирает метрические результаты для каждого компонента, перечисленного в панели 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. Для теста, который соединяется с требованиями, проверяйте, что связанные требования реализованы моделью, на которой работает тест. Кроме того, для требования, которое соединяется с тестами, проверяйте, что тесты работают на модели, которая реализует требование.