Оцените результаты покрытия из основанных на требованиях тестов

Вы можете распространить результаты покрытия на связанные основанные на требованиях тесты из Simulink^® Test™ менеджер. Агрегированные результаты покрытия охватываются таким образом, что каждый тест способствует покрытию только для соответствующих элементов модели, которые реализуют требования, проверенные этим тестом.

Обоснование для анализа результатов покрытия со связанными основанными на требованиях тестами

Если ваше модельно-ориентированное проектирование процесс требует, чтобы модели полностью применялись с помощью основанных на требованиях тестов, можно распространить результаты покрытия только на те результаты, которые выполняются с помощью основанных на требованиях тестов. В качестве примера DO-178C предполагает, что информация о структурном покрытии, собранная во время основанного на требованиях проверки, должна подтверждать, что степень структурного покрытия является подходящей и удовлетворяет требованиям программного обеспечения. Когда вы включаете Scope coverage results to linked requirements, агрегированные результаты покрытия охватываются таким образом, что каждый тест способствует покрытию только для соответствующих элементов модели, которые реализуют требования, проверенные этим тестом.

Вы определяете требования и связываете их с элементами модели и тестами с помощью Simulink Requirements™. Оценка результатов покрытия связанных требований позволяет вам получить доказательства того, что покрытие модели получено из предполагаемых основанных на требованиях тестов и не является побочным эффектом несвязанного теста. Анализ результатов покрытия связанных требований может также выявить неадекватное связывание требований или пробелы в тестировании, которые в противном случае может быть трудно обнаружить в агрегированных результатах покрытия.

Необходимые условия для определения результатов покрытия для связанных основанных на требованиях тестов

Чтобы обмениваться результатами покрытия со связанными требованиями, необходимо:

Иметь лицензии на Simulink Test и Simulink Coverage™.
Соедините требования в Simulink Requirements с элементами модели и с тестами в Simulink Test, которые проверяют требования. Для получения дополнительной информации о создании ссылок требований смотрите Блоки ссылок и Требования (Simulink Requirements).

Примечание
Вы не можете создавать или редактировать ссылки требований или просматривать подробную информацию о требованиях без лицензии Simulink Requirements.
Соберите покрытие с помощью Simulink Test Manager и включите Scope coverage results to linked requirements для агрегированных результатов покрытия. Для получения дополнительной информации об настройке набора покрытия в Simulink Test Manager, см. «Сбор покрытия в тестах» (Simulink Test).

Создание отчетов о покрытии для агрегированных результатов покрытия с учетом связанных требований

В следующем отчете о покрытии показаны детали тестирования требований и детали покрытия для блока MultiPortSwitch под названием MPSwitch1.

В приведенном выше примере MPSwitch1 реализует Требование 1, которое проверяется Testcase 1. Поэтому Testcase 1 пытается обеспечить полное покрытие MPSwitch1. Анализ результатов покрытия связанных требований облегчает оценку того, в какой степени MPSwitch1 осуществлялось Testcase 1 при просмотре агрегированных результатов покрытия.

Первый результат решения успешно реализован Testcase 1 и, как сообщается, удовлетворен. Второй результат решения не выполняется Testcase 1, но достигается тестом, не связанным с Требованиями 1. Поэтому в отчете о покрытии указывается, что это решение не удовлетворено.

Третий результат решения не осуществляется никаким тестом и, следовательно, сообщается, что он не удовлетворен.

Пример

Для примера того, как отобразить результаты покрытия на связанные требования из Simulink Test Manager, смотрите Тестовое покрытие для основанного на требованиях проверки (Simulink Test).

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