Вы можете использовать IEC Certification Kit (for ISO 26262 and IEC 61508) и DO Qualification Kit (for DO-178) для проверки Polyspace Code Prover на поддерживаемые отраслевые стандарты, включая DO-178, ISO 26262:2018, IEC 61508:2010, IEC 62304:2015, ISO 25119:2018 и EN 50128:2011.
Tool Certification Программных продуктов (IEC Certification Kit)
Программные продукты сертификации включают специфичные для продукта шаблоны, тесты и процедуры тестирования.
Программные продукты квалификации инструмента (DO Qualification Kit)
Документы по проверке включают шаблоны, тесты и процедуры тестирования.
