exponenta event banner

Артефакты квалификации инструмента

Комплект DO Qualification Kit поддерживает специальные версии продуктов MathWorks ® в качестве инструментов, которые можно использовать для проектов, основанных на DO-178C, DO-278A и связанных дополнениях.

Список продуктов MathWorks, поддерживаемых для каждого стандарта, см. в разделе Продукты, поддерживаемые квалификационным комплектом DO.

В следующей таблице указаны специальные артефакты квалификации, доступные в комплекте квалификаций DO. Чтобы просмотреть эти артефакты, откройте обозреватель артефактов и щелкните папку продукта. Эти артефакты недоступны на веб-сайте MathWorks. Дополнительные сведения см. в разделе Доступ к артефактам в обозревателе артефактов набора квалификации DO.

Сведения об изменении артефактов в комплекте квалификации DO для проектов на основе DO-254 стандартов см. в разделе Изменение артефактов набора квалификации DO для DO-254 Credit.

ИнструментКомпонент квалификационного комплекта DO
План квалификации инструмента (TQP)Эксплуатационные требования к инструментам (TOR)Процедура тестирования и тестовые примеры (TCP)Требования к инструменту (TR)Документация по поддержке

Simulink ® Check™, версия 5.1 (R2021a)

qualkitdo_slchk_tqp.docx/pdfqualkitdo_slchk_tor.docx/pdf

qualkitdo_slchk_tcp.docx/pdf

qualkitdo_slchk_tcp.xlsx

qualkitdo_slchk_run.mlx

qualkitdo_slchk_tcp.rpt

qualkitdo_slchk_tcp.xls

/tests/*

Неприменимо

/doc/

 slcheck_ug.pdf

 slcheck_ref.pdf

Simulink Coverage™, версия 5.2 (R2021a)

qualkitdo_slcov_tqp.pdf

qualkitdo_slcov_tqp.docx

qualkitdo_slcov_tor.docx/pdf

qualkitdo_slcov_tcp.docx/pdf

qualkitdo_slcov_cc_run.mlx

qualkitdo_slcov_cc.rpt

qualkitdo_slcov_cc.xlsx

qualkitdo_slcov_mc_run.mlx

qualkitdo_slcov_mc.rpt

qualkitdo_slcov_dv.m

qualkitdo_slcov_dv.xlsx

qualkitdo_slcov_eml.m

qualkitdo_slcov_eml.xlsx

qualkitdo_slcov_etc.m

qualkitdo_slcov_etc.xlsx

qualkitdo_slcov_lim.m

qualkitdo_slcov_lim.xlsx

qualkitdo_slcov_sf.m

qualkitdo_slcov_sf.xlsx

qualkitdo_slcov_sl.m

qualkitdo_slcov_sl.xlsx

/tests/mcov/*

/tests/ccov/*

/expected_results/mcov/

 qualkitdo_slcov_dv_qualificationreport.html

 qualkitdo_slcov_eml_qualificationreport.html

 qualkitdo_slcov_etc_qualificationreport.html

 qualkitdo_slcov_lim_qualificationreport.html

 qualkitdo_slcov_sf_qualificationreport.html

 qualkitdo_slcov_sl_qualificationreport.html

/expected_results/ccov/qualkitdo_slcov_cc_qualificationreport.html

Неприменимо

/doc/

 slcoverage_ug.pdf

 slcoverage_ref.pdf

Simulink Requirements™, версия 1.7 (R2021a)

qualkitdo_slreq_tqp.pdf

qualkitdo_slreq_tqp.docx

qualkitdo_slreq_tor.docx/pdf

qualkitdo_slreq_tcp.docx/pdf

qualkitdo_slreq_trace.xlxs

qualkitdo_slreq_run.mlx

qualkitdo_slreq_rs.rpt

/tests/*

/expected_results/

Неприменимо

/doc/

 slrequirements_ug.pdf

 slrequirements_ref.pdf

Отчет Simulink Generator™, версия 5.10 (R2021a)

qualkitdo_rptgenext_tqp.docx/pdfqualkitdo_rptgenext_tor.docx/pdf

qualkitdo_rptgenext_tcp.docx/pdf

qualkitdo_rptgenext_run.mlx

qualkitdo_rptgenext_tcp.rpt

/tests/

 *.slx

 *.m

/expected_results/*

Неприменимо/doc/sl_rptgen.pdf

Simulink, версия 10.3 (R2021a): отчет о сравнении моделей

qualkitdo_slcmp_tqp.docx/pdf

qualkitdo_slcmp_tor.docx/pdf

qualkitdo.slcmp_trace.xlsx

qualkitdo_slcmp_tcp.docx/pdf

qualkitdo_slcmp_trace.xlxs

qualkitdo_slcmp_run.mlx

qualkitdo_slcmp_rs.rpt

/tests/

 *.slx

 *.mat

Неприменимо/doc/sl_mc_ui.pdf

Simulink Code Inspector™, версия 3.8 (R2021a): Отчет о проверке кода

qualkitdo_slci_tqp.docx/pdf

qualkitdo_slci_tor.docx/pdf

qualkitdo_slci_tcp.docx/pdf

qualkitdoSlciRunTests.xlsx

qualkitdoSlciRunTests_Cpp.xlsx

qualkitdo_slci_run.mlx

qualkitdoSlciRunTests.m

qualkitdoSlciRunTests.rpt

/tests/

 *.slx

 *.m

 *.mat

/outputs/qualkitdoSlCIQualificationReport_*.html

Неприменимо

/doc/

 slci_ug.pdf

 slci_ref.pdf

Polyspace ® Bug Finder™, версия 3.4 (R2021a)

qualkitdo_bugfinder_tqp.docx/pdf

qualkitdo_bugfinder_tor.docx/pdf

qualkitdo_bugfinder_tcp.docx/pdf

matrix_req_to_tests.xls

qualkitdo_bugfinder_run.mlx

/tests/qualkitdo_bugfinder_tcp.*

/expected_results/reporting-bug-finder/<test>/*

Неприменимо

/doc/bugfinder/

 bugfinder_ug.pdf

 bugfinder_ref.pdf

Polyspace Bug Finder Server™, версия 3.4 (R2021a)

qualkitdo_bugfinder_tcp.docx/pdf

matrix_req_to_tests.xls

qualkitdo_bugfinder_run.mlx

/tests/qualkitdo_bugfinder_tcp.*

/expected_results/reporting-bug-finder-server/<test>/*

Неприменимо

/doc/bugfinder_server

 polyspace_bug_finder_server_ug.pdf

 polyspace_bug_finder_server_ref.pd

Код Polyspace Prover™, версия 10.4 (R2021a)

qualkitdo_codeprover_tqp.docx/pdf

qualkitdo_codeprover_tor.docx/pdf

qualkitdo_codeprover_tcp.docx/pdf

matrix_req_to_tests.xls

qualkitdo_codeprover_run.mlx

/tests/qualkitdo_codeprover_tcp.*

/expected_results/reporting-code-prover-/<test>/*

qualkitdo_codeprover_tr.docx/pdf

qualkitdo_codeprover_HLR_OR_LSR_trace.xlsx

qualkitdo_codeprover_tf.docx/pdf

/doc/codeprover/

 codeprover_ug.pdf

 codeprover_ref.pdf

 codeprover_limitations.pdf

[a]

Сервер проверки кода Polyspace версии 10.4 (R2021a)

qualkitdo_codeprover_tcp.docx/pdf

matrix_req_to_tests.xls

qualkitdo_codeprover_run.mlx

/tests/qualkitdo_codeprover_tcp.*

/expected_results/reporting-code-prover-server/<test>/*

/doc/codeprover_server

 polyspace_code_prover_server_ug.pdf

 polyspace_code_prover_server_ref.pd

Simulink Test™, версия 3.4 (R2021a)

qualkitdo_sltest_tqp.docx/pdf

qualkitdo_sltest_tor.docx/pdf

qualkitdo_sltest_trace.xlsx

qualkitdo_sltest_tcp.docx/pdf

qualkitdo_sltest_trace.xlsx

qualkitdo_sltest_run.mlx

qualkitdo_sltest_rs.rpt

/tests/

 *.slx

 *.m

 *.mat

 *.mldatx

/expected_results/*

Неприменимо

/doc/

 sltest_ug.pdf

 sltest_ref.pdf

Simulink Design Verifier™, версия 4.5 (R2021a)

qualkitdo_sldv_tqp.docx/pdf

qualkitdo_sldv_tor.docx/pdf

qualkitdo_sldv_tcp.docx/pdf

qualkitdo_sldv_trace.xlsx

qualkitdo_sldv_run.mlx

qualkitdo_sldv_rs.rpt

/tests/*

/expected_results/*

Неприменимо

/doc/

 sldv.pdf

 sldv_ref.pdf

[a] Ограничения для сервера проверки кода Polyspace аналогичны тем, которые описаны в codeprover_limitations.pdf.