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

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

  • Polyspace Bug Finder, версия 3.0 (R2019a)

  • Polyspace Bug Finder Server™, версия 3.0 (R2019a)

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

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

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

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

Критерии 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/
 средство поиска ошибки создания отчетов / <тест>/*
 создание отчетов о сервере средства поиска ошибки / <тест>/*