Таблица суммирует артефакты и инструменты, которым предоставляют DO Qualification Kit.
| Компонент DO Qualification Kit | Описание | Больше информации |
|---|---|---|
Инструменты для связанных с верификацией опытно-конструкторских разработок | Артефакты, которые можно использовать, чтобы проверить податливость со стандартами. Сгенерируйте закрывающие требования модели матриц трассируемости, объекты модели и сгенерированный код. Model Advisor проверяет на сопоставленные инструментом отчеты об ошибках. | Обеспечьте трассируемость между объектами модели, сгенерированным кодом и требованиями модели |
Инструмент для артефактов управления | Менеджер артефактов, которого можно использовать для доступа и управлять, работает продукты, созданные во время разработки систем высокой целостности, включая артефакты сертификации. | Доступ к артефактам в менеджере артефактов DO Qualification Kit |
Тесты и процедуры тестирования, чтобы поддержать верификацию инструмента | Процедуры тестирования, которые можно использовать, чтобы автоматизировать тесты верификации инструмента. | Проверьте, что инструмент удовлетворяет инструменту операционные требования |
rights.txt файл описывает позволенное использование продукта DO Qualification Kit. Можно найти файл в matlabroot/toolbox/qualkits/do
