Использование Simulink® Code Inspector™ инструментальных средств для:
Подготовьтесь к инспекции кода во время разработки модели.
Запустите проверки кода, сгенерированного из моделей, и проверьте результаты, полученные в отчете.
Автоматическое создание отчетов о верификации кода для поддержки сертификации ПО.
При разработке модели, предназначенной для генерации кода, можно пошагово и итеративно проверить модель на совместимость с правилами Simulink Code Inspector. Этот процесс значительно сокращает время для достижения удовлетворительных результатов контроля.
Для компаний и организаций, которые должны сертифицировать программное обеспечение под DO-178C, Simulink Code Inspector значительно сокращает время и затраты, связанные с проверкой кода на соответствие требованиям. Вместо заполнения линейных рассмотрений кода вручную контрольным списком проекта, который является интенсивным и подверженным ошибкам, можно запустить Simulink Code Inspector и просмотреть подробный отчет о проверке.
