梯形图跳转指令（JMP）滥用导致程序流程难以追踪的结构化改造

梯形图（Ladder Diagram, LD）是PLC编程中最常用、最直观的图形化语言，其符号逻辑贴近传统继电器电路，便于电气工程师快速上手。但正因这种“类硬件”的表象，容易掩盖底层执行机制的本质——PLC并非并行处理所有支路，而是严格按扫描周期顺序执行：输入采样 → 程序执行 → 输出刷新。在这一确定性时序下，JMP（Jump）指令作为唯一能打破线性执行顺序的跳转控制，一旦滥用，会直接瓦解程序的可读性、可维护性与故障定位能力。

本文不讨论JMP是否“应该存在”，而聚焦一个现实痛点：当JMP被用于替代结构化逻辑、规避重复代码、隐藏条件分支或实现伪状态机时，程序将迅速退化为“意大利面条式流程”（Spaghetti Logic）。此时，单靠目视检查梯形图已无法可靠追踪信号流向；调试时断点失效、监控变量值突变、扫描周期异常延长；甚至同一段逻辑在不同扫描周期中表现出不一致行为。这些问题并非源于硬件故障，而是程序结构失范的必然结果。

以下提供一套零依赖、纯梯形图、无需高级语言支持的结构化改造方法，适用于西门子S7-1200/1500、三菱FX/Q系列、欧姆龙CP/CJ系列等主流PLC平台。所有操作仅需在标准LD编辑器中完成，不涉及ST、SCL或FB模块封装。

一、识别JMP滥用的4个典型症状

在开始改造前，先确认当前程序是否已落入高风险结构。以下任一现象出现，即表明JMP已超出合理使用边界：

1. 跳转目标分散：同一JMP指令的目标标签（LBL）在程序中出现3次以上，且分布在不同网络（Network）甚至不同块（OB/FC/FB）中；
2. 跨扫描跳转：JMP后紧跟RET或END，但跳转目标LBL位于后续扫描周期才可能被执行的支路中（例如：跳入一个由上升沿触发、仅执行一次的脉冲逻辑区）；
3. 嵌套跳转：JMP→JMP→LBL→LBL形成两层以上跳转链，且中间无明确状态标记；
4. 无条件跳转主导流程：主程序主干中超过40%的网络以JMP开头，而非以输入条件或定时器输出驱动。

注：合理使用JMP的场景仅有两类：① 快速退出无效分支（如故障状态下跳过全部工艺步）；② 实现简单循环（如连续检测某传感器10次，用JMP回跳+计数器实现）。其余用途均应重构。

二、结构化改造核心原则（3条铁律）

所有改造必须满足以下刚性约束，否则仍属“换汤不换药”：

1. 单入口单出口（SESE）：每个逻辑功能块（无论大小）必须有且仅有一个入口网络（由明确条件触发）、一个出口网络（产生确定输出或状态信号），禁止从块中间任意位置跳入或跳出；
2. 状态显性化：所有流程分支必须由布尔型状态变量（如 M_StartStep, M_CoolingActive, M_ErrorHeld）驱动，禁用隐式跳转控制流程走向；
3. 执行可预测：任一扫描周期内，同一状态变量最多被置位（SET）或复位（RST）一次，且置位/复位动作必须位于独立、无跳转干扰的网络中。

三、四步法结构化改造实操指南

以下步骤严格按执行顺序排列，每步均可独立验证效果，无需一次性重写整套程序。

步骤1：冻结跳转，标记所有JMP/LBL对并编号

打开PLC编程软件，进入梯形图编辑界面。
切换至“查找全部”模式（快捷键通常为 Ctrl + Shift + F）。
在查找框中输入 JMP，勾选“匹配整个单词”，点击“查找全部”。记录所有匹配项的网络号（如 Network 12、Network 47）。
对每个JMP指令执行以下操作：

• 右键点击该JMP指令 → 选择“转到标签” → 软件自动定位到对应LBL所在网络；
• 在JMP所在网络左侧空白处手动添加注释，格式为：// JMP-01 → LBL-01 (N47)；
• 在LBL所在网络左侧空白处添加注释，格式为：// LBL-01 ← JMP-01 (N12)；
• 确保每对JMP/LBL编号唯一且连续（如JMP-01/LBL-01、JMP-02/LBL-02），禁用JMP-A、JMP-B等非数字标识。

✅ 此步目的：将隐式跳转关系转化为显式、可索引的文本链接，为后续拆解提供坐标系。
❌ 常见错误：仅标注JMP不标LBL；编号跳跃（如跳过-03）；在LBL后添加无关逻辑（导致LBL实际成为多入口点）。

步骤2：提取跳转目标逻辑，封装为独立状态网络

对每个LBL-N，执行以下操作：

1. 复制LBL-N所在网络及其后续连续执行的逻辑网络（直到遇到下一个JMP、RET、END或明确的状态变更点为止）；
2. 新建一个空网络（插入在原LBL-N之前），命名为 State_N_Entry（如 State_01_Entry）；
3. 在此新网络中构建状态使能条件：
   • 添加一个常开触点，地址设为新状态变量，如 M_State01；
   • 将原LBL-N网络中的首条指令（通常是某个线圈或输出）整体剪切，粘贴到此网络中；
   • 删除原LBL-N指令本身（LBL仅作跳转锚点，无执行意义，必须清除）；
4. 为该状态网络添加出口信号：
   • 在网络末尾添加一个SET线圈，地址为下一个预期状态变量（如 M_State02）；
   • 或添加一个RST线圈，地址为本状态变量（如 M_State01），用于自清除。

例如，原LBL-03网络如下：

|----[ ]----( )----|   // M_SensorOK → Q_ValveOpen
|----[ ]----( )----|   // TON_T3_5s.Q → Q_Alarm

改造后State_03_Entry网络为：

|----[M_State03]----(Q_ValveOpen)----|
|----[M_State03]----(Q_Alarm)--------|
|----[TON_T3_5s.Q]----(RST M_State03)-|
|----[M_SensorOK]----(SET M_State04)--|

✅ 此步目的：将跳转目标从“被动接收点”转变为“主动执行单元”，每个状态由布尔变量驱动，执行完毕后主动切换至下一状态。
❌ 常见错误：未删除LBL指令（导致LD编译报错）；状态变量命名未统一（如混用M_St03与M_State03）；出口信号未与流程逻辑严格对应（如应跳State_04却误设为State_05）。

步骤3：重写跳转源逻辑，用状态变量替代JMP

回到每个JMP-N所在网络，执行以下替换：

1. 删除原JMP-N指令；
2. 在其位置插入状态置位逻辑：
   • 添加一个常开触点，连接原始跳转触发条件（如 I_StartPB、M_PreviousStepDone）；
   • 在此触点后添加一个SET线圈，地址为对应目标状态变量（如 M_State01）；
3. 若原JMP受多个条件控制（如“启动按钮按下”或“温度超限”均可跳转），则将各条件并联后驱动同一SET；
4. 若需防止重复置位，在SET前增加自锁触点（如 [M_State01] 常闭触点串联在触发条件后）。

原JMP-01网络（触发条件为 I_StartPB）：

|----[I_StartPB]----(JMP-01)----|

改造后State_01_Trigger网络：

|----[I_StartPB]----[NOT M_State01]----(SET M_State01)----|

✅ 此步目的：将“跳转命令”转化为“状态请求”，流程控制权回归布尔变量，彻底消除非线性执行路径。
❌ 常见错误：遗漏自锁保护（导致一个扫描周期内多次SET，违反SESE原则）；将SET与RST置于同一网络（引发竞争，PLC执行顺序不可控）。

步骤4：注入状态监控与安全兜底机制

结构化后程序仍需防御性设计。在主程序起始处（如OB1首网络）添加以下三类网络：

1. 状态互斥校验网络：

   |----[M_State01]----[M_State02]----(Q_FatalError)----|  // 任意两状态同时激活即报错
   |----[M_State01]----[M_State03]----(Q_FatalError)----|
   ...（穷举所有状态对）

2. 空闲状态兜底网络（防流程卡死）：

   |----[NOT M_State01]----[NOT M_State02]----[NOT M_State03]----...----(SET M_Idle)----|
   |----[M_Idle]----(TON_TIdle_30s)-----------------------------------------|
   |----[TON_TIdle_30s.Q]----(Q_SystemHalt)------------------------------|

3. 单次执行保护网络（针对仅需执行一次的动作）：

   |----[M_State05]----[NOT M_State05_Prev]----(SET M_ActionOnce)----|
   |----[M_ActionOnce]----(Q_MotorStart)-----------------------------|
   |----[M_State05]----(M_State05_Prev)------------------------------|

✅ 此步目的：将潜在逻辑漏洞转化为可诊断、可报警的显性信号，大幅提升系统鲁棒性。
❌ 常见错误：互斥校验未覆盖全部状态组合；兜底定时器时间过短（误触发）或过长（响应迟钝）；未使用NOT取反实现边沿检测，导致动作重复触发。

四、改造前后关键指标对比

为量化改进效果，可在改造前后对同一程序片段进行扫描周期与可维护性测量。下表基于某饮料灌装线PLC程序（含27处JMP）的实际测试数据：

注：扫描周期下降源于消除跳转带来的指令缓存失效；故障定位时间锐减源于状态变量可直接在监控表中观察，无需跟踪跳转链。

五、附：常见PLC平台JMP指令语法速查表

为确保跨平台改造一致性，列出主流系统JMP/LBL指令的标准写法。所有平台均遵循“标签名全局唯一、区分大小写、不可含空格”原则。

✅ 关键提醒：西门子JMP/LBL必须在同一块（FC/FB/OB）内；三菱CJ可跨程序段但不可跨文件；欧姆龙JMP/JME对必须成对且编号严格一致；罗克韦尔标签名区分大小写且强制引号。

六、进阶建议：从结构化迈向模块化

当状态数量超过20个，或同一设备存在多套独立工艺流程（如灌装线同时支持玻璃瓶/塑料瓶模式），建议在结构化基础上引入模块化分层：

• 第一层：模式选择器（Mode Selector）
  用单个字节（如 MB_ModeSelect）编码模式：16#01=玻璃瓶，16#02=塑料瓶，16#00=停机。所有状态变量前缀改为 M_Glass_ / M_Plastic_；

• 第二层：状态机调度器（State Dispatcher）
  主循环网络根据MB_ModeSelect值，使能对应模式的状态网络组（通过AND掩码控制），其余模式网络被逻辑屏蔽；

• 第三层：原子动作库（Atomic Action Library）
  将重复动作（如“阀门开启并延时”、“电机启动带过载检测”）封装为独立FC函数块，输入为IN_Enable、IN_Timeout，输出为Q_Done、Q_Error，状态网络仅调用接口，不包含底层逻辑。

此三层架构可使万行级梯形图保持线性可读，且支持模式热切换（无需停机重启PLC）。

七、最后验证清单（改造完成后逐项打钩）

在程序下载至PLC前，务必完成以下10项验证。任一未通过，不得上线：

1. [ ] 所有原始JMP/LBL指令均已删除，无残留；
2. [ ] 每个M_StateXX变量在程序中仅被SET/RST各一处驱动（全局搜索确认）；
3. [ ] 所有状态网络出口均指向明确下一状态（无悬空SET）；
4. [ ] 状态互斥网络已覆盖全部活跃状态组合；
5. [ ] 空闲状态兜底定时器设定值 ≥ 最长正常工艺周期 × 1.5；
6. [ ] 使用PLC仿真软件（如S7-PLCSIM Advanced、GX Simulator）运行1000次扫描，确认无Q_FatalError激活；
7. [ ] 手动触发每个状态入口条件，观察对应输出动作及状态变量切换是否精准；
8. [ ] 强制置位任意一个M_StateXX，确认其不会自行触发其他状态（排除隐式连锁）；
9. [ ] 在监控表中展开所有M_StateXX变量，执行完整工艺循环，确认状态变迁序列与工艺文档完全一致；
10. [ ] 导出当前程序为PDF，随机抽取3名未参与改造的电气工程师，要求其在15分钟内准确描述“冷却阶段如何启动与退出”，2人答对即视为通过。