Сертификационный комплект IEC (для ISO 26262 и IEC 61508) и квалификационный комплект DO (для DO-178) можно использовать для определения соответствия Polyspace Bug Finder поддерживаемым отраслевым стандартам, включая DO-178, ISO 26262:2018, IEC 61508:2010, IEC 62304:2015, ISO 25119:2018 и EN 50122.
Артефакты сертификации инструментов (комплект сертификации МЭК)
Артефакты сертификации включают специфичные для продукта шаблоны, тестовые примеры и процедуры тестирования.
Артефакты квалификации инструмента (комплект квалификации DO)
Квалификационные документы включают шаблоны, тестовые примеры и процедуры тестирования.