Проверки отчета об ошибках IEC Certification Kit

Отчеты об ошибках использования регистрируются в Model Advisor, чтобы рассмотреть потенциальные проблемы, которые могут влиять на ваш проект.

Просмотрите отчеты об ошибках

IEC Certification Kit обеспечивает набор проверок Model Advisor, которые можно использовать, чтобы отобразить отчеты об ошибках для поддерживаемых продуктов MathWorks®. Отчеты, сгенерированные этими проверками, могут использоваться в качестве артефактов в демонстрационном процессе податливости. Использовать IEC Certification Kit проверки Model Advisor, чтобы просмотреть отчеты об ошибках, от панели инструментов Simulink®:

  1. Откройте приложение IEC Certification Kit и выберите Bug Reports. Model Advisor открывается.

  2. В папке IEC Certification Kit, осуществленной проверка для продукта, отчет об ошибках которого требуется просмотреть.

Примечание

Можно также использовать раздел отчетов об ошибках веб-сайта MathWorks, www.mathworks.com/support/bugreports, чтобы просмотреть сообщают об ошибках.

Отобразите отчеты об ошибках для IEC Certification Kit

Отобразите отчеты об ошибках для IEC Certification Kit.

Описание

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

Примечание

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

Доступный с IEC Certification Kit.

Введите параметры

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

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

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

Смотрите также

Отобразите отчеты об ошибках для 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 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

Отобразите отчеты об ошибках для 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

Отобразите отчеты об ошибках для 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

Отобразите отчеты об ошибках для AUTOSAR Blockset

Отобразите отчеты об ошибках для AUTOSAR Blockset.

Описание

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

Примечание

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

Доступный с IEC Certification Kit.

Введите параметры

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

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

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

Смотрите также

Отобразите отчеты об ошибках для Simulink PLC Coder

Отобразите отчеты об ошибках для Simulink PLC Coder™.

Описание

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

Примечание

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

Доступный с IEC Certification Kit.

Введите параметры

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

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

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

Смотрите также

Отобразите отчеты об ошибках для HDL Coder

Отобразите отчеты об ошибках для HDL Coder™.

Описание

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

Примечание

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

Доступный с IEC Certification Kit.

Введите параметры

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

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

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

Смотрите также

Отобразите отчеты об ошибках для 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