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