Поддержки DO Qualification Kit, квалифицирующие следующую версию продуктов Polyspace® Bug Finder™:
Polyspace Bug Finder, версия 3.2 (R2020a)
Polyspace Bug Finder Server™, версия 3.2 (R2020a)
Откройте Менеджера артефактов, чтобы получить доступ к шаблонам документов, тестам и процедурам тестирования.
В следующей таблице перечислены документы проверки и первичные файлы, сопоставленные с документами проверки.
| Документы проверки | Файлы |
|---|---|
|
| |
| Инструмент операционное требование (TOR) и сопроводительная документация | qualkitdo_bugfinder_tor.pdfqualkitdo_bugfinder_tor.docx
|
| Процедура тестирования и Тесты (TCP) и сопроводительная документация | qualkitdo_bugfinder_tcp.pdfqualkitdo_bugfinder_tcp.docxqualkitdo_bugfinder_run.mlxmatrix_req_to_tests.txt/tests/qualkitdo_bugfinder_tcp.*/expected_results/ |