基于节点占优关系的目标路径选择方法研究

发布时间：2021-08-13 01:15

　　影响路径覆盖测试消耗的因素很多,不仅包括所需覆盖的路径数目,也包括路径的覆盖难易程度,还包括测试数据的生成效率。目前,已有许多文献针对测试数据生成方法进行大量研究,但是很少看到针对目标路径选择方面的研究成果。本文基于路径覆盖测试对目标路径的选择方法进行研究,通过选择少量具有代表性的可达完整路径,达到降低路径覆盖测试消耗的目的。本文从串行程序和并行程序两个方面进行路径选择的方法研究。第一,针对串行程序,通过分析节点之间的占优关系,提出基于占优关系的目标路径自动生成策略。首先,静态分析待测程序的节点和控制边的信息;然后,对节点的数量特征和相互关系进行分析,包括节点的出度值和入度值的计算,待测程序的必经节点、非被占优节点以及对应的占优节点集的生成,并分析非被占优节点之间的相关性以及生成相似邻接矩阵;最后,利用排列组合的方法,给出满足条件的非被占优节点集的不同组合方式,并针对非被占优节点集的组合情况,自动生成对应的完整路径。第二,在串行程序的研究基础上,针对消息传递并行程序,提出基于拉丁超立方采样的目标路径自动选择方法。首先,将并行程序拆分成不同的进程,每个进程看作一个串行程序;然后,分析不同... 

【文章来源】：中国矿业大学江苏省 211工程院校 教育部直属院校

【文章页数】：77 页

【学位级别】：硕士

【部分图文】：

程序控制流图

13图 2-2 有向示例图Figure 2-2 Directed example graph例图可以看出一个串行程序的流程图，1 2 3 4 5 6 7 8 , n , n , n , n , n , n ,n ，9 条边为1 2n ,n 、4 6 ,n 、5 6n ,n 、6 7n ,n 、7 8n ,n 。逆向工程将大类图拆分，并转换为基于图算分析其矩阵积分规则，评估矩阵积分矩阵。要利用两个数组表示。图中顶点信息，利，利用一个二维数组存储。若图0G 是有一个n n的方阵，表示为n nA ，计算公式

0 *, * 0i ji jD n n * 1j 表示非被占优节点 *in 和非被占优节点 *jn 能够不而连接在一起； *, * 0i jD n n 表示非被占优节点 *in 和非连接在一起或不能够不经过其他非被占优节点而连接在一表示第i个非被占优节点和第 j 个非被占优节点能够直接0表示第i个非被占优节点和第 j 个非被占优节点不能够直序目标路径的自动生成（Automatic Gene for Serial Programs） 和 3.2 节的内容，本节将介绍本章选择测试路径的具体策路径。本章整体的思路，如图 3-1 所示。


本文编号：3339443