Можно определить объем результатов покрытия к основанным на связанных требованиях тестам от Simulink® Test™ Manager. Агрегированные результаты покрытия ограничены по объему таким образом, что каждый тест только вносит покрытие для соответствующих элементов модели, которые реализуют требования, проверенные тем тестом.
Если ваш рабочий процесс модельно-ориентированного проектирования требует, чтобы модели были полностью осуществлены основанными на требованиях тестами, можно определить объем результатов покрытия только к тем результатам, осуществленным основанными на требованиях тестами. Как пример, DO - 178C предлагает, чтобы информация структурного покрытия, собранная во время основанного на требованиях тестирования, подтвердила, что степень структурного покрытия является соответствующей и удовлетворяет требованиям к программному обеспечению. Когда вы включаете Scope coverage results to linked requirements, агрегированные результаты покрытия ограничены по объему таким образом, что каждый тест только вносит покрытие для соответствующих элементов модели, которые реализуют требования, проверенные тем тестом.
Вы задаете требования и соединяете их с элементами модели и тестами при помощи Simulink Requirements™. Определение объема результатов покрытия к связанным требованиям позволяет вам производить доказательство, что ваше покрытие модели прибывает из намеченных основанных на требованиях тестов и не является побочным эффектом несвязанного теста. Определение объема результатов покрытия к связанным требованиям может также показать несоответствующее соединение требования или тестирование разрывов, которые могут в противном случае затруднить, чтобы обнаружить в агрегированных результатах покрытия.
Чтобы определить объем результатов покрытия к связанным требованиям, вы должны:
Имейте лицензии на Simulink Test и Simulink Coverage™.
Соедините требования в Simulink Requirements к элементам модели и к тестам в Simulink Test, которые проверяют требования. Для получения дополнительной информации о создании ссылок требований смотрите Блоки Ссылки и Требования (Simulink Requirements).
Вы не можете создать или отредактировать ссылки требований или просмотреть подробную информацию о требованиях без лицензии Simulink Requirements.
Соберите покрытие при помощи менеджера по Simulink Test и включите Scope coverage results to linked requirements для агрегированных результатов покрытия. Для получения дополнительной информации о подготовке набора покрытия в менеджере по Simulink Test смотрите, Собирают Покрытие в Тестах (Simulink Test).
Следующий отчет покрытия показывает требования, тестирующие детали и детали покрытия для блока MultiPortSwitch под названием MPSwitch1.
В примере выше, MPSwitch1 реализует Требование 1, которое проверяется Testcase 1. Поэтому Testcase 1 пытается предоставить полную страховую защиту MPSwitch1. Определение объема результатов покрытия к связанным требованиям облегчает оценивать степень, до которой MPSwitch1 был осуществлен Testcase 1 при просмотре агрегированных результатов покрытия.
Первый результат решения успешно осуществляет Testcase 1 и сообщают, как удовлетворено. Второй результат решения не осуществлен Testcase 1, но достигнут тестом, не связанным с Требованиями 1. Отчет покрытия поэтому сообщает об этом решении как не удовлетворенный.
Третий результат решения не осуществляет никакой тест и поэтому сообщают как не удовлетворенный.
Для примера того, как определить объем результатов покрытия к связанным требованиям от менеджера по Simulink Test, смотрите Тестовое покрытие для Основанного на требованиях Тестирования (Simulink Test).
