Запустите тесты и процедуры для Embedded Coder
Можно использовать тесты и процедуры, чтобы поддержать валидацию инструмента Embedded Coder®.
Запустите тесты и процедуры для Simulink Check
Можно использовать тесты и процедуры, чтобы поддержать валидацию инструмента Simulink® Check™.
Запустите тесты и процедуры для Simulink Coverage
Можно использовать тесты и процедуры, чтобы поддержать валидацию инструмента Simulink Coverage™.
Запустите тесты и процедуры для Simulink Requirements
Можно использовать тесты и процедуры, чтобы поддержать валидацию инструмента Simulink Requirements™.
Запустите тесты и процедуры для Polyspace Bug Finder и Polyspace Bug Finder Server
Можно использовать тесты и процедуры, чтобы поддержать Polyspace® Bug Finder™ и валидацию инструмента Polyspace Bug Finder Server™.
Запустите тесты и процедуры для Polyspace Code Prover и Polyspace Code Prover Server
Можно использовать тесты и процедуры, чтобы поддержать валидацию инструмента Polyspace Code Prover™ и Polyspace Code Prover Server.
Запустите тесты и процедуры для Simulink Test
Можно использовать тесты и процедуры, чтобы поддержать валидацию инструмента Simulink Test™.
Запустите тесты и процедуры для Simulink Design Verifier
Можно использовать тесты и процедуры, чтобы поддержать валидацию инструмента Simulink Design Verifier™.
Валидация программного инструмента
Некоторые стандарты безопасности рекомендуют валидации программного инструмента продемонстрировать, что инструмент выполняет требования инструмента.
Обзор компонента IEC Certification Kit
IEC Certification Kit включает сертификацию и доказательство проверки, шаблоны, тесты и процедуры тестирования.
