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