4. 模型动态仿真诊断

静态检查能发现连线错误、数据类型不匹配、代数环等问题，但有一类缺陷只有在模型“跑起来”之后才会暴露：积分器在特定工况下饱和、状态机在某个事件序列下进入死锁、查表模块在边界输入时输出跳变、离散采样周期与使能信号错位导致一拍延迟。动态仿真诊断的任务，就是让模型在受控的激励下运行，并通过日志、信号记录、断言和覆盖率四类证据，把“运行时才出现”的缺陷定位到具体模块、具体时刻和具体条件。

四类证据的分工

仿真日志记录的是仿真器层面的事件流：求解器步长变化、过零检测触发、代数环警告、状态初值、模块初始化顺序。它回答“仿真过程中发生了什么异常事件”。信号记录保存的是随时间变化的数值轨迹，回答“哪个信号在什么时刻偏离了预期”。断言是在模型中嵌入的运行时检查，回答“某个不变量是否被破坏”。覆盖率统计的是仿真对模型结构的触达程度，回答“这次仿真有没有真正跑到可疑分支”。四者互补：日志给线索，信号给证据，断言给判据，覆盖率给盲区。

从日志中读出异常事件

仿真日志中最容易被忽略但信息量最大的是求解器行为。以变步长求解器为例，当模型在某个时刻附近出现频繁的步长回退（step size reduction），通常意味着该处存在不连续或刚性切换。日志中会出现类似 Step size reduced to 1e-9 at time 2.347s 的记录，这提示我们检查该时刻附近是否有开关模块、饱和模块或状态机迁移。另一个关键线索是过零检测（zero-crossing）的密集触发，它往往对应着符号函数的频繁翻转，可能导致仿真速度骤降甚至卡死。

代数环警告则直接指向结构问题：日志中 Algebraic loop detected involving block 'Gain3' 说明存在直接馈通回路，求解器被迫迭代求解，数值精度和实时性都会受影响。初始化阶段的日志同样重要，如果某个状态变量的初值与预期不符，后续所有轨迹都会偏移。建议在诊断时先过滤日志中的 WARNING 和 ERROR 级别条目，按时间排序，形成一条“异常事件时间线”，再与信号记录对齐。

信号记录：把数值轨迹变成证据

信号记录的关键不是“看波形”，而是“带着预期看波形”。在仿真前应明确每个关键信号的正常范围、变化率和稳态值。例如一个温度控制模型，加热功率信号在稳态时应围绕某个均值小幅波动，若记录显示它在 0 和最大值之间以固定周期翻转，说明控制器进入了极限环振荡，根因可能是比例增益过大或采样周期与热时间常数不匹配。

实际操作中，建议对以下三类信号重点记录：一是被控量（如转速、温度、位置），用于判断系统是否稳定；二是控制量（如 PWM 占空比、阀门开度），用于判断执行器是否饱和或抖动；三是内部状态量（如积分器输出、状态机当前状态），用于判断逻辑是否按预期迁移。记录时注意设置合适的采样周期，过疏会丢失突变细节，过密则数据量膨胀。对于状态机，可以把状态编号作为信号记录，这样在波形上能直接看到状态跳变序列。

断言：把“应该成立”写成可执行判据

断言是动态诊断中最主动的手段。它把设计意图中的不变量、边界条件和时序约束写成运行时检查，一旦违反立即报错并给出时刻。常见的断言类型包括：范围断言（如 0 <= duty <= 1）、变化率断言（如 abs(derivative(speed)) < 500 rpm/s）、时序断言（如“使能信号拉高后 100ms 内输出必须响应”）、状态断言（如“状态机不得同时处于加热和制冷状态”）。

断言的价值在于它把“事后翻波形”变成“运行时自动报警”。在 Simulink 中可以用 Assertion 模块，在 Stateflow 中可以用 verify 语句，在代码生成后也可以用 assert 宏。建议把断言分为两级：一级是安全级，违反即停止仿真；二级是警告级，记录但不中断。这样既能捕获致命缺陷，又不会因为次要问题打断整个诊断过程。

覆盖率：找出没被仿真触达的盲区

覆盖率回答的是一个容易被忽视的问题：这次仿真到底有没有跑到可疑的地方？模型覆盖率通常包括分支覆盖率、条件覆盖率和状态机覆盖率。如果某个状态机的迁移分支从未被触发，那么该分支中的缺陷就不会在这次仿真中暴露。诊断时可以把覆盖率报告与缺陷假设对照：如果怀疑某个故障处理分支有问题，但覆盖率显示该分支未触达，那么当前仿真用例不足以验证这个假设，需要补充激励。

一个实用的做法是：先根据日志和信号定位到可疑模块，再查看该模块的覆盖率数据。若覆盖率不足，设计针对性的激励用例，例如把输入拉到边界值、构造特定的状态迁移序列、在故障注入点施加扰动。补充用例后重新仿真，观察断言是否触发、信号是否异常。这样形成“假设—激励—观察—修正”的闭环，而不是盲目地反复跑仿真。

一个完整的诊断示例

假设一个电机转速控制模型在仿真到 3.2s 时出现转速剧烈振荡。第一步查日志，发现 3.18s 附近有过零检测密集触发和步长回退，提示该处存在不连续切换。第二步看信号记录，转速在 3.2s 后以约 20ms 周期在 1450~1550rpm 之间振荡，同时 PWM 占空比在 0.3~0.7 之间翻转，说明控制器输出饱和翻转。第三步检查断言，若事先写了“转速变化率绝对值小于 300rpm/s”的断言，此时会触发并给出精确时刻。第四步查覆盖率，发现“积分抗饱和”分支从未被触达，说明积分器在饱和后没有正确退饱和，导致超调振荡。修复方式是启用抗饱和逻辑或调整积分限幅，然后回归仿真，确认断言不再触发、覆盖率提升、波形恢复稳定。

动态仿真诊断的核心不是“多跑几次仿真”，而是让每一次仿真都产生可解释的证据。日志告诉你哪里异常，信号告诉你异常长什么样，断言告诉你什么算异常，覆盖率告诉你还有哪里没检查。把这四者组织成一条证据链，运行时缺陷就不再是偶发的“幽灵问题”，而是可以被定位、复现和修复的工程对象。