Некоторые стандарты безопасности рекомендуют валидацию программных инструментов, с помощью не зависящих от приложения тестов, к:
Продемонстрируйте, что программный инструмент выполняет свои заданные требования.
Исследуйте реакцию программного инструмента к аномальным условиям работы.
Продукт IEC Certification Kit обеспечивает образцовые тесты и процедуры тестирования, которые можно использовать, чтобы автоматизировать тесты валидации инструмента для следующих продуктов:
Embedded Coder® / AUTOSAR Blockset (когда применимый)
Simulink® Check™
Simulink Coverage™
Simulink Requirements™
Polyspace® Bug Finder™
Polyspace Bug Finder Server™
Polyspace Code Prover™
Polyspace Code Prover Server
Simulink Test™
Simulink Design Verifier™
Рассмотрите образцовые тесты, которым предоставляют продукт IEC Certification Kit, чтобы оценить их применимость для вашего использования инструмента. Тесты являются шаблонами, которые можно изменить и расширить, чтобы создать тестовые наборы, которые покрывают требования, которые важны для приложения, определенной настройки инструмента и операционной среды. Вам могут быть нужны дополнительные тесты, на основе вашего использования инструмента, чтобы поддержать валидацию инструмента.
MathWorks® подтверждает Автомобильный Комплект Валидации Кода (AVS) как начальный тестовый набор, используемый с Embedded Coder.
Изменение установки инструмента может влиять на поведение инструмента, поэтому требуя, чтобы вы подтвердили инструмент. Когда вы устанавливаете обновление релиза или закрашенную фигуру, чтобы решить проблемы в Отчете об ошибках, необходимо повторить эти шаги, чтобы проверить, что инструмент удовлетворяет требования. Рекомендуется, чтобы вы выполнили валидацию инструмента после установки последнего запланированного (пятого) обновления для релиза.