Когда вы используете продукты MathWorks® в контексте DO - 178C, DO - 278A и DO 254 стандарта. Артефакты в наборе не доступны от веб-сайта MathWorks.
DO Qualification Kit обеспечивает эти типы артефактов инструмента:
Чтобы получить доступ к артефактам верификации, откройте Менеджера артефактов и перейдите к папке продукта.
PDF и доступный для редактирования .docx артефакт, который задает сертификацию и факторы жизненного цикла (ссылочный Раздел DO-330 10.1.2).
План квалификации инструмента предоставляет следующую информацию:
Введение
Заголовок и версия Инструмента операционных требований (TOR)
Факторы сертификации — основание для квалификации инструмента и целей, на которые вы ищете кредит сертификации
Жизненный цикл разработки инструмента — планирование, документы требования и действие, документы верификации и действие
Данные о жизненном цикле инструмента — отображение документов приложения к DO - 178C жизненный цикл процесса
Расписание проверки
PDF и доступный для редактирования .docx файл, который задает требования инструмента для инструмента (ссылочный Раздел DO-330 10.3.1).
Инструмент Операционный документ Требований предоставляет следующую информацию:
Введение
Операционные требования — описание функциональности инструмента и как это используется
Информация об установке
Рабочая среда
Для использования в процессе DO-330 квалификации инструмента для инструментов TQL-4 TOR задает эти категории требований:
Входные параметры инструмента или семантические требования
Инструмент выходные параметры
Производительность и требования потребления ресурсов
Инструменты MathWorks TQL-4 включают Polyspace® Bug Finder™, Polyspace Bug Finder Server™, Polyspace Code Prover™ и Polyspace Code Prover Server.
PDF и доступный для редактирования .docx файл, который задает требования инструмента для инструмента (ссылочный Раздел DO-330 10.2.1).
Этот документ, который предназначается для использования в процессе DO-330 квалификации инструмента для инструментов TQL-4, задает две категории требований:
Общие операционные требования (OR), большинство которых является независимым языком программирования
Специфичные для языка требования (LSR)
Инструменты MathWorks TQL-4 включают Polyspace Bug Finder, Polyspace Bug Finder Server, Polyspace Code Prover и Polyspace Code Prover Server.
Тесты и процедуры раньше поддерживали верификацию инструмента (ссылочные Разделы DO-330 10.3.3 и 10.3.4). Документ Тестов и Процедур предоставляет следующую информацию:
Введение
Описание тестов и процедуры
Матрица трассируемости между операционными требованиями и тестами и процедурами
Процедура для выполнения тестов и процедур
Подробная процедура тестирования для каждого инструмента задана в соответствии, Выполняют Тесты Проверки и Результаты испытаний Анализа для <продукта> артефакт (qualitdo_<product>_run.mlx). Используйте этот артефакт, чтобы выполнить тесты и процедуру в установленной и сконфигурированной среде для каждого продукта.
