Продукт DO Qualification Kit включает шаблоны документов, тесты и процедуры тестирования, что необходимо квалифицировать следующий MathWorks® инструменты верификации программного обеспечения:
Simulink® Check™ контрольный анализ Model Advisor)
Simulink Coverage™ (Модель и покрытие кода)
Simulink Report Generator™ (Отчет Описания разработки системы)
Отчет Сравнения Модели Simulink
Simulink Code Inspector™ (Отчет инспектора кода)
Simulink Test™
Simulink Requirements™
Simulink Design Verifier™ (Поиск ошибок проектирования)
Polyspace® Bug Finder™
Polyspace Bug Finder Server™
Polyspace Code Prover™
Polyspace Code Prover Server
Примечание
Путем квалификации модели и аналитической возможности покрытия кода Simulink Coverage, можно требовать кредита на демонстрацию полноты и соответствия тестов, сгенерированных Simulink Design Verifier. Используйте возможность покрытия вместо того, чтобы рассмотреть отчет Simulink Design Verifier. Можно продемонстрировать полноту и соответствие путем выполнения сгенерированных тестов против модели, измерения покрытия и рассмотрения отчета покрытия. Можно запустить тесты на исполняемом объектном коде и сравнить фактические результаты с результатами симуляции. Возможность покрытия не оценивает соответствие результатов симуляции, только покрытие теста модели. Поэтому необходимо проверить, что ожидаемые результаты из модели приемлемы.
В дополнение к этой документации продукт DO Qualification Kit состоит из документов проверки. Документы проверки расположены в вашем MATLAB® папка установки в matlabroot/toolbox/qualkits/doPDF версия документа проверки, чтобы познакомиться с процессом проверки и необходимым содержимым. Чтобы настроить документы проверки для вашего определенного проекта или приложения, измените docx версии.
