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

说明书

技术领域

本发明涉及中国列车运行控制系统，尤其涉及一种欧拉图的构造方法及基于该方法进行测试序列优化的方法。

背景技术

测试案例为对列车车载设备某个功能特征进行的验证与测试。执行特定测试案例要求系统必须到达此测试案例所需的初始状态。这些初始状态只有通过执行特定系统功能才能达到，并且这些特定系统功能包含在其它测试案例中。

测试序列是通过一定的方法对测试案例进行串联，从而形成一个可以实际运行的测试场景，并确保测试结束后，所有的测试案例都被测试过至少一次。测试序列不是随意产生的，而是遵循一定的方法，将若干测试案例有序串联起来，形成一个测试场景式的有序测试案例集。

由于测试案例数量庞大，并且车载设备功能复杂，在测试序列中，重复使用测试案例的情况较多。为了更方便的对测试序列进行优化，可将一组测试序列转化为有向图，列车各工作模式作为有向图的顶点，测试子序列作为顶点之间的有向弧，测试子序列中所包含的测试案例数量看作有向弧的费用。

现有技术中通过对有向图进行欧拉图的构造来优化有向弧，以减少测试案例的重复使用。但是在进行欧拉图构造时，辅助弧的添加个数较多，额外占用一定的内存空间，影响了欧拉图构造的效率，并且，通过欧拉图构造后的有向图重复弧的数量较大，导致测试序列的成本增加。

发明内容

本发明的目的是提供一种欧拉图的构造方法及基于该方法进行测试序列优化的方法，减少了辅助空间的使用，提高了欧拉图构造的效率。

本发明的目的是通过以下技术方案实现的：

一种欧拉图的构造方法，该方法包括：

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

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

一种测试序列优化的方法，该方法包括：

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

由上述本发明提供的技术方案可以看出，通过利用贪婪策略，使局部最优达到全局最优，逐步构造最优解，并减少了辅助空间的使用，提高了欧拉图构造的效率。

附图说明

为了更清楚地说明本发明实施例的技术方案，下面将对实施例描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的一些实施例，对于本领域的普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他附图。

图1为本发明实施例一提供的一种欧拉图的构造方法的流程图；

图2为本发明实施例二提供的又一种欧拉图的构造方法的流程图；

图3为本发明实施例二提供的一种测试序列有向图的示意图；

图4为本发明实施例二提供的一种构造重复弧后的有向图的示意图；

图5为本发明实施例三提供的一种测试序列优化的方法的流程图。

具体实施方式

下面结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本发明一部分实施例，而不是全部的实施例。基于本发明的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明的保护范围。

实施例一

图1为本发明实施例一提供的一种欧拉图的构造方法的流程图，该方法主要包括如下步骤：

步骤101、判断有向图中各个顶点的出度与入度是否平衡。其中，顶点为列车的各个工作模式，有向图中所有的顶点间的弧均有出入方向，出度为以当前顶点为起始点的弧的总数，入度为以当前顶点为终点的弧的总数，所述弧为工作模式间的测试子序列。

判断有向图是否为欧拉图，主要判断有向图中各个顶点的出入度是否平衡，即判断以当前顶点为起始点的弧个数与以当前顶点为终点的弧个数是否相同。

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