一种航天嵌入式C语言软件运行时错误的静态分析方法

摘要

本发明公开了一种航天嵌入式C语言软件运行时错误的静态分析方法。包括：(1)将航天嵌入式C语言软件运行时错误按照错误的发生机制进行分类，根据每类错误构造属性状态机的步骤。(2)根据构造的待检测软件源代码的程序控制流图和属性状态机获得程序控制流图中各节点的属性状态和路径条件的步骤。(3)根据获得的属性状态和路径条件对运行时错误进行分析的步骤。采用本发明提高了对航天嵌入式C语言软件运行时错误进行检测的准确度和效率。

主权项

一种航天嵌入式C语言软件运行时错误的静态分析方法，其特征在于包括以下步骤：(1)对航天嵌入式C语言软件运行时错误进行分类，按照分类后每类错误的属性模式构造属性状态机，所述属性状态机包括程序运行过程中可能出现的属性状态D_i，i＝{1，…n}，n为每类错误中的属性状态总数，D_i包括程序运行过程中可能的出现的错误状态；所述属性状态机根据错误的属性模式可分为：空指针解引用属性状态机、资源泄露属性状态机、未初始化变量引用属性状态机和除零错误属性状态机；所述属性状态机由状态转移集合T组成，所述状态转移集合T为D_i×conditions_i→D_k，i，k＝{1，…n}，其中，D_i和D_k为属性状态，D_k为源属性状态D_i在转移条件为conditions_i时的目标属性状态；所述转移条件conditions_i为根据C语言确定的对数据流的操作；(2)按照程序的控制流程图和运行时错误的属性状态机，根据控制流程图中位置l处的节点信息和输入属性状态σ_{l_in}，获得经位置l处的节点处理后的输出属性状态σ_{l_out}和路径条件C_s，l，其中，s为到达位置l处的路径；(3)判断σ_{l_out}与属性状态D_i的关系：若σ_{l_out}为D_i中的错误状态，则将路径条件C_s，l作为可能出现的错误提示输出，并不再对C_s，l进行后续分析；否则，将σ_{l_out}作为下一个位置处的输入属性状态返回步骤(2)，直到程序出口。