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