[发明专利]一种基于状态分区的静态缺陷检测求精方法

摘要

本发明涉及一种基于状态分区的静态缺陷检测求精方法，包括S1将待检测的缺陷模式属性状态机集合置于待测函数控制流入口；S2程序通过路径由前置位置执行到目标位置；S3属性状态机的状态沿程序路径进行传递以及变化，在目标位置处到达预设状态；S4取控制流当前节点，判断是否为控制流最后节点；S5如果不为控制流最后节点，则根据当前节点信息更新属性状态条件以及属性状态分区集合信息。本发明提供的基于状态分区技术的缺陷检测求精方法，给出了缺陷模式的定义，缺陷模式状态机的定义，路径条件的定义，状态条件的定义，状态分区的定义，基于状态分区技术，给出缺陷检测求精方法，从而提高缺陷检测的精度。

主权项

一种基于状态分区的静态缺陷检测求精方法，其特征在于，包括具体以下步骤：S1：将待检测的缺陷模式的属性状态机的状态集合置于待测函数控制流入口；S2：程序通过路径由前置位置执行到目标位置；S3：属性状态机的状态沿程序路径进行传递以及变化，在所述目标位置处到达预设状态；S4：取控制流当前节点，判断是否为控制流最后节点；S5：如果不为控制流最后节点，则根据当前节点信息更新属性状态条件以及属性状态分区集合信息；程序通过路径执行到目标位置，属性状态机的状态沿程序路径进行传递和变化，在所述目标位置处到达预设状态，将路径在目标位置处的路径条件记录在预设状态上，为所述属性状态条件；所述属性状态分区集合信息包含属性状态分区信息；程序通过路径由前置位置执行到目标位置，属性状态机的状态沿程序路径进行传递和变化，在所述目标位置处到达预设状态，将路径在前置位置处的路径条件记录在预设状态上，为所述属性状态分区信息；其中，路径在预设位置处的路径条件为程序路径在所述预设位置处限定的变量取值范围集合；所述步骤S5进一步还包括：通过所述属性状态条件判断不可达路径，并删除所述属性状态分区中不可达属性状态分区信息；若所述属性状态条件包含属性状态分区信息，则保存该属性状态分区信息，若所述属性状态条件与所述状态分区信息不存在包含关系，则删除属性状态分区信息。