论文部分内容阅读
直流控制保护程序由多个任务组成,任务由多个可视化程序页面组成。当前的可视化程序差异分析仅限于页面范围,对于任务内数据子网络跨页面迁移是否影响功能尚未有判断方法。提出一种新的一致性校核方案:读取修改前后任务链内各个页面数据,提取页面内各个输入符号,以输入符号为启始进行深度优先遍历形成单输入-多输出的数据流子网络,按照输入符号名字降序排列各数据流子网络,遍历各子网络的符号,汇总信息文本,计算CRC比较一致性。按照页面执行顺序和输入符号从上到下的位置顺序,分析修改前后任务链的子网络之间数据依赖有效位置是否发生变