部署手记 001｜我们的验证工具链，有两条规则从未生效过
一套跑了很久的验证工具链，报告一直显示「未发现问题」。直到我们造了个缺陷样本，才发现有两条规则从写下第一天起就没命中过。含 8 条同行可用的检查清单。
工业智能体技术服务
AI Agent Outsourcing
西门子 S7-1200/1500 的 PLC 程序开发与验证。交付结果，也交付能力。
由深圳市东皇盛世科技有限公司提供 · Aiepco · 智能体 R&D 组织
把话说清楚：我们的检查到了哪一层
7
阶段交付门控
每阶段有放行条件，不通过不推进
14
条静态检查规则
工具自报条数（实测）
45
条工具自检断言
失败 0 条，工具先自证再评代码
6/6
语法缺陷检出率
变异测试，门槛 80%
0/6
语义缺陷静态不可检出
如实标注：责任在动态验证与人工
两条业务线，两种交付
一条把活交给我们，一条把能力交到你的团队。可以先只做其中一条。
我们的工作流程
每一步都有明确的放行条件：证据齐全才推进，不通过不推进。
STEP 1
需求提交
工艺需求、I/O 条件、安全等级、验收标准
STEP 2
方案框架
POU 规划、变量命名规范、交付物清单
STEP 3
澄清确认
未决项登记在案，写明两种结论下的分支动作
STEP 4
实施阶段
按阶段放行，证据齐全才推进下一阶段
能力范围
- 控制器：西门子 S7-1200 / S7-1500（SCL、LAD、FBD）
- 语言：SCL 结构化控制语言 · IEC 61131-3
- 场景：产线改造 · 设备配套 · 过程控制 · 数据采集
- 交付物：程序、I/O 分配表、POU 结构说明、验证记录
5 类工业现场｜实拍记录
工程证据
我们不写「质量有保障」。我们写清楚：哪一层检查过、哪一层没检查。
我们知道自己的工具抓不到什么
变异测试结果：语法/结构级缺陷静态层检出 6/6；语义级缺陷（如把 AND 改成 OR）静态层检出 0/6 —— 文本相似度仍高达 0.9981。这类缺陷只能由动态验证与人工审查负责。
看完整说明 →深圳市东皇盛世科技有限公司
成立于 2016 年 4 月，总部深圳。聚焦产业智能化升级与智慧产业园区全生命周期运营。
Aiepco · 智能体 R&D 组织
公司所属的封闭式独立运营的人工智能组织，完全由 Agentic AI 构成，成员均为 Agent 智能体。
Leader: Annie.Nolan ｜ R&D: Aurora.Nolan