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

A New Method to Check Consistency of Embedded Program Task Modification

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

The DC control protection program is composed of a number of tasks,tasks are composed of a number of visual program pages.Currently,the difference analysis of visual programs is limited to the scope of page,and there is no method to judge whether the cross-page migration of data subnet within a task affects the function.This paper proposes a new consistency checking schemeread the data of each page in the task chain before and after modification,extract each input symbol in the page,start with the input symbol to conduct depth-first traversal to form a single-input-multi-output data flow subnet,order each data flow subnet in descending order according to the name of the input symbol,traverse the symbols of each subnet,summarize the information text,and calculate the CRC comparison consistency.Execution order according to the page and the location of the input symbols from top to bottom order,analysis before and after the modification of the task chain data between subnet depends on whether effective position changes,given subnet between page to modify the conclusion of whether there is any substantial effect,solved the simple comparison page CRC methods could not judge task chain migration for the whole page within the same level as part of the question of whether or not to have an impact on visual network.