用于星载处理器的程序执行流程跳转错误检测方法

摘要

本发明公开了一种用于星载处理器的程序执行流程跳转错误的检测方法，其步骤为：①处理器程序运行时，初始化跳转状态矩阵，进行步骤②；②根据程序基本模块之间的跳转关系，构建基本模块跳转矩阵，进行步骤③；③顺次执行各个基本模块的跳转状态检测流程，执行跳转检验矩阵；④通过统计跳转检验矩阵中元素“1”的数量是否为1，如果为1则上次跳转正常，进行步骤③，否则上次跳转异常，进行步骤⑤；⑤结束所有状态，进行程序故障处理。本发明是一种原理简单、操作方便、可靠性好的用于星载处理器的程序执行流程跳转错误的检测方法。

主权项

1、一种用于星载处理器的程序执行流程跳转错误的检测方法，其特征在于，其步骤为：①处理器程序运行时，初始化跳转状态矩阵，进行步骤②；所述跳转状态矩阵为一个用于标记程序当前跳转状态的N阶全局二维矩阵F，当基本模块b_i即将跳往基本模块b_j时，对应F_ij＝1；对于单线程程序，每个时刻只能发生一次跳转，因此F有且只有一个元素为1，其余为0；②根据程序基本模块之间的跳转关系，构建基本模块跳转矩阵，进行步骤③；所述基本模块跳转矩阵为一个N阶全局二维矩阵J，其描述了基本模块b_i、b_j之间的跳转关系J_ij：$\forall i,j\in [0,N-1],$如果b_i可以跳转到b_j，那么J_ij＝1，否则J_ij＝0；③顺次执行各个基本模块的跳转状态检测流程，执行跳转检验矩阵；所述跳转检验矩阵为一个用于检测程序最近一次跳转是否有效的N阶局部二维矩阵C，矩阵中元素为“1”的位置表示最近发生的模块跳转行为；对于单线程处理器软件程序，同时只能存在一次模块跳转，因此C中有且只有一个元素为1；如果C的元素为全0，或者包含多个1，则表示最近一次跳转为非法跳转；④通过统计跳转检验矩阵中元素“1”的数量是否为1，如果为1则上次跳转正常，进行步骤③，否则上次跳转异常，进行步骤⑤；⑤结束所有状态，进行程序故障处理。