[发明专利]最小代价测试用例生成方法

权利要求书

1.一种最小代价测试用例生成方法，其特征在于，包括：

解析步骤：从需求定义文件中读取被测对象的输入输出关系，并通过解析，提取输入输出关系中的逻辑关系函数，以及各个基本条件所涵盖的输入信号；

代价属性值设置步骤：根据输入信号的类型确定相应的代价属性值，从而为各个基本条件设置相应的代价属性值；

最小代价测试用例生成步骤：根据期望输出值，结合各个基本条件的代价属性值、以及逻辑关系函数，对输入输出关系进行递归计算，获得与期望输出值对应的最小代价，从而生成最小代价测试用例。

2.根据权利要求1所述的一种最小代价测试用例生成方法，其特征在于，所述被测对象的输入输出关系通过如下布尔表达式描述：

L＝f(C₁,C₂,…,C_n)

其中，C_i表示一个基本条件，1≤i≤n，n为基本条件总数；通过逻辑关系函数f对n个条件进行逻辑关系运算；逻辑关系函数的类型包括：与、或、非、异或、及自定义函数；

基本条件C_i具有真、假两种状态，基本条件C_i是被测对象输入信号的函数，表示为：

C_i＝r(s)

其中，s表示输入信号，r为关系运算符。

3.根据权利要求1或2所述的一种最小代价测试用例生成方法，其特征在于，信号类型至少包括：总线信号、电子开关信号、继电器机械开关信号、功率开关信号、手动开关；

根据信号类型将代价属性值从低至高分为四档，第一档代价属性值最低，总线信号与电子开关信号均属于第一档；之后的三档代价属性值依次为继电器机械开关信号、功率开关信号、手动开关。

4.根据权利要求1所述的一种最小代价测试用例生成方法，其特征在于，将输入信号的代价属性值直接作为所属基本条件的代价属性值。

5.根据权利要求1所述的一种最小代价测试用例生成方法，其特征在于，在所述解析步骤中，若所述逻辑关系函数的类型包含自定义函数，且自定义函数为延时逻辑函数，则将其转换为与逻辑；

延时逻辑函数表示为：

L_TD＝DLY(exp,DelayTime)

其中，DLY为延时函数，exp表示一个条件，DelayTime为延时时间；

转换为与逻辑后表示为：

L_TD＝(t≥DelayTime)exp

其中，t为条件exp为真的持续时间；其中，(t≥DelayTime)为一个基本条件，代价属性值计算方式为：DelayTime×W_td；其中，W_td为延时的代价权重；exp为包含输入信号的基本条件或者包含若干基本条件的逻辑表达式，如果是包含输入信号的基本条件，则将其中的输入信号的代价属性值作为基本条件的代价属性。

6.根据权利要求1或4或5所述的一种最小代价测试用例生成方法，其特征在于，所述最小代价测试用例生成步骤中：

首先，利用逻辑语法树的形式来表示被测对象的输入输出关系，逻辑语法树中包含：基本条件、条件、以及判定；其中，基本条件也即输入输出关系中的基本条件，作为逻辑语法树的叶节点；条件包含了基本条件，一个判定，如果具有上级节点，则是上级节点的条件；判定是根据逻辑关系函数来构造的，作为逻辑语法树分支节点，判定包含至少一个条件，且对条件进行逻辑运算；所述逻辑关系函数的类型包括：与、或、非、异或、及自定义函数；如果包含了自定义函数中的延时逻辑函数，则在解析步骤中，将其转换为与逻辑；一个判定以及相关的条件构成逻辑语法树的逻辑子树；除根节点外，一个判定作为其下条件的父节点，以及作为其父节点判定的条件；对于一个判定下的若干条件，决定判定结果的条件称为决定条件；对判定结果无影响的条件为非决定条件；

然后，对于每一个逻辑子树，结合期望输出值、基本条件的代价属性值以及逻辑子树中的判定所对应的逻辑关系函数的类型，计算出最小代价，最终得到输入输出关系的最小代价，从而生成最小代价测试用例。