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

Этот пример использует:

Требования - Обзор трассируемости тестов

Трассируемость между требованиями и тестами помогает вам интерпретировать результаты тестирования и увидеть степень проверки ваших требований. Можно связать требование с элементами, которые помогают его проверить, такими как случаи тестирования в Диспетчере тестов verify операторы в блоке Test Sequence или Верификации модели блоки в модели. Когда вы запускаете тесты, в вашем наборе требований появляются сводные данные pass/fail.

Этот пример демонстрирует общий рабочий процесс проверки на основе требований для модели круиз-контроля. Вы начинаете с набора требований, модели и теста. Вы добавляете трассируемость между тестами и требованиями безопасности. Вы запускаете тест, суммируете статус верификации и сообщаете о результатах.

В этом примере вы проводите простой тест двух требований в наборе:

Что система круиз-контроля переходит к отключенному от включенного, когда произошло событие торможения
Что система круиз-контроля переходит к отключению от зацепления, когда текущая скорость транспортного средства находится вне области значений от 20 миль/ч до 90 миль/ч.

Просмотр требований

Создайте копию проекта в рабочей папке. Проект содержит данные, документы, модели и тесты. Введите:
```
path = fullfile(matlabroot,'toolbox','shared','examples',...
'verification','src','cruise')
run(fullfile(path,'slVerificationCruiseStart'))
```
В models проекта папка, откройте simulinkCruiseAddReqExample.slx модель.
Отобразите требования. Щелкните значок в правом нижнем углу холста модели и выберите Requirements. Требования появляются под холстом модели.
Расширьте информацию о требованиях, включив в нее статус верификации и реализации. Щелкните правой кнопкой мыши требование и выберите Verification Status и Implementation Status.
В окне Project откройте Simulink^® Test™ файловой slReqTests.mldatx от tests папка. Тестовый файл откроется в Диспетчере тестов.

Ссылка требований к тестам

Привязать требования к тесту.

В окне Project откройте файл Simulink Test slReqTests.mldatx от tests папка. Тестовый файл откроется в Диспетчере тестов. Исследуйте тестовый набор и выберите Safety Tests.
Вернитесь к модели. Щелкните правой кнопкой мыши по требованию S 3.1 и выберите Link from Selected Test Case.
Ссылка на Safety Tests тест добавлен к Verified by. Желтые полоски в Verified столбце указывают, что требования не проверяются.
Также добавьте ссылку для S 3.4 элемента.

Запуск теста

В тест используется тестовая обвязка SafetyTest_Harness1. В тестовую обвязку тестовая последовательность устанавливает условия входа и проверяет поведение модели:

The BrakeTest последовательность взаимодействует с круиз-контролем, затем применяет тормоз. Он включает в себя verify оператор
```
verify(engaged == false,...
    'verify:brake',...
    'system must disengage when brake applied')
```
The LimitTest последовательность зацепляет круиз-контроль, а затем поднимает скорость транспортного средства до тех пор, пока она не превысит верхний предел. Он включает в себя verify оператор.
```
verify(engaged == false,...
    'verify:limit',...
    'system must disengage when limit exceeded')
```

Вернитесь в диспетчер тестов. Чтобы запустить тест, нажмите Run.
Когда тест закончится, проверьте результаты. Менеджер тестов показывает, что и оценки проходят, и график предоставляет подробные результаты каждой verify оператор.
Вернитесь к модели и обновите Требования. Зеленая полоса в Verified столбце указывает, что требование успешно проверено.

Сообщите результаты

Создание отчета с использованием пользовательской системы Microsoft^® Шаблон слова.
1. Из результатов Диспетчера тестов щелкните правой кнопкой мыши имя тестового примера. Выберите Create Report.
2. В диалоговом окне «Создание отчета о результатах тестирования» установите следующие опции:
  - Заголовок - SafetyTest
  - Результаты для - All Tests
  - Формат файла - DOCX
  - Для других опций сохраните выбор по умолчанию.
3. Введите имя файла и выберите место для отчета.
4. Для Template File выберите ReportTemplate.dotx файл в documents папке проекта.
5. Нажмите Create.
Просмотрите отчет.
1. Раздел Test Case Requirements задает связанные требования
2. Раздел Verify Result содержит подробную информацию о двух оценках в тесте и ссылки на выход симуляции.

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