分析标准合规性和设计错误的模型
标准和分析概述
在模型开发中，检查和分析模型，以增加其质量的信心。检查您的模型，防止标准，如MAB样式指南和高完整性系统设计指南，如DO-178和ISO 26262.分析模型以获取违反所需属性的错误，死亡逻辑和条件。使用分析结果，更新您的模型和文档异常。使用可自定义模板报告结果。
检查风格指南违规模式和设计错误
此示例显示如何使用模型顾问检查MathWorks的巡航控制模型®咨询委员会（MAB）风格指南违规和设计错误。选择检查并运行模型的分析。使用模型顾问和Rerun检查迭代调试问题以验证它是否符合规定。通过所选检查后，报告结果。
检查MAB样式指南违规的模型
在Model Advisor中，您可以检查您的型号是否符合MAB建模指南。
在工作文件夹中创建项目的副本。在命令行上，输入
path = fullfile（matlabroot，'toolbox'，'shared'，'simear'，...'验证'，'src'，'cruise'）运行（fullfile（path，'slverificedcruisestart'））
打开模型。在命令行上，输入
Open_System 万博1manbetxSimulinkCruiseErrorandStandardSexample.
在里面造型选项卡，选择模型顾问。
单击“确定”以选择
万博1manbetxSimulinkcruiseErrorandStandardAdsexample.从系统层次结构。检查您的MAB样式指南违规的模型万博1manbetx®CHECK™。
在左窗格中，在由产品>万博1manbetxSimulink检查>建模标准>MAB检查文件夹，选择：
检查索引模式
检查模型诊断参数
右键点击MAB检查节点并选择
运行选定的检查。要查看违反MAB样式指南的配置参数设置，请单击“检查模型诊断参数查看。分析结果出现在右窗格中，并包括推荐的动作。
单击“参数超链接”，该超链接将打开“配置参数”对话框，并更新模型诊断参数。保存模型。
要验证您的模型通过，请重新运行检查。重复步骤
C和D.，如有必要，达到合规性。生成结果的结果万博1manbetxSimulink检查检查，选择MAB检查节点，然后，在右窗格中单击生成报告...。
检查设计错误模型
在模型顾问中，您还可以检查您的模型是否使用隐藏的设计错误万博1manbetxSimulink Design Verifier™。
在左窗格中，在由产品s manbetx 845>万博1manbetxSimulink Design Verifier文件夹，选择设计错误检测。
如果尚未选中，请单击旁边的框设计错误检测。选择文件夹中的所有检查。
在右窗格中，选择运行后显示报告和运行选定的检查。
在生成的报告中，单击a万博1manbetxSimulink Design Verifier结果摘要超链接。该对话框提供工具，可帮助您在模型中诊断错误和警告。
查看模型上的分析结果。点击突出显示模型的分析结果。点击
计算目标速度子系统，红色概述。Simu万博1manbetxlink Design Verifier结果检查器窗口提供了通过识别可能的信号值来帮助您了解错误源的派生范围。查看线束模型或如果尚未存在，则创建一个。
查看测试和导出测试用例。
查看分析报告。要查看详细的分析报告，请单击HTML.或者PDF.。
相关话题
- 使用模型顾问检查模型合规性（万博1manbetxSimulink检查）
- 使用模型顾问收集模型指标（万博1manbetxSimulink检查）
- 运行设计错误检测分析（万博1manbetxSimulink Design Verifier）
- 在模型中证明属性（万博1manbetxSimulink Design Verifier）
您还可以从以下列表中选择一个网站：
