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