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

Поддержки DO Qualification Kit, квалифицирующие следующую версию продуктов Polyspace® Bug Finder™:

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

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

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

В следующей таблице перечислены документы проверки и первичные файлы, сопоставленные с документами проверки.

Документы проверкиФайлы

Критерии 2 и критерии 3 плана квалификации инструмента (TQP)

qualkitdo_bugfinder_criteria2_tqp.pdf
qualkitdo_bugfinder_criteria2_tqp.docx

qualkitdo_bugfinder_criteria3_tqp.pdf
qualkitdo_bugfinder_criteria3_tqp.docx

Требование инструмента (TR) и матрица трассируемости требованийqualkitdo_bugfinder_tr.pdf
qualkitdo_bugfinder_tr.docx
qualkitdo_bugfinder_HLR_OR_LSR_trace.xlsx
/doc/bugfinder/
 bugfinder_ug.pdf
 bugfinder_ref.pdf

/doc/bugfinder_server/
 polyspace_bug_finder_server_ug.pdf
 polyspace_bug_finder_server_ref.pdf
Инструмент операционное требование (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/
 средство поиска ошибки создания отчетов / <тест>/*
 создание отчетов о сервере средства поиска ошибки / <тест>/*