Simulink Checkallows вы, чтобы идентифицировать непротестированные фрагменты моделей и исходного кода с помощью метрик структурного покрытия.
Simulink® Coverage™ Reference Workflow обеспечивает рабочий процесс для Simulink Coverage. В частности, это описывает как к:
Усильте модель и аналитическую возможность покрытия кода Simulink Coverage в рабочем процессе Модельно-ориентированного проектирования
Проверяйте, что эти возможности функционируют как ожидалось
При использовании программного обеспечения Simulink Coverage, чтобы усилить сертификацию или кредит проверки, предоставленный IEC Certification Kit, необходимо выполнить этот рабочий процесс как часть полного ISO 26262, IEC 61508, EN 50128, или жизненный цикл безопасности программного обеспечения IEC 62304.
Можно использовать модель и аналитические возможности покрытия кода Simulink Coverage проверить полноту тестов, с помощью модели и покрытия кода, чтобы указать на непротестированные элементы модели и кода.
Следующее изображение иллюстрирует интегрирование Simulink Coverage в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.
Модель и анализ покрытия кода в рабочем процессе модельно-ориентированного проектирования
Чтобы получить доступ к документу Рабочего процесса Simulink Coverage, откройте Менеджера артефактов. Под Simulink Coverage, открытым certkitiec_slcov_workflow.pdf файл.
