Некоторые стандарты безопасности рекомендуют валидацию программных инструментов, с помощью не зависящих от приложения тестов, к:
Продемонстрируйте, что программный инструмент выполняет свои заданные требования.
Исследуйте реакцию программного инструмента к аномальным условиям работы.
Продукт IEC Certification Kit обеспечивает образцовые тесты и процедуры тестирования, которые можно использовать, чтобы автоматизировать тесты валидации инструмента для продуктов, которые сертифицируются для использования в текущей версии IEC Certification Kit. Чтобы рассмотреть список этих продуктов, смотрите продукты, Поддержанные IEC Certification Kit.
Рассмотрите образцовые тесты, которым предоставляют продукт IEC Certification Kit, чтобы оценить их применимость для вашего использования инструмента. Тесты являются шаблонами, которые можно изменить и расширить, чтобы создать тестовые наборы, которые покрывают требования, которые важны для приложения, определенной настройки инструмента и операционной среды. Вам могут быть нужны дополнительные тесты, на основе вашего использования инструмента, чтобы поддержать валидацию инструмента.
MathWorks® подтверждает Автомобильный Комплект Валидации Кода (AVS) как начальный тестовый набор, используемый с Embedded Coder®.
Изменение установки инструмента может влиять на поведение инструмента, поэтому требуя, чтобы вы подтвердили инструмент. Когда вы устанавливаете обновление релиза или закрашенную фигуру, чтобы решить проблемы в Отчете об ошибках, необходимо повторить эти шаги, чтобы проверить, что инструмент удовлетворяет требованиям.
