Проверки DO Qualification Kit

Отобразите информацию о версии модели

Проверяйте идентификатор: mathworks.do178.MdlChecksum

Отобразите информацию о версии модели в отчете.

Описание

Эта проверка отображает следующую информацию для текущей модели:

  • Номер версии

  • Автор

  • Дата

  • Модель контрольной суммы

Доступно с Simulink® Check™.

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Не удалось получить информацию о версии модели и контрольной сумме. Эти сводные данные приведены для вашей информации. Никаких действий не требуется.

Возможности и ограничения

  • Не работает на библиотечных моделях.

  • Не допускает исключения блоков или графиков.

См. также

Отображение отчетов об ошибках для DO Qualification Kit

Отображение отчетов об ошибках для DO Qualification Kit.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для DO Qualification Kit, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Доступно с DO Qualification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта DO Qualification Kit.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

DO Qualification Kit (for DO-178)

Отображение отчетов об ошибках для Simulink Check

Отображение отчетов об ошибках для Simulink Check.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink Check, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink Check.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Simulink Check

Отображение отчетов об ошибках для Simulink Coverage

Отображение отчетов об ошибках для Simulink Coverage™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink Coverage, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink Coverage.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Simulink Coverage

Отображать отчеты об ошибках для Simulink Requirements

Отображение отчетов об ошибках для Simulink Requirements™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink Requirements, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink Requirements.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Simulink Requirements

Отображение отчетов об ошибках для Simulink Code Inspector

Отображение отчетов об ошибках для Simulink Code Inspector™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink Code Inspector, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Доступно с DO Qualification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink Code Inspector.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Simulink Code Inspector

Отображение отчетов об ошибках для Simulink Report Generator

Отображение отчетов об ошибках для Simulink Report Generator™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink Report Generator, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Доступно с DO Qualification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink Report Generator.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Simulink Report Generator

Отображать отчеты об ошибках для Simulink

Отображение отчетов об ошибках для Simulink. Используйте этот отчет для просмотра ошибок, влияющих на отчет Model Comparison.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Доступно с DO Qualification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink. Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

О сравнении модели Simulink (Simulink)

Отображать отчеты об ошибках для Polyspace Bug Finder

Отображение отчетов об ошибках для Polyspace® Bug Finder™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Polyspace Bug Finder, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют сообщения об ошибках для продукта Polyspace Bug Finder.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Polyspace Bug Finder

Отображение отчетов об ошибках для Polyspace Bug Finder Server

Отображать отчеты об ошибках для Polyspace Bug Finder Server™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Polyspace Bug Finder Server, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют сообщения об ошибках для продукта Polyspace Bug Finder Server.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Polyspace Bug Finder Server

Отображение отчетов об ошибках для Polyspace Code Prover

Отображение отчетов об ошибках для Polyspace Code Prover™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Polyspace Code Prover, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Polyspace Code Prover.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Polyspace Code Prover

Отображение отчетов об ошибках для Polyspace Code Prover Server

Отображение отчетов об ошибках для Polyspace Code Prover Server.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Polyspace Code Prover Server, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Polyspace Code Prover Server.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Polyspace Code Prover Server

Отображать отчеты об ошибках для Embedded Coder

Отображение отчетов об ошибках для Embedded Coder®.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Embedded Coder, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Embedded Coder.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Embedded Coder

Отображение отчетов об ошибках для Simulink Test

Отображение отчетов об ошибках для Simulink Test™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink Test, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результаты и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink Test.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Simulink Test

Отображение отчетов об ошибках для Simulink Design Verifier

Отображение отчетов об ошибках для Simulink Design Verifier™.

Описание

Запустите эту проверку, чтобы отобразить отчеты об ошибках для Simulink Design Verifier, которые доступны в www.mathworks.com/support/bugreports.

Примечание

Эта проверка не определяет, могут ли ваши модели быть затронуты этими ошибками.

Поставляется с DO Qualification Kit и IEC Certification Kit.

Входные параметры

Для отображения отчетов об ошибках, измененных после определенной даты, используйте поле Only show bug reports modified after date (mm/dd/yyyy).

Результат и рекомендуемые действия

СостояниеРекомендуемое действие
Существуют отчеты об ошибках для продукта Simulink Design Verifier.Просмотрите описания отчетов об ошибках и обходные пути, указанные в ссылках, перечисленных в ID столбце окна Model Advisor.

См. также

Simulink Design Verifier