嵌入式程序任务修改一致性校核新方案

摘要

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