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

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

  • Polyspace Code Prover, версия 10.0 (R2019a)

  • Polyspace Code Prover Server™, версия 10.0 (R2019a)

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

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

Документы проверкиФайлы
Теоретическая основа (TF)

qualkitdo_codeprover_tf.pdf
qualkitdo_codeprover_tf.docx

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

qualkitdo_codeprover_tqp.pdf
qualkitdo_codeprover_tqp.docx

Требования инструмента (TR), матрица трассируемости требований и сопроводительная документация

qualkitdo_codeprover_tr.pdf
qualkitdo_codeprover_tr.docx
qualkitdo_codeprover_HLR_OR_LSR_trace.xlsx
/doc/codeprover
 codeprover_ug.pdf
 codeprover_ref.pdf
 codeprover_limitations.pdf

/doc/codeprover_server
 polyspace_code_prover_server_ug.pdf
 polyspace_code_prover_server_ref.pd

Примечание

Ограничения для Polyspace Code Prover Server совпадают с зарегистрированными в codeprover_limitations.pdf.

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

qualkitdo_codeprover_tor.pdf
qualkitdo_codeprover_tor.docx

Тестовые Случаи и Процедуры (TCP) и сопроводительная документация

qualkitdo_codeprover_tcp.pdf
qualkitdo_codeprover_tcp.docx
qualkitdo_codeprover_run.mlx
matrix_req_to_tests.txt
/tests/qualkitdo_codeprover_tcp.*
/expected_results/
 программа автоматического доказательства кода создания отчетов - / <тест>/*
 создание отчетов о сервере программы автоматического доказательства кода / <тест>/*