[发明专利]欧拉图的构造方法及基于该方法进行测试序列优化的方法

权利要求书

1.一种欧拉图的构造方法，其特征在于，该方法包括：

判断有向图中各个顶点的出度与入度是否平衡，其中，有向图中所有的顶点间的弧均有出入方向，出度为以当前顶点为起始点的弧的总数，入度为以当前顶点为终点的弧的总数；

若顶点A的出度与入度的差为W，则查找距离所述顶点A最近的W个顶点，分别以所述W个顶点为起始点构建以所述顶点A为终点的重复弧，或分别以所述顶点A为起始点分别构建以所述W个顶点为终点的重复弧。

2.根据权利要求1所述的方法，其特征在于，该方法还包括：

根据弗洛伊德Floyd算法计算所述有向图的距离矩阵与路由矩阵，并根据所述距离矩阵与所述路由矩阵查找距离所述顶点A最近的W个顶点；

其中，所述距离矩阵表示两个顶点最短路径的长度，所述路由矩阵表示各个顶点的连接路径。

3.根据权利要求1所述的方法，其特征在于，该方法还包括：

当所述有向图中重复弧的数量最少，且每个重复弧的费用权值最小时，所述重复弧的总费用最低，其中重复弧的费用权值为该弧包含的测试案例的个数；

minz=Σ(i,j)∈Eωijxij]]>

其表达式为：s.tΣjxij-Σjxji=bi0≤xij≤cij;]]>

其中，s.t.为约束条件，为顶点i的出度，为顶点i的入度，b_i为顶点i的供给量，为有向图的总费用，ω_ij为弧的费用权值，x_ij为顶点i到顶点j中费用为ω_ij的弧个数，c_ij为弧个数的允许最大值。

4.一种测试序列优化的方法，其特征在于，该方法包括：基于权利要求1-3任一项所述的方法为有向图添加重复弧；

通过弗罗莱Fleury算法对添加重复弧后的有向图进行欧拉回路的计算，获得以某一顶点为起始点并通过所有弧至少一次的测试序列。

5.根据权利要求4所述的方法，其特征在于，该方法还包括：

通过回溯法对所述有向图的路由矩阵进行回溯，获得所有重复弧的两顶点对应的最短路径；

使用所述重复弧的两顶点对应的最短路径替换所述测试序列中的重复弧。

6.根据权利要求5所述的方法，其特征在于，所述使用所述重复弧的两顶点对应的最短路径替换所述测试序列中的重复弧之后还包括：

将测试序列中所有弧的费用权值相加获得测试序列的总费用；所述总费用表示完成该测试序列所需费用，当重复弧的总费用最低时，测试序列的总费用最低。