Окно Artifacts Explorer отображает артефакты сертификации, которые доступны в DO Qualification Kit. Существует отдельная папка для каждого MathWorks® инструмент, поддержанный DO Qualification Kit и папкой поддержки, которая обеспечивает дополнительное содержимое, которое можно использовать во время процесса сертификации.
В Менеджере артефактов откройте папку продукта Simulink Check и рассмотрите содержимое.
Рассмотрите папки и содержимое.
Верхний уровень включает артефакты, которые можно использовать, чтобы квалифицировать Simulink® Check™ в вашем проекте, таком как:
План квалификации инструмента Simulink Check (qualkitdo_slchk_tqp.docx/pdf
) и инструмент Simulink Check операционные требования (qualkitdo_slchk_tor.docx/pdf
).
Основанные на тесте артефакты, такие как
Тесты Simulink Check и Процедуры, Выполняют Тесты Проверки и Результаты испытаний Анализа для Simulink Check (qualkitdo_slchk_run.mlx
), и Simulink Check - матрица трассировки для DO Qualification Kit (qualkitdo_slchk_tcp.xlsx
).
Скрипт выполнения теста (qualkitdo_slchk_tcp.rpt
).
Подпапки включают:
doc
— Включает документацию по продукту, такую как
Руководство пользователя Simulink Check.
tests
— Тестовые случаи и тестовые модели, которые выполняются во время процедуры тестирования. Можно использовать Simulink Check - Матрица Трассировки для DO Qualification Kit (qualkitdo_slchk_tcp.xlsx
) артефакт, чтобы оценить, какие тесты и тестовые модели соответствуют проверкам Model Advisor.
expected_results
— Обеспечивает результаты MathWorks, которые были сгенерированы путем выполнения тестов проверки. Процедура тестирования сравнивает эти результаты с результатами, сгенерированными инструментом в вашем проекте. Результаты записаны в Отчет Проверки Сводных данных Simulink Check (qualkitddo_slchk_qualificationreport.html
).
Возвратитесь к верхнему уровню Менеджера артефактов и откройте папку Support Artifacts. Эта папка обеспечивает дополнительные артефакты, которые можно использовать, чтобы оценить и зарегистрировать реализацию инструмента в рабочем процессе Модельно-ориентированного проектирования, включая:
Артефакты, которые вы настраиваете для своего проекта, включая План относительно Аспектов программного обеспечения Сертификации (PSAC) и План относительно Аспектов аппаратного обеспечения шаблона Certification (PHAC) (qualkitdo_psac.docx/pdf
), стандарт модели ПО (qualkitdo_swms.docx/pdf
), и отчет установки инструмента (qualkitdo_tir.docx/pdf
)
Артефакты рабочего процесса для DO - 178C (qualkitdo_do178_workflow.pdf
) и DO-254 (qualkitdo_do254_workflow.pdf
). Для получения дополнительной информации смотрите Рабочий процесс Модельно-ориентированного проектирования (DO - 178C и DO-254).
Пользовательская документация DO Qualification Kit, такая как Руководство пользователя (qualkitdo_ug.pdf
) и Информация о релизах (rn.pdf
).
Текстовый файл, который задает права лицензированного пользователя (rights.txt
).
Когда вы выбираете папки и файлы, замечаете, что релевантная информация о текущем выборе динамически отображена в строке состояния. Например, выберите папку Simulink Test. Строка состояния в нижней части окна указывает на местоположение папки на вашем компьютере.
После рассмотрения Менеджера артефактов можно создать и настроить пакеты сертификации для проекта.