验证

配置健康页面：工作站在流程、逻辑、仪表画面以及服务器和 Broker 的列表里扫描什么、它能报出的每一条发现以及它们的措辞、点一行会打开什么、导航栏上的角标，以及为什么这里不修任何东西。

验证页面列出工作站站不住脚的地方：某个通道绑定、某个联锁、某个自动化字段、某个 Logic 表达式、脚本或条件，或者某个仪表画面组件，指向了工作站已经没有的点位、变量、流程或地址；还有写法被它的编辑器拒绝的 Logic 表达式、脚本或条件；还有某个 Process 动作，它的文书按现在的配置一次运行发不出来；还有一次运行的启动会拒绝的流程。它是导航栏底部的验证入口，对持有查看验证权限的身份打开，地址是 /validation。它是一个滚动页面，按整幅宽度绘制，因为每一条发现都是一句话。它是状态栏里运行时健康状态的兄弟：那一个说工作站是否在读，这一个说配置是否仍然解析得开。

它也列出工作站用来交出数据的那些列表（OPC UA 服务器的列表、Modbus 服务器的寄存器映射、MQTT Broker 的发布列表）中信号源已被删除的行：这样的行仍留在列表里，但不再提供或发布任何内容。

这一页只报告；它从不修理。点一行会打开拥有这处故障的那个编辑器，并停在持有它的那个实体上，修理就是你在那里做的编辑。

状态卡片

顶部那张卡片就是这一页对配置的全部答复，也是唯一会宣布工作站干净的地方：

卡片上带着这一页唯一的命令，重新扫描（悬停提示：“立刻再检查一遍整份配置。只要有东西发生变化，这份列表也会自行刷新。”）。有扫描在进行时它是灰的。因为一次找到同样结果的扫描会让列表原封不动，所以结果报在状态栏的操作记录条上：“重新扫描完成：没有需要修复的地方。”“重新扫描完成：N 项需要修复。”，或者“重新扫描失败：原因”。

你很少需要重新扫描。校验器一直开着，跑在工作站上，并在它所读取的任何一个界面上出现一阵改动之后 750 毫秒自己重扫一遍：Connector 的设备、线路和点位；Process 模型；素材；Logic 的变量、动作和报警；仪表画面；标签模板；报告版式。这一页和导航栏上的角标跟着结果走。一次正好赶上 Connector 在挪进挪出设备（一次驱动刷新、一台设备正在添加）的扫描，会等 Connector 安定下来之后重做，因此一个引用绝不会仅仅因为它的设备正在途中就被判为损坏。

工作站用来交出数据的三个列表它也读：在 OPC UA 服务器、Modbus 服务器或某个 Broker 的发布卡片上添加、编辑或删除一行，或者删除某一行指向的点位、变量、报警或命令，都会同样触发重扫。

那些分组

发现按拥有它们的界面分组，顺序是固定的。里面什么都没有的分组不画出来，因此一台只有一处仪表画面故障的工作站只显示一个分组。

一行

每一行就是一条发现，而且不用打开任何东西就说清了它讲的是什么：

• 一个表示种类的图标：Process 绑定用单元图标，动作文书用打印标志，流程用书面组成标志，事件条目用旗帜标志，Logic 树里的变量、动作和报警各用自己的标志，组件用仪表画面标志。
• 实体的名称，随后在类型能说出名称说不出的东西时写上它的类型（集成商从未命名过的组件退回到它的种类，这样一行就不会读成“仪表盘 仪表盘”），再随后在有位置时写“位于位置”。
• 那条发现：对于指名了目标的字段，写“字段指向 引用，而它已经不存在。”，其中的引用用等宽字体排；对于运行时用不了的字段，写“字段：哪里不对。”
• 右边一个箭头：这一行会打开点什么。这一行的悬停提示和它的无障碍名称是整句话再加上点击落到哪里（“在 Process 中打开该单元”“在 Process 中打开该动作”“在 Process 中打开该流程”“在 Process 中打开该事件条目”“在编辑器中打开该组件”“在 Logic 中打开该变量”“在 Logic 中打开该动作”“在 Logic 中打开该报警”）。
• 对服务器列表中的一行，图标是 Connector 树为持有该列表的对象（OPC UA 服务器、Modbus 服务器、MQTT Broker）画的标记，点击落到哪里由悬停提示的末尾说出（“在 OPC UA 服务器中打开该行”“在 Modbus 服务器中打开该行”“在 MQTT Broker 的页面中打开该行”）。

这次扫描能产出的每一条发现

下面的措辞就是这一页自己的措辞。通道绑定存的是它信号源的键，所以它那一行写出的是那个再也解析不了的键；联锁、自动化信号源和回写量存的是操作员从来不读的标识，所以它们那一行不把标识打出来，而是说那个点位或变量已被移除。

Process：通道绑定

类型“通道绑定”；名称：通道的名称（或者“（已移除的通道）”）；位置：“模型 · 单元”。打开这个模型的通道屏幕并停在该单元上。

Process：联锁

类型“联锁”；名称：单元的名称；位置：“模型 · 单元”。一个单元按它实际观测的东西来判：它自己的信号源，或者在它跟随模型时用模型的默认设置。打开这个模型的自动化屏幕并停在该单元上。

前三条只有在这个模型的停止联锁处于启用时才报出来。

Process：自动化

类型“自动化”；名称：单元的名称；位置：“模型 · 单元”。只有已启用的自动化才被判：关掉的那种什么也不驱动，也就从列表里退场。打开这个模型的自动化屏幕并停在该单元上。

一条信号源发现是下列之一：“没有配置信号源。”“点位和变量同时被选中了。”“它读取的那个点位已被移除。”“它读取的那个点位不可读。”（该点位被禁用或者只写）“类型类型的点位在这里不兼容。”“它读取的那个变量已被移除。”“类型类型的变量在这里不兼容。”兼容性跟着字段的角色走：布尔信号源需要布尔类型的点位或变量；整数信号源需要整数类型；数值信号源需要整数或实数类型；元数据信号源接受布尔、整数、实数、文本或日期中的任何一种类型。

Process：流程

类型“流程”；名称：流程的名称；位置：模型的名称。这里的判断走的是一次运行启动时走的同一道关口，因此这份列表说跑得起来的流程，就是台架会接受的流程。打开这个流程自己那一页。

Process：事件条目

类型“事件条目”；名称：事件条目的名称；位置：模型的名称。只读取被某个流程布防的事件条目，而且不论多少个流程布防它，都只读一次，因为条件只有一个，修复也只有一处。打开这个事件条目自己那一页。

一个自身站得住、却依然判不了的条件，因为这个流程的数据记录把它盯着的那个通道漏掉了，那就算在那个流程头上：数据记录是流程自己的选择。

Process：动作文书

类型“动作”；名称：动作的名称；位置：模型的名称。这里的判断和动作自己那一页画出“需要复核”提示时用的是同一个，因此在那里被认为就绪的动作，在这里也是就绪的。打开这个动作自己那一页。

一条命令可能带的说明，按修理它们的顺序排列：

• 请至少选择一个完成结论。（完成时的命令一个结论都没有勾选）
• 请选择一份报告。/ 选中的报告已不存在。
• 请选择一个标签模板。/ 模板已被清除或删除；已保存的映射仍然保留。/ 选中的全局模板已不存在。
• 选中的模板还没有打印机指令；请在运行记录走到这条命令之前写入或导入。
• 无法读取模板标记：错误
• {{marker}} 需要一个信号源。/ {{marker}} 被映射了不止一次。
• {{marker}}：请选择一个信号源 / 这个信号源在开始时还取不到 / 请从这个模型的元数据目录里选一个字段 / 请从这个模型的某个判定里选一条判据 / 请明确指定一个从 0 到 n 的循环序号 / 请去掉这个日期时间信号源上的小数位 / 请对这个数值信号源使用默认格式 / 小数位必须在 0 到 9 之间 / 请去掉这个文本信号源上的数值或日期格式
• {{marker}} 已从当前模板中移除；请删掉它保存的映射。

Logic

没有位置：Logic 的那几种都在顶层。每一个解析不开的地址一行，地址按表达式书写它的样子写出。只扫描表达式变量；内部存储值变量没有表达式可读。当一段文本的每个地址都能解析时，还会像它的编辑器那样评判这段文本，编辑器拒绝的文本占一行，措辞就是编辑器自己的那句消息：保存为 !Variables.Start 的报警得到“‘Variables.Start’是点位本身，而不是它的值：作为条件时它始终被视为真。请用 Variables.Start.ValueToBool() 读取它的值。”这次评判不包括编辑器用当前值做的试算，所以一行不会随着读数时有时无；空文本不列出：那是还没写的定义。

仪表画面

类型：编辑器给这个组件的种类起的名字（仪表盘、折线图、数值…）；名称：为这个组件输入的名称，没有就用它的标题，再没有就用编辑器推导出来的；位置：仪表画面的名称。每一个地址字段一行，因此一个组件的数值和颜色读了两个已移除的点位，就是两次修理。

只读取地址字段，而且只读能解析成带根、至少有一段的地址的那种值：一个写着“Process.Press 1.Temperature”的文本组件是文字，不是引用，永远不会被报出来。同一个字段里的同一个地址算一条发现。定义在 Process 模型上的画面会跳过：它们通过一个单元占位符来绑定通道，在某个单元打开那张画面之前，没有任何点位答得上那些地址。

Connector

OPC UA 服务器的列表、Modbus 服务器的寄存器映射或 MQTT Broker 的发布列表中的一行，按身份持有它的信号源（点位、变量、报警，在 OPC UA 服务器上还有设备的命令）：改名永远不会让它断开，删除则让这一行留在原处，并标明它失去了什么。这样的行会列在这里，正是它自己的表格标为缺失的那一行。工作站仍然拥有、只是不提供的信号源（被禁用的点位、被禁用设备的点位、没有寄存器能承载其类型的变量）不会列出：是什么把它挡在外面，这一行自己的字段会说。这一行保存的是操作员从不阅读的身份，所以它说出消失的是哪一类信号源，而不是把身份显示出来。

这个页面不删除也不改动任何东西，每个服务器对这一行照旧行事：OPC UA 服务器不为它提供任何内容，Modbus 服务器对读取其寄存器的客户端以异常 04 回应，Broker 保留它在该主题上保存的最后一条消息。修复在这一行的卡片上进行：另选一个信号源，或者删除这一行。

点一行会打开什么

打开只是把你送到故障上；目标页面随后对这次编辑施加它自己的权限（Process 屏幕上是管理 Process，Logic 里是配置 Logic，Connector 里是配置 Connector）。页面到达时已经解析不开的实体（这期间被删掉了）会被忽略，页面就按它平常的样子打开。

导航栏上的角标

导航栏上的验证入口戴着一枚警示色的小药丸，写着待修复的项数，超过九十九写“99+”，配置干净时则不戴。这个数字是校验器自己的，由这一页所跟随的那同一次重扫在后台保持最新，因此你在任何页面上编辑时它都会跟着动，不需要打开这一页。打开这一页以及在这一页上重扫也会更新这个数字，因此小药丸显示的数字永远和列表一致。

这一页永远不做的事

• 它什么也不修：不重新绑定，不删除，不重命名。每一行都是一次“打开”；行上没有别的动作，也没有批量动作。
• 它从不评判运行时：一台不通信的设备是状态栏里的健康状态，不是这里的一条发现。指向一个存在但读数质量不良的点位的引用，是解析得开的。
• 它从不报出被禁用的自动化、定义在模型上的画面、看起来像地址的自由文字、内部存储值变量，或者同一条动作命令的第二条及以后的说明（数字会说还有多少条在那一页上等着）。
• 它从不读取没有任何流程布防的事件条目，也从不把同一个已布防的事件条目列两次，不论有多少个流程布防它：一个条件就是一处修复。
• 它从不在 Connector 处于半途状态时扫描；它会等，然后只量一次。
• 在每一块屏幕上它都是同一份列表，工作站的窗口和浏览器一样，对每一个可以打开它的身份也一样：权限把的是这一页的关，不是每一行的关。
• 运行时停止期间，这一页和每一页一样让位给暂停提示；角标保留它最后的数字。
• 它从不删除服务器列表中的一行，也从不改变服务器对它的处理，也从不列出工作站仍然拥有、只是不提供的信号源（被禁用的点位、没有寄存器能承载其类型的变量）：那由这一行自己的卡片来说。