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

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

Polyspace Code Prover, версия 10.2 (R2020a)
Polyspace Code Prover Server™, версия 10.2 (R2020a)

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

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

Документы проверки	Файлы
Теоретическая основа (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/ программа автоматического доказательства кода создания отчетов - / <тест>/ создание отчетов о сервере программы автоматического доказательства кода / <тест>/*`

Документация DO Qualification Kit

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.

Документация