Поддержки 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.0 (R2020b) | qualkitdo_slchk_tqp.docx/pdf | qualkitdo_slchk_tor.docx/pdf | qualkitdo_slchk_tcp.docx/pdfqualkitdo_slchk_run.mlxqualkitdo_slchk_tcp.rptqualkitdo_slchk_tcp.xls/tests/* | Не применяется | документ |
Simulink Coverage™, версия 5.1 (R2020b) | qualkitdo_slcov_tqp.pdfqualkitdo_slcov_tqp.docx | qualkitdo_slcov_tor.docx/pdf | qualkitdo_slcov_tcp.docx/pdfqualkitdo_slcov_mc_run.mlxqualkitdo_slcov_cc_run.mlxqualkitdo_slcov_cc.rptqualkitdo_slcov_cc.xlsxqualkitdo_slcov_dv.mqualkitdo_slcov_dv.xlsxqualkitdo_slcov_lut.mqualkitdo_slcov_lut.xlsxqualkitdo_slcov_sf.mqualkitdo_slcov_sf.xlsxqualkitdo_slcov_sl.mqualkitdo_slcov_sl.xlsxqualkitdo_slcov_sr.mqualkitdo_slcov_sr.xlsxqualkitdo_slcov_etc.mqualkitdo_slcov_etc.xlsx/tests/mcov/*/tests/ccov/*/expected_results/mcov//expected_results/ccov/ | Не применяется | документ |
Simulink Requirements™, версия 1.6 (R2020b) | qualkitdo_slreq_tqp.pdfqualkitdo_slreq_tqp.docx | qualkitdo_slreq_tor.docx/pdf | qualkitdo_slreq_tcp.docx/pdfqualkitdo_slreq_run.mlxqualkitdo_slreq_rs.rpt/tests/*/expected_results/ | Не применяется | документ |
Simulink Report Generator™, версия 5.9 (R2020b) | qualkitdo_rptgenext_tqp.docx/pdf | qualkitdo_rptgenext_tor.docx/pdf | qualkitdo_rptgenext_tcp.docx/pdfqualkitdo_rptgenext_run.mlxqualkitdo_rptgenext_tcp.rpt/tests//expected_results/* | Не применяется | /doc/sl_rptgen.pdf |
Simulink, версия 10.2 (R2020b): отчет Сравнения Модели | qualkitdo_slcmp_tqp.docx/pdf | qualkitdo_slcmp_tor.docx/pdfqualkitdo.slcmp_trace.xlsx | qualkitdo_slcmp_tcp.docx/pdfqualkitdo_slcmp_run.mlxqualkitdo_slcmp_rs.rpt/tests/ | Не применяется | /doc/sl_mc_ui.pdf |
Simulink Code Inspector™, версия 3.7 (R2020b): отчет Инспекции кода |
|
| qualkitdo_slci_tcp.docx/pdfqualkitdo_slci_run.mlxqualkitdoSlciRunTests.mqualkitdoSlciRunTests.rptqualkitdoSlciRunTests.xlsx/tests//outputs/qualkitdoSlCIQualificationReport_*.html | Не применяется | документ |
Polyspace® Bug Finder™, версия 3.3 (R2020b) |
|
| qualkitdo_bugfinder_tcp.docx/pdfqualkitdo_bugfinder_run.mlxmatrix_req_to_tests.txt/tests/qualkitdo_bugfinder_tcp.*/expected_results/ | Не применяется | /doc/bugfinder/ |
Polyspace Bug Finder Server™, версия 3.3 (R2020b) | qualkitdo_bugfinder_tcp.docx/pdfqualkitdo_bugfinder_run.mlxmatrix_req_to_tests.txt/tests/qualkitdo_bugfinder_tcp.*/expected_results/ | Не применяется | /doc/bugfinder_server | ||
Polyspace Code Prover™, версия 10.3 (R2020b) |
|
|
|
| qualkitdo_codeprover_tf.docx/pdf/doc/codeproverA |
Polyspace Code Prover Server, версия 10.3 (R2020b) |
| /doc/codeprover_server | |||
Simulink Test™, версия 3.3 (R2020b) |
|
|
| Не применяется | документ |
Simulink Design Verifier™, версия 4.4 (R2020b) |
|
|
| Не применяется |
|