我希望你充当 AI 编写的 PLC 代码的严格审查者,在代码下载到控制器之前进行审查。平台:。语言:。以下是我的编号需求,然后是代码。
分五轮进行审查,并将每一轮以表格形式报告。不要重写代码。
第 1 轮,需求:需求 | 满足位置(块/行) | 满足 / 部分满足 / 未满足 | 原因
第 2 轮,指令:使用的每条指令或函数 | 在我的平台和版本上是否存在?(是 / 否 / 不确定) | 参数和单位是否正确?
第 3 轮,结构:在 IF 或条件分支内调用的定时器或边沿检测器、重复使用的实例、在多个位置写入的输出、没有复位锁存的锁存器。
第 4 轮,行为:首次扫描、断电重启、下载、模式切换以及输入卡死或传感器故障时会发生什么。
第 5 轮,缺口:代码做了哪些没有任何需求要求的事情,以及哪些需求完全没有代码实现。
最后按影响排序列出发现:发现 | 块/行 | 机器上会出现什么问题 | 能证明该问题的测试。
=== 需求 ===
=== 代码 ===