Доступ к артефактам сертификации для Polyspace Bug Finder и Polyspace Bug Finder Server

ТЮВ СЮД сертифицировал определенные версии Polyspace® Bug Finder™ и Polyspace Bug Finder Server™ для использования в процессах разработки, которые требуются, чтобы выполнять ISO 26262, IEC 61508, IEC 62304 или EN 50128. Эти версии продукта также предварительно квалифицированы согласно ISO 26262-8 к Автомобильным Уровням Целостности Безопасности ASIL через ASIL D.

IEC Certification Kit содержит артефакты сертификации для:

  • Polyspace Bug Finder, версия 3.1 (R2019b)

  • Polyspace Bug Finder Server, версия 3.1 (R2019b)

Примечание

Эти продукты не были разработаны с помощью IEC 61508, сертифицировал процесс.

Откройте Менеджера артефактов, чтобы получить доступ к артефактам сертификации. Артефакты сертификации расположены в Polyspace Bug Finder.

КомпонентФайл
Сертификатcertkitiec_bugfinder_certificate.pdf
Отчет сертификатаcertkitiec_bugfinder_certreport.pdf
Рабочий процессcertkitiec_bugfinder_workflow.pdf
Демонстрационный шаблон соответствия (CDT)certkitiec_bugfinder_cdt.docx/.pdf
Пакет квалификации инструмента (TQP) ISO 26262certkitiec_bugfinder_tqp.docx/.pdf
Процедура тестирования и тесты

Polyspace Bug Finder

/tests/* (включая /tests/certkitiec_bugfinder_tests.bat/.sh)
/tests/<execution-folder-bug-finder>/*
/expected_results/reporting-bug-finder/*

Polyspace Bug Finder Server

/tests/* (включая /tests/certkitiec_bugfinderserver_tests.bat/.sh)
/tests/execution-folder-bug-finder-server/*
/expected_results/reporting-bug-finder-server/*

Цели качества программного обеспечения для исходного кодаcertkitiec_bugfinder_sqo.pdf