为程序块自动生成测试场景并仿真执行,让控制逻辑在投运前得到验证。
自动生成仿真用例、状态空间扫掠和随机仿真,覆盖时序、锁存与联锁行为。
支持梯形图与 SCL 混合仿真,混合块共享同一状态,结果确定可复现。
输出 PASS/FAIL 证据、诊断与假设,可直接归档为验证记录。
C:\Program Files\Siemens\Automation\Portal\V19\AddIns