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

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

Для списка Продуктов Mathworks, которые поддерживаются для каждого стандарта, смотрите продукты, Поддержанные DO Qualification Kit.

Следующая таблица идентифицирует специфичные для инструмента артефакты проверки, которые доступны в DO Qualification Kit. Чтобы просмотреть эти артефакты, откройте Менеджера артефактов и нажмите на папку продукта. Эти артефакты не доступны от веб-сайта MathWorks. Для получения дополнительной информации смотрите доступ к Артефактам в Менеджере артефактов DO Qualification Kit.

Для получения информации об изменении артефактов в DO Qualification Kit для проектов на основе DO 254 стандарта смотрите Изменение Артефактов DO Qualification Kit для кредита DO-254.

ИнструментКомпонент DO Qualification Kit
План квалификации инструмента (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 Report 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 Code 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 Code Prover Server, версия 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 Code Prover Server совпадают с зарегистрированными в codeprover_limitations.pdf.