Квалификации инструмента программных продуктов

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.