Продукт 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 версии.
