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

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

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

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

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

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

  • Что система круиз-контроля переходит к отключенному от включенного, когда произошло событие торможения

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

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

  1. Создайте копию проекта в рабочей папке. Проект содержит данные, документы, модели и тесты. Введите:

    path = fullfile(matlabroot,'toolbox','shared','examples',...
'verification','src','cruise')
run(fullfile(path,'slVerificationCruiseStart'))

  2. В models проекта папка, откройте simulinkCruiseAddReqExample.slx модель.

  3. Отобразите требования. Щелкните значок в правом нижнем углу холста модели и выберите Requirements. Требования появляются под холстом модели.

  4. Расширьте информацию о требованиях, включив в нее статус верификации и реализации. Щелкните правой кнопкой мыши требование и выберите Verification Status и Implementation Status.

  5. В окне Project откройте Simulink® Test™ файловой slReqTests.mldatx от tests папка. Тестовый файл откроется в Диспетчере тестов.

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

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

  1. В окне Project откройте файл Simulink Test slReqTests.mldatx от tests папка. Тестовый файл откроется в Диспетчере тестов. Исследуйте тестовый набор и выберите Safety Tests.

    Вернитесь к модели. Щелкните правой кнопкой мыши по требованию S 3.1 и выберите Link from Selected Test Case.

    Ссылка на Safety Tests тест добавлен к Verified by. Желтые полоски в Verified столбце указывают, что требования не проверяются.

  2. Также добавьте ссылку для 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')

  1. Вернитесь в диспетчер тестов. Чтобы запустить тест, нажмите Run.

  2. Когда тест закончится, проверьте результаты. Менеджер тестов показывает, что и оценки проходят, и график предоставляет подробные результаты каждой verify оператор.

  3. Вернитесь к модели и обновите Требования. Зеленая полоса в Verified столбце указывает, что требование успешно проверено.

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

  1. Создание отчета с использованием пользовательской системы Microsoft® Шаблон слова.

    1. Из результатов Диспетчера тестов щелкните правой кнопкой мыши имя тестового примера. Выберите Create Report.

    2. В диалоговом окне «Создание отчета о результатах тестирования» установите следующие опции:

      • Заголовок - SafetyTest

      • Результаты для - All Tests

      • Формат файла - DOCX

      • Для других опций сохраните выбор по умолчанию.

    3. Введите имя файла и выберите место для отчета.

    4. Для Template File выберите ReportTemplate.dotx файл в documents папке проекта.

    5. Нажмите Create.

  2. Просмотрите отчет.

    1. Раздел Test Case Requirements задает связанные требования

    2. Раздел Verify Result содержит подробную информацию о двух оценках в тесте и ссылки на выход симуляции.

Похожие темы

Simulink Check

Поддержка

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