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

Поддержки 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.2 (R2021b)	`qualkitdo_slchk_tqp.docx`/`pdf`	`qualkitdo_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.3 (R2021b)	`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.8 (R2021b)	`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.11 (R2021b)	`qualkitdo_rptgenext_tqp.docx`/`pdf`	`qualkitdo_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.4 (R2021b): отчет Сравнения Модели	`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™, версия 4.0 (R2021b): отчет Инспекции кода	`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.5 (R2021b) Polyspace Bug Finder Server™, версия 3.5 (R2021b)	`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>/` `/expected_results/reporting-bug-finder-server/<test>/*`	Не применяется	`/doc/` `codeprover_install.pdf` `bugfinder_gs.pdf` `bugfinder_ug.pdf` `bugfinder_ref.pdf`
Polyspace Code Prover™, версия 10.5 (R2021b) Polyspace Code Prover Server, версия 10.5 (R2021b)	`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>/` `/expected_results/reporting-code-prover-server/<test>/*`	`qualkitdo_codeprover_tr.docx`/`pdf` `qualkitdo_codeprover_HLR_OR_LSR_trace.xlsx`	`qualkitdo_codeprover_tf.docx`/`pdf` `/doc/` `codeprover_install.pdf` `codeprover_gs.pdf` `codeprover_ug.pdf` `codeprover_ref.pdf` `codeprover_limitations.pdf`
Simulink Test™, версия 3.5 (R2021b)	`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.6 (R2021b)	`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`

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

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

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

Поддержка