[发明专利]一种基于全局超级块支配图的插桩位置获取方法

摘要

本发明公开了一种基于全局超级块支配图的插桩位置获取方法，应用于计算机软件测试和软件可靠性保障领域。所述方法包括以下步骤：根据局部超级块支配图和函数调用关系图生成全局超级块支配图；对全局超级块支配图进行节点关系分析，最终获取最少数量的插桩位置。本发明可有效减少被测程序中插桩点的数量，从而显著提高插桩后被测程序的运行效率。

主权项

一种基于全局超级块支配图的插桩位置获取方法，其特征在于：包括以下步骤：步骤1：由被测程序获取函数调用关系图，函数调用关系图分为非循环图和循环图，对于非循环图，对函数调用关系图进行拓扑排序，通过连续合并排好序的局部超级块支配图生成全局超级块支配图；对于循环图，利用所述函数调用关系图建立嵌套循环树，根据所述局部超级块支配图和所述嵌套循环树建立循环树支配图，简化所述循环树支配图生成所述全局超级块支配图；步骤2.遍历步骤1所述全局超级块支配图，生成所述全局超级块支配图中超级块节点与所述超级块节点在所述全局超级块支配图中子节点数量的超级块映射表；步骤3.遍历所述超级块映射表，将超级块映射表中映射值为空或一条目的超级块节点添加到插桩位置集合中；步骤4.遍历所述超级块映射表，获得所述超级块映射表中的超级块节点，在所述全局超级块支配图中标记所述超级块节点的子节点为已覆盖；步骤5.在所述全局超级块支配图中前向和后向遍历，如果全局超级块支配图的入口节点和出口节点已覆盖，则将所述超级块节点添加到插桩位置集合中。