为调试配置模型
在配置参数对话框中,使用参数诊断面板和调试参数配置模型,生成的代码并构建过程将进行调试。你可以设置参数,适用于模型编译阶段,目标语言代码生成阶段,或两者兼而有之。
参数下表将帮助如果你编写TLC代码定制目标,整合遗留代码,或者开发新的块。
| …… | 选择…… |
|---|---|
| 在MATLAB代码生成显示进度信息®命令窗口 | 详细的构建。编译器输出也会显示。 |
防止构建过程删除 |
保留.rtw文件。这个参数是非常有用的,如果你修改目标文件,在这种情况下,你需要看看 |
| 指导TLC分析器分析薄层色谱性能的代码在代码生成和执行生成一个报告 | 剖面薄层色谱。该报告是在HTML格式,可以在您的web浏览器中读取。 |
| 启动TLC调试器在代码生成 | 开始TLC调试器在生成代码。另外,输入参数直流为系统目标文件的参数代码生成窗格。启动调试器和运行调试器脚本,回车df文件名为系统目标文件。 |
| 生成报告包含统计数据表明多少次TLC的代码生成器读取每一行代码在代码生成 | 开始TLC覆盖在生成代码。另外,输入参数dg为系统目标文件的参数代码生成窗格。 |
停止一个构建如果一个用户提供的TLC文件包含一个%断言指令,评估假 |
使TLC断言。或者,您可以使用MATLAB命令来控制TLC断言处理。 设置标志打开或关闭,使用 set_param(模型、“TLCAssertion”、“|关闭”) 检查当前的设置,使用 get_param(模型、“TLCAssertion”) |
| 检测的损失可调谐性 | 检测的损失可调谐性在诊断>数据的有效性窗格。您可以使用这个参数报告损失的可调谐性当表达式简化为一个数值表达式。这可能发生,如果一个可调的工作空间变量被面具初始化代码修改,或用于一个算术表达式与不支持的运营商或功能。万博1manbetx可能的值是:
支持运营商和函数的列表,请参万博1manbetx阅可调表达的局限性 |
| 启用模式验证(断言) | 模型验证块使。使用这个参数来启用或禁用模型验证块如维护、检查静态差距,相关范围检查块。诊断适用于生成的代码和仿真的行为。例如,模拟和代码生成模型时忽略这个参数验证块内部功能。可能的值是:
断言街区不是残疾,生成的代码模型包括下列语句之一,根据块输入信号类型(Boolean、真实或整数,分别)。 utAssert (input_signal);utAssert (input_signal ! = 0.0);utAssert (input_signal ! = 0); 如果变异模型包含块 utAssert(<变异条件下表情块>); 默认情况下, make_rtw选择= " -DDOASSERTS " 使用下面的变体引发断言如果你想打印断言声明而中止执行: make_rtw选择= " -DDOASSERTS -DPRINT_ASSERTS” utAssert被定义为 自定义断言行为,提供自己的定义 当以加速器模式运行一个模型,仿真软件万博1manbetx®引擎调用回本身执行断言块而不是使用生成的代码。因此,用户定义的回调仍断言失败时调用。 |
关于TLC调试选项的更多信息,请参阅调试目标语言编译器。此外,考虑使用模型顾问作为故障诊断模型的构建工具。
