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

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

  • Polyspace Bug Finder, версия 3.2 (R2020a)

  • Polyspace Bug Finder Server™, версия 3.2 (R2020a)

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

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

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

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

qualkitdo_bugfinder_tqp.pdf
qualkitdo_bugfinder_tqp.docx

Инструмент операционное требование (TOR) и сопроводительная документацияqualkitdo_bugfinder_tor.pdf
qualkitdo_bugfinder_tor.docx


/doc/bugfinder/
 bugfinder_ug.pdf
 bugfinder_ref.pdf

/doc/bugfinder_server
 polyspace_bug_finder_server_ug.pdf
 polyspace_bug_finder_server_ref.pd

Процедура тестирования и Тесты (TCP) и сопроводительная документация qualkitdo_bugfinder_tcp.pdf
qualkitdo_bugfinder_tcp.docx
qualkitdo_bugfinder_run.mlx
matrix_req_to_tests.txt
/tests/qualkitdo_bugfinder_tcp.*
/expected_results/
 средство поиска ошибки создания отчетов / <тест>/*
 создание отчетов о сервере средства поиска ошибки / <тест>/*