7.2 离线开发：仿真与虚拟调试

7.2 离线开发：仿真与虚拟调试

本节摘要：离线验证是一级向上的阶梯：功能仿真验证逻辑本身，硬件仿真验证系统集成，虚拟调试让程序驱动产线的三维模型提前"空跑"。本节沿阶梯上行，用青线虚拟调试提前消灭的十一类问题证明一句话——能在办公室发现的问题，绝不该留到现场。

交付流程的第二个关口在办公室里。过去现场调试一到两个月是行业常态，青线把现场调试压到三周，差值来自这一节：程序到现场之前，它已经在虚拟世界里跑了几百个小时。几百小时的构成也值得交代：不是一个人盯着屏幕连跑几百小时，而是四十七个用例按计划轮跑、故障注入按清单触发、结果按模板记录——时间舍得给，方法也要跟得上，两者合起来才叫"跑过"。

阶梯上行：三级验证各有其职

第一级，功能仿真：开发环境自带的离线仿真器跑程序，用监控表人工给输入，验证布尔逻辑与状态机走向。它最便宜，响应最快，适合单元级验证——4.2节每个状态机、4.1节每条联锁，都在这一级过第一遍。这一级的纪律是"小步快跑"：每写完一个功能块立即仿真，不等"整段写完再验"——错误在小时级别被发现，修复成本是分钟级；攒到天级别，就要靠调试器慢慢磨。

第二级，硬件仿真：把真实PLC程序跑在虚拟控制器（硬件级仿真内核）上，通过仿真IO与脚本激励跑全流程场景。它比一级多了真实运行时——第1章的扫描周期、2.4节的任务调度、6.5节的周期监控在这一级才真正参与考试。青线的用例库在这一级成型：正常启停、堵料、急停、断反馈、通信失效，五类场景四十七个用例，全部脚本化可重复——4.5节重构时的行为等价验证，用的正是这批用例。脚本化的价值在"回归速度"：四十七个用例全量跑一遍四十分钟，重构或变更后随手一跑，行为等价与否立见分晓——没有脚本化的用例库，重构纪律就是空谈。

第三级，虚拟调试：虚拟控制器连接产线的三维仿真模型——输送线、瓶体流、机械手按真实物理参数建模，程序驱动模型像驱动真实产线。时序类问题在这一级现形：4.1节启动链的间隔在瓶流下的真实表现、4.4节星轮与螺旋的同步、瓶体追踪的窗口参数，全部在虚拟瓶身上标定过一遍。

图 7-1：虚拟调试架构——程序先在虚拟世界跑几百小时

青线实录：三十八项问题，没有一项到现场

虚拟调试阶段的战果值得抄录：三周里提前消灭三十八项问题，归为十一类——启动链时序、同步比、追踪窗口、联锁与规格偏差、HMI冲突、切换扰动、降级闭环、报警分级等。最值钱的一类是"降级路径未闭环"：6.1节的通信失效降速策略，在虚拟断缆试验里发现恢复路径有死角（恢复后输送段速度不回升），修在办公室，避免了一次现场排障——按现场单问题平均半天计，这三周值一个半月。

数字孪生的边界也要如实交代：模型是物理的近似，瓶子卡斜这类机械例外未必仿真得出；虚拟调试消灭的是逻辑、时序、集成类问题——恰是过去现场调试里最耗时的那部分。7.3节的现场三周，照旧要打靶、要联锁验证、要满负荷试车，只是不再被低级问题淹没。

虚拟调试的组织方式也值得记录：青线安排两名工程师专职仿真三周，其余人继续开发下一个工位——仿真是岗位不是插曲。专职的意义在积累：三周里仿真的手速、用例的组织、故障注入的套路都会长在个人技能上，下个项目从一开始就有熟练工。轮换着"谁有空谁仿真"的团队，仿真水平永远停在入门，工具买了用不出价值，账最终算在工地上。

给读者的最小可行建议：不必等三维模型才开始离线验证。一级功能仿真当天就能跑起来，二级硬件仿真各主流平台都有免费形态。养成"用例先行"的习惯——写逻辑前先写好验收它的用例，你就拥有了青线这套打法的内核。

虚拟调试的两个高频疑问

问：没有三维模型的团队怎么起步？ 从二级硬件仿真直接起步，收益已经可观——青线统计过，虚拟调试消灭的三十八项问题里，约七成在二级就能抓住（联锁偏差、降级闭环、切换扰动都是纯逻辑时序问题）。三维模型的增量收益集中在机械同步与瓶流时序上，可以在项目二期再补。工具预算有限时，把钱花在用例库上比花在模型上更划算。

问：仿真环境与真实硬件的行为差异会不会造成"仿真过了、现场不过"？ 会，差异清单要心里有数：扫描周期在仿真里可能更快（无真实IO负载）、通信报文是镜像不是物理信号、故障注入是模拟的条件而非真实的电气故障。对策是7.3节的现场验证只验"仿真验证不了的那部分"，两边的分工写在验证计划里——仿真的可信度不靠神化，靠边界清晰。

三级验证的产出汇总成一份"离线验证报告"：每级跑了哪些用例、发现并消灭了什么问题、遗留什么到现场——这份报告随7.3节的移交包走完整生命周期。它的价值有两个：一是现场团队的作战地图，哪些已经验证过不必重验、哪些要重点盯防，开工会半小时对齐；二是给后来者的路线图，下个项目照着报告的发现分布，就知道自己的离线验证该往哪里加码。报告的模板很薄，两页表格，但它让"离线做了什么"第一次变得可审计——验证工作的可信度，从来与可审计性成正比。

用例库：验证资产的经营之道

四十七个用例是青线虚拟调试的弹药库，它的经营方式比数量更值得学。每个用例有四件套：前置条件、激励脚本、预期输出、清理动作——缺清理动作的用例会污染下一个用例的起点，这是用例库最常见的腐坏方式。用例命名带场景编号与版本号，与规格书章节对应：规格书改了哪章，对应用例跟着改——7.4节的同源纪律在测试资产上的应用。

用例库的复利在维护期兑现：交付后业主的每次改造申请，先在用例库里加用例、跑仿真，再上现场——青线交付后六次改造全部走这条路，现场一次返工都没有。当初建库的两周投入，按此速率一年回本。验证资产和代码资产一样需要版本管理，把它写进7.4节的归档清单，是虚拟调试与版本控制两章之间的暗桥。

本节要点回顾

• 三级阶梯：功能仿真验逻辑、硬件仿真验集成、虚拟调试验时序，各有职权不越位；
• 用例资产：四十七个脚本用例既是验证工具又是重构保险，一次投入全程复用；
• 战果口径：三十八项问题十一类，全消灭在办公室，现场调试因此压到三周；
• 边界诚实：接线一致、物理漂移、电磁干扰三件事仍归现场，虚拟不越权。

程序带着几百小时虚拟里程到了现场。下一节：最后一关的三周怎么走，证据怎么留。