Тесты являются шаблонами, которые можно изменить и расширить, чтобы создать тестовые наборы, которые покрывают требования, которые важны для приложения, определенной настройки инструмента и операционной среды. Вам могут быть нужны дополнительные тесты, на основе вашего использования инструмента, чтобы поддержать валидацию инструмента.
Чтобы сконфигурировать, выполнитесь, и рассмотрите тесты валидации для Simulink® Check™, смотрите, Выполняют Тесты Валидации и Результаты испытаний Анализа для Simulink Check. Этот артефакт обеспечивает:
Требования к программному обеспечению, чтобы выполнить процедуру тестирования
Шаги настройки
Как выполнить процедуру тестирования
Список сгенерированных протоколов испытаний и как рассмотреть результаты испытаний
Используйте один из этих методов, чтобы открыться, Выполняют Тесты Валидации и Результаты испытаний Анализа для Simulink Check:
На панели меню Simulink выберите Code> IEC Certification Kit> Validation Tests> Simulink Check.
В Менеджере артефактов откройте Simulink Check> certkitiec_slchk_run.mlx.
Файл .mlx
открывается в MATLAB®. Следуйте за рабочим процессом, чтобы сконфигурировать и выполнить процедуру тестирования и рассмотреть результаты. Где применимо, вы находите интерактивные ссылки, которые выполняют команды. Например, чтобы выполнить процедуру тестирования файл .rpt
, выберите ссылку (Ctrl+Click here to execute the command). Скрипт выполняет команду и запускает тесты.
Для собственных проверок необходимо добавить сертификационные тесты, выполнить эти тесты и проверить, что результаты как ожидалось.
Добавить сертификационные тесты на собственные проверки:
Создайте новый пакет сертификации: скопируйте папку matlabroot/toolbox/qualkits/iec/slchk
и sub папки к местоположению, где у вас есть доступ для записи.
Создайте набор тестовых моделей, чтобы осуществить возможность проверки и сохранить их в tests
sub папка. Как минимум тестовые модели должны включать a:
Модель, которая передает собственную проверку
Модель, которая не передает проверку
В зависимости от осциллографа собственной проверки дополнительные тестовые модели могут потребоваться, чтобы осуществлять комбинации возможностей проверки. Например, проверяйте, что Check safety-related diagnostic settings for Merge blocks (ID mathworks.iec61508.hisl_0303
) требует, чтобы следующие три тестовых модели полностью протестировали значения, которые могут быть установлены для образцового параметра конфигурации Detect multiple driving blocks executing at the same time step (MergeDetectMultiDrivingBlocksExec
):
do178c_hisl_0303_pass_test.slx
с набором параметра к error
(проверяют передачи),
do178c_hisl_0303_warn_test1.slx
с набором параметра к warning
(проверка не передает),
do178c_hisl_0303_warn_test2.slx
с набором параметра к none
(проверка не передает),
Добавьте информацию о трассируемости для собственных проверок к матричному документу трассировки certkitiec_slchk_trace.xls
. На вкладке Trace Data добавьте строку для каждой собственной проверки и включайте информацию как предусмотрено для других проверок. Используйте запятые, чтобы разделить несколько элементов, таких как тестовые модели или ожидаемые результаты.
Выполните сертификационные тесты с помощью обновленных артефактов. Рассмотрите сгенерированные результаты гарантировать, что они как ожидалось и включают добавленные собственные проверки.