Поддержки DO Qualification Kit, квалифицирующие следующую версию продуктов Polyspace® Bug Finder™:
Polyspace Bug Finder, версия 3.1 (R2019b)
Polyspace Bug Finder Server™, версия 3.1 (R2019b)
Откройте Менеджера артефактов, чтобы получить доступ к шаблонам документов, тестам и процедурам тестирования.
В следующей таблице перечислены документы проверки и первичные файлы, сопоставленные с документами проверки.
Документы проверки | Файлы |
---|---|
Критерии 2 и критерии 3 плана квалификации инструмента (TQP) |
|
Требование инструмента (TR) и матрица трассируемости требований | qualkitdo_bugfinder_tr.pdf qualkitdo_bugfinder_tr.docx qualkitdo_bugfinder_HLR_OR_LSR_trace.xlsx /doc/bugfinder/ /doc/bugfinder_server/ |
Инструмент операционное требование (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/ |