CN108897688A

CN108897688A - 基于bwdsp处理器的测试用例设计方法

Info

Publication number: CN108897688A
Application number: CN201810698894.4A
Authority: CN
Inventors: 苏涛; 王瑞昕; 邱瑾; 秦越
Original assignee: Xidian University; Xian Cetc Xidian University Radar Technology Collaborative Innovation Research Institute Co Ltd
Current assignee: Xidian University; Xian Cetc Xidian University Radar Technology Collaborative Innovation Research Institute Co Ltd
Priority date: 2018-06-29
Filing date: 2018-06-29
Publication date: 2018-11-27

Abstract

本发明属于软件测试技术领域，公开了基于BWDSP处理器的测试用例设计方法，包括：读取BWDSP处理器的库函数说明文件，根据库函数说明文件确定被测函数各参数的参数类型及约束条件；按照等价类划分原则划分对应的有效等价类和无效等价类；确定有效等价类中的边界值和非边界值以及无效等价类中的边界值和非边界值；确定有效等价类中的特殊点；设计被测函数各参数的合法测试用例和非法测试用例。本发明能够解决现有方法存在的测试用例设计不全或冗余以及耗时的问题，能够使测试用例需求覆盖率趋向最大化，提高测试效率。

Description

基于BWDSP处理器的测试用例设计方法

技术领域

本发明涉及软件测试技术领域，尤其涉及一种测试用例设计方法，具体来说，是基于BWDSP处理器的测试用例设计方法。

背景技术

随着数字信号处理技术迅速地发展，DSP处理器被广泛地应用于图像处理、通讯技术、雷达探测、语音处理、网络控制、仪器仪表和家电等领域。

多核BWDSP104X是由中国电子科技集团公司第38研究所自主研制的一系列性能优越的DSP处理器，包括BWDSP1041、BWDSP1042以及BWDSP1048型号的DSP处理器，适用于雷达信号处理、电子对抗、精确制导武器、通信保障等多个领域。在使用BWDSP104X系列的DSP处理器进行开发应用时，需要提供具有通用标准参数的优化算法函数库。而如何有效地设计测试用例是实现BWDSP104X系列的DSP处理器的优化算法函数库功能的关键。

在对BWDSP104X系列的DSP处理器的优化算法函数库进行测试的过程中，发明人发现，现有的测试用例设计方法，如等价类划分、边界值分析、因果图等，存在测试用例设计不全或冗余以及耗时的问题。

发明内容

为此，本发明提供基于BWDSP处理器的测试用例设计方法，用于对BWDSP104X系列的DSP处理器的优化算法函数库进行测试，以解决现有方法存在的测试用例设计不全或冗余以及耗时的问题，能够使测试用例需求覆盖率趋向最大化，提高测试效率。

为达到上述目的，本发明采用如下技术方案：

提供一种基于BWDSP处理器的测试用例设计方法，包括以下步骤：

步骤1，读取BWDSP处理器的库函数说明文件，根据所述库函数说明文件确定被测函数各参数的参数类型及约束条件；其中，所述被测函数为BWDSP处理器的任一库函数；

步骤2，根据所述被测函数各参数的约束条件，按照等价类划分原则划分对应的有效等价类和无效等价类；

步骤3，确定所述有效等价类中的边界值和非边界值以及所述无效等价类中的边界值和非边界值；

步骤4，根据所述被测函数各参数的参数类型，确定所述有效等价类中的特殊点；

步骤5，利用所述被测函数各参数对应的有效等价类中的边界值、非边界值以及特殊点，设计所述被测函数各参数的合法测试用例；利用所述被测函数各参数对应的无效等价类中的边界值、非边界值，设计所述被测函数各参数的非法测试用例。

本发明提供的上述方法通过考虑库函数中的多种约束条件建立等价类划分原则，充分考虑到BWDSP库函数测试用例的正确性、完整性、适用性、可移植性等特点，能够代表并覆盖合理和不合理、合法和非法的、边界和越界等测试情况，不仅确保测试用例的可移植性，而且能够保证测试用例的完整性和简洁性；从数据结构方面考虑，在边界值分析的基础上增加对特殊点的考察，使测试用例更加严谨；本发明提供的基于BWDSP处理器的测试用例设计方法可用于对BWDSP104X系列的DSP处理器的优化算法函数库进行测试，解决现有方法存在的测试用例设计不全或冗余以及耗时的问题，能够使测试用例需求覆盖率趋向最大化，提高测试效率，有助于测试人员快速，高效的设计测试用例，从而有效检测该软件应用环境性能的稳定性。

附图说明

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

图1为本发明实施例提供的一种基于BWDSP处理器的测试用例设计方法的流程示意图。

图2为IEEE 32位单精度有符号浮点数据格式示意图；

图3为本发明实施例提供的示例中的因果图。

具体实施方式

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

图1所示为本发明实施例提供的一种基于BWDSP处理器的测试用例设计方法的流程示意图。

如图1所示，本发明实施例提供的基于BWDSP处理器的测试用例设计方法，包括以下步骤：

步骤1，读取BWDSP处理器的库函数说明文件，根据库函数说明文件确定被测函数各参数的参数类型及约束条件。

其中，被测函数为BWDSP处理器的任一库函数，即DSP处理器的优化算法函数库中的任一函数。

被测函数的参数包括基本数据类型参数和结构体参数，基本数据类型参数和结构体参数的参数类型包括浮点型和整型，其中浮点型即float，整型包括int、short以及unsigned int。

示例性的，以正交振幅调制函数qammod()为例，其接口如下：intqammod(vector_int*x，int M，vector_complex_float*y)，其中x为vector_int型结构体，y为vector_complex_float型结构体，M为基本数据类型参数。vector_int型结构体具体形式如下：

可以看出，vector_int型结构体中的参数element和length均为整型。

具体的，所述的约束条件具体包括：参数类型约束、取值范围约束、取值规则约束以及参数关系约束。

其中，参数类型约束指参数取值范围为参数类型限定的输入域；取值范围约束指参数取值范围为参数类型限定的输入域内的一段区间I；取值规则约束指参数取值范围为输入域内一系列具有特定规律的点的集合S；参数关系约束指被测函数参数的取值随另一参数取值的变化而变化，二者的约束关系表示为y＝f(x)，y表示被测函数参数，x表示被测函数的另一参数，f()表示函数关系式。

其中，所说的输入域即输入数据范围。具体的，BWDSP所支持数据类型的输入范围分别为：32位单精度浮点型(float)的输入域为[-3.402823e+38，3.402823e+38]；32位有符号整型数据(int)的输入域为[-2147483648，2147483647]，32位无符号整型数据(unsignedint)的输入域为[0，4294967295]，16位有符号短整型数据(short)的输入域为[-32768，32767]。

步骤2，根据被测函数各参数的约束条件，按照等价类划分原则划分对应的有效等价类和无效等价类。

其中，有效等价类是指对于函数的规格说明来说是合理的、有意义的输入数据构成的集合，即合法值。利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能。无效等价类与有效等价类的定义相反，指非法值。需要说明的是，在划分等价类时应当满足等价类的基本特点：

(1)等价类之间互不相交，所有等价类的并集是整个输入域；

(2)各等价类中，各个输入数据对于揭露程序中的错误都是等效的.并合理地假定测试某等价类的代表值就等于对这一类其它值的测试。

具体的，等价类划分原则包括以下四项：

(1)若被测函数参数的约束条件为参数类型约束，则被测函数参数的有效等价类为输入域，且不存在无效等价类。

(2)若被测函数参数的约束条件为取值范围约束，则为被测函数参数划分一个有效等价类和两个无效等价类，其中有效等价类为区间I，两个无效等价类分别为输入域内区间I左右两侧区间。

(3)若被测函数参数的约束条件为取值规则约束，则为被测函数参数划分一个有效等价类和一个无效等价类，其中有效等价类为集合S，无效等价类为集合S的补集。

示例性的，以正交振幅调制函数qammod()为例进行说明，其接口如下：

int qammod(vector_int*x，int M，vector_complex_float*y)

其中，输入参数M表示正交振幅调制系数，正交振幅调制系数只能取2的正整数次幂(即取值规则约束)，因此可以得到参数M对应的有效等价类(即S集合)为：M＝2ⁿ(n＝1，2，3……)，无效等价类为M≠2ⁿ(n＝1，2，3……)。

(4)若被测函数参数的约束条件为参数关系约束，则根据另一参数的有效等价类以及约束关系为被测函数参数划分有效等价类和无效等价类，即先根据另一参数的约束条件确定另一参数对应的有效等价类，再根据二者之间的约束关系确定参数对应的有效等价类。

示例性的，以频率调制函数fmmod()为例进行说明，其接口如下：

int fmmod(vector_float*input，float fc，float fs，float freqdev，vector_float*output)

其中，输入参数fc表示载波频率，fs表示采样频率。根据奈奎斯特采样定理，载波频率fs与采样频率fc之间存在约束关系：fs≥2fc。由此，可以得出fs对应的有效等价类为fs≥2fc，无效等价类为fs＜2fc，并且等价类的具体取值取决于参数fc的取值。

(5)当被测函数参数的约束条件包括一种以上的约束条件时，被测函数参数的有效等价类为各约束条件下划分的各有效等价类的交集。

示例性的，以正交振幅调制函数qammod()为例进行说明，qammod()的接口如下：

int qammod(vector_int*x，int M，vector_complex_float*y)，

其中，x.element表示输入向量值，其存在两种输入项约束条件：取值范围约束：x.element≥0，参数关系约束：M-1≥x.element。x.element的有效等价类为上述等价类的交集：M-1≥x.element[i]≥0，i∈[1，input.length]，根据等价类的基本特点可以得到，x.element的无效等价类为：x.element[i]＜0和x.element[i]＞M-1，i∈[1，input.length]。

步骤3，确定有效等价类中的边界值和非边界值以及无效等价类中的边界值和非边界值。

边界值为等价类的边界，是应着重测试的情况，应当选取正好等于边界的值作为测试数据。而非边界值选取等价类中的任意值作为测试数据。边界值和非边界值互不相交，边界值和非边界值的并集为等价类。

优选的，步骤3中，确定有效等价类中的边界值和非边界值，具体包括：

(1)若被测函数参数的约束条件为参数类型约束，有效等价类中的边界值为输入域的边界值，有效等价类中的非边界值为输入域内除边界值之外的任意值；

(2)若被测函数参数的约束条件为取值范围约束，有效等价类中的边界值为区间I的边界值，有效等价类中的非边界值为区间I内除边界值之外的任意值；

(3)若被测函数参数的约束条件为取值规则约束，有效等价类中的边界值为集合S的边界值，有效等价类中的非边界值为集合S内除边界值之外的任意值；

(4)若被测函数参数的约束条件为参数关系约束，有效等价类中的边界值为f(X)，X表示另一参数的边界值；有效等价类中的非边界值为有效等价类中除边界值f(X)之外的任意值。

优选的，步骤3中，确定无效有效等价类中的边界值和非边界值，具体包括：

(1)若被测函数参数的约束条件为取值范围约束，无效等价类中的边界值为输入域内区间I左右两侧区间的边界值，无效有效等价类中的非边界值为输入域内区间I左右两侧区间内除边界值之外的任意值；

(2)若被测函数参数的约束条件为取值规则约束，无效等价类中的边界值为集合S补集的边界值，无效等价类中的非边界值为集合S补集内除边界值之外的任意值；

(3)若被测函数参数的约束条件为参数关系约束，无效等价类中不存在边界值，无效等价类中的非边界值为无效等价类中的任意值。

接前述示例，给出确定有效等价类中的边界值和非边界值以及无效等价类中的边界值和非边界值具体示例如下：

在取值规则约束情况下，以正交振幅调制函数qammod()为例进行说明，接前述示例，已知参数M对应的有效等价类(即S集合)为：M＝2ⁿ(n＝1，2，3……)，无效等价类为M≠2ⁿ(n＝1，2，3……)，则可知有效等价类中的边界值为M＝2，有效等价类中的非边界值为M＝2ⁿ(n＝2，3……)，非有效等价类中只存在非边界值，即M≠2ⁿ，n取1、2、3……之一。

在参数关系约束情况下，继续以频率调制函数fmmod()为例进行说明，接前述示例，已知参数fs对应的有效等价类为fs≥2fc，无效等价类为fs＜2fc，则可知有效等价类中的边界值为fs＝2fc，有效等价类中的非边界值为fs＞2fc，非有效等价类中只存在非边界值，即满足fs＜2fc的任一fs。

此外，需要说明的是，当被测函数参数的约束条件包括一种以上的约束条件时，被测函数参数的有效等价类为各约束条件下划分的各有效等价类的交集，有效等价类的边界值即该交集的边界值，有效等价类的非边界值即有效等价类中除该边界值之外的任意值。

示例性的，以正交振幅调制函数qammod()为例进行说明，根据前述示例，已知x.element的有效等价类为：M-1≥x.element≥0，无效等价类为：x.element[i]＜0和x.element[i]＞M-1(i∈[1，input.length])。由此，可以得到，有效等价类中的边界值为x.element[i]＝0和x.element[i]＝M-1，有效等价类中的非边界值为M-1＞x.element[i]＞0，非有效等价类中只存在非边界值，即满足x.element[i]＜0或x.element[i]＞M-1的任意值。

步骤4，根据被测函数各参数的参数类型，确定有效等价类中的特殊点。

一种具体的实现方式中，步骤4具体可以包括：

若被测函数参数的参数类型为浮点型，分别判断正负零以及正负规格化数是否包括在有效等价类之内，包括在有效等价类之内的数值为有效等价类中的特殊点；若被测函数参数的参数类型为整型，判断零是否包括在有效等价类之内，若是，则确定零为有效等价类中的特殊点。

其中，BWDSP104x系列的处理器支持IEEE标准754/854的32位单精度浮点数据格式，定点格式只支持定点整数格式而不支持定点小数格式(小数点在第0位的右边)，定点数据格式可以有符号数(以补码表示)或无符号数。因此，所述的正规格化数为32位单精度浮点数据能表示的最小正数；负规格化数为32位单精度浮点数据能表示的最大负数。下面对正负规格化数的取值进行说明：

首先，给出IEEE 32位单精度有符号浮点数据格式如图2所示。由图2可知，32位单精度浮点格式包含一个符号位s，一个24位尾数f和一个8bit无符号指数e。符号位位于最高位(31)，尾数是一个23位小数f和一个隐含位‘1’组成，该隐含位位于第22位之前。因此，虽然有效尾数只有23位，实际上表示的数据位数为24位，其表示的十进制数据为：(-1)^S×1.(尾)×2^指。进一步的，8位无符号指数位的表示范围为[0，255]，则正常值的指数范围为[1，254](0和255为特殊值)，偏移127，实际计算应从指数中减去127，即实际的指数范围为[-126，127]，则正规格化数的尾数位和指数位分别为0和-126，由此可得正规格化数取值约为：(-1)⁰×(1.0)×2^-126≈1.1755×10^-38。类似的，可得负规格化数约为-1.1755e-38。

步骤5，利用被测函数各参数对应的有效等价类中的边界值、非边界值以及特殊点，设计被测函数各参数的合法测试用例；利用被测函数各参数对应的无效等价类中的边界值、非边界值，设计被测函数各参数的非法测试用例。

其中，设计被测函数某一参数的合法测试用例时，该参数取各合法值，其他输入参数在各自对应的有效等价类中随机取值。设计被测函数某一参数的非法测试用例时，该参数取各非法值，其他输入参数在各自对应的有效等价类中随机取值。所述的合法值包括有效等价类中的边界值、非边界值以及特殊点，所述的非法值包括无效等价类中的边界值和非边界值(如果存在)。

一种优选的实施方式中，在步骤5之前，本发明实施例提供的方法还可以包括：

步骤6，将被测函数的参数划分为向量值参数和非向量值参数。

其中，向量值参数为结构体成员中的指针指向的参数，如结构体vector int中的element指向的参数；非向量值参数包括基本类型参数和结构体成员中的非指针参数，如结构体vector_int中的length和正交振幅调制函数qammod()中的M。

则，步骤5中，利用被测函数各参数对应的无效等价类中的边界值、非边界值，设计被测函数各参数的非法测试用例，具体包括：

对于被测函数的任一向量值参数或非向量值参数，分别取其对应的无效等价类中的边界值和非边界值作为测试值，其余参数则从对应合法值内随机取值，设计向量值参数或非向量值参数的非法测试用例。

步骤5中，利用被测函数各参数对应的有效等价类中的边界值、非边界值以及特殊点，设计被测函数各参数的合法测试用例，具体可以包括：

对于被测函数的任一向量值参数，分别取其对应的有效等价类中的边界值、非边界值以及特殊点作为测试值，其余参数则从对应合法值内随机取值，设计向量值参数的合法测试用例；

对于被测函数的各非向量值参数，采用因果图法，从各非向量值参数对应的有效等价类中的边界值、非边界值以及特殊点中取值，设计各非向量值参数的合法测试用例。

其中，因果图法是一种适合于描述对于多种输入条件组合的测试方法，根据输入条件的组合、约束关系和输出条件的因果关系，分析输入条件的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件涉及的各种组合情况。利用因果图导出测试用例一般要经过以下几个步骤：

1)分析软件规格说明的描述中哪些是原因，哪些是结果。原因是输入或输入条件的等价类，结果是输出条件。给每个原因和结果并赋予一个标识符，根据这些关系，画出因果图；

2)因果图上用一些记号表明约束条件或限制条件；

3)对需求加以分析并把它们表示为因果图之间的关系图；

4)把因果图转换成判定表；

5)将判定表的每一列作为依据，设计测试用例。

示例性的，下面给出一具体示例以对非向量值参数的合法测试用例设计方法进行说明：

假设被测函数存在两个非向量值参数A和B，假设A和B的合法值如下：

A1：A的边界值

A2：A的非边界值

A3：A的特殊点

B1：B的边界值

B2：B的非边界值

将上述合法值作为约束条件，据此得到因果图，如图3所示。图3中，符号“E”表示互斥关系，也即约束条件A1、A2和A3不同时存在，约束条件B1和B2不同时存在；符号“I”和“II”表示中间结果，符号“V”表示取或，符号“Λ”表示取并，中间结果I为约束条件A1、A2和A3取或，中间结果II为约束条件B1和B2取或；符号“～”表示取非；结果G2为中间结果I和中间结果II取与，即G2：输入参数A和B均在合法范围；G1表示中间结果I的非，即G1：A为非法值，输入参数B在合法范围内随机；G3表示中间结果II的非，即G3：B为非法值，输入参数A在合法范围内随机。

根据图3所示的因果图，可以得到对应的判定表，如表1所示：

表1

表中，0表示某条件为假，1表示某条件为真，每一列为一测试用例项。根据表1可知，G2包括第1、2、4、5、7、8测试用例项，这些测试用例即非向量值参数对应的合法测试用例。

通过将参数划分为向量值参数和非向量值参数，并分别设计测试用例，对非向量值参数采用因果图方法设计测试用例，能够避免测试用例设计不全或冗余，解决测试用例趋向最大覆盖率的问题。

本发明实施例提供的基于BWDSP处理器的测试用例设计方法通过考虑库函数中的多种约束条件建立等价类划分原则，充分考虑到BWDSP库函数测试用例的正确性、完整性、适用性、可移植性等特点，能够代表并覆盖合理和不合理、合法和非法的、边界和越界等测试情况，不仅确保测试用例的可移植性，而且能够保证测试用例的完整性和简洁性；从数据结构方面考虑，在边界值分析的基础上增加对特殊点的考察，使测试用例更加严谨；本发明提供的基于BWDSP处理器的测试用例设计方法可用于对BWDSP104X系列的DSP处理器的优化算法函数库进行测试，解决现有方法存在的测试用例设计不全或冗余以及耗时的问题，能够使测试用例需求覆盖率趋向最大化，提高测试效率，有助于测试人员快速，高效的设计测试用例，从而有效检测该软件应用环境性能的稳定性。

本领域普通技术人员可以理解：实现上述方法实施例的全部或部分步骤可以通过程序指令相关的硬件来完成，前述的程序可以存储于一计算机可读取存储介质中，该程序在执行时，执行包括上述方法实施例的步骤；而前述的存储介质包括：ROM、RAM、磁碟或者光盘等各种可以存储程序代码的介质。

以上所述，仅为本发明的具体实施方式，但本发明的保护范围并不局限于此，任何熟悉本技术领域的技术人员在本发明揭露的技术范围内，可轻易想到变化或替换，都应涵盖在本发明的保护范围之内。因此，本发明的保护范围应以所述权利要求的保护范围为准。

Claims

1.一种基于BWDSP处理器的测试用例设计方法，其特征在于，包括以下步骤：

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

步骤6，将所述被测函数的参数划分为向量值参数和非向量值参数；

步骤5中，所述利用所述被测函数各参数对应的有效等价类中的边界值、非边界值以及特殊点，设计所述被测函数各参数的合法测试用例，具体包括：

对于所述被测函数的任一向量值参数，分别取其对应的有效等价类中的边界值、非边界值以及特殊点作为测试值，其余参数则从合法值内随机取值，设计所述向量值参数的合法测试用例；

对于所述被测函数的各非向量值参数，采用因果图法，从所述各非向量值参数对应的有效等价类中的边界值、非边界值以及特殊点中取值，设计各非向量值参数的合法测试用例；

步骤5中，所述利用所述被测函数各参数对应的无效等价类中的边界值、非边界值，设计所述被测函数各参数的非法测试用例，具体包括：

对于所述被测函数的任一向量值参数或非向量值参数，分别取其对应的无效等价类中的边界值和非边界值作为测试值，其余参数则从合法值内随机取值，设计所述向量值参数或所述非向量值参数的非法测试用例。

3.根据权利要求1或2所述的方法，其特征在于，所述约束条件包括：参数类型约束、取值范围约束、取值规则约束、参数关系约束；

其中，所述参数类型约束指参数取值范围为参数类型限定的输入域；所述取值范围约束指参数取值范围为参数类型限定的输入域内的一段区间I；所述取值规则约束指参数取值范围为输入域内一系列具有特定规律的点的集合S；所述参数关系约束指被测函数参数的取值随另一参数取值的变化而变化，二者的约束关系表示为y＝f(x)；其中，y表示被测函数参数，x表示被测函数的另一参数，f()表示函数关系式。

4.根据权利要求3所述的方法，其特征在于，所述等价类划分原则包括：

若所述被测函数参数的约束条件为参数类型约束，则所述被测函数参数的有效等价类为所述输入域，且不存在无效等价类；

若所述被测函数参数的约束条件为取值范围约束，则为所述被测函数参数划分一个有效等价类和两个无效等价类，其中有效等价类为区间I，两个无效等价类分别为输入域内区间I左右两侧区间；

若所述被测函数参数的约束条件为取值规则约束，则为所述被测函数参数划分一个有效等价类和一个无效等价类，其中有效等价类为集合S，无效等价类为所述集合S的补集；

若所述被测函数参数的约束条件为参数关系约束，则根据所述另一参数的有效等价类以及所述约束关系为所述被测函数参数划分有效等价类和无效等价类；

当所述被测函数参数的约束条件包括一种以上的约束条件时，所述被测函数参数的有效等价类为各约束条件下划分的各有效等价类的交集。

5.根据权利要求4所述的方法，其特征在于，步骤3中，确定所述有效等价类中的边界值和非边界值，具体包括：

若所述被测函数参数的约束条件为参数类型约束，所述有效等价类中的边界值为所述输入域的边界值，所述有效等价类中的非边界值为所述输入域内除所述边界值之外的任意值；

若所述被测函数参数的约束条件为取值范围约束，所述有效等价类中的边界值为所述区间I的边界值，所述有效等价类中的非边界值为所述区间I内除所述边界值之外的任意值；

若所述被测函数参数的约束条件为取值规则约束，所述有效等价类中的边界值为所述集合S的边界值，所述有效等价类中的非边界值为所述集合S内除所述边界值之外的任意值；

若所述被测函数参数的约束条件为参数关系约束，所述有效等价类中的边界值为f(X)，X表示所述另一参数的边界值；所述有效等价类中的非边界值为所述有效等价类中除所述边界值f(X)之外的任意值。

6.根据权利要求4所述的方法，其特征在于，步骤3中，确定所述无效有效等价类中的边界值和非边界值，具体包括：

若所述被测函数参数的约束条件为取值范围约束，所述无效等价类中的边界值为所述输入域内区间I左右两侧区间的边界值，所述无效有效等价类中的非边界值为所述输入域内区间I左右两侧区间内除所述边界值之外的任意值；

若所述被测函数参数的约束条件为取值规则约束，所述无效等价类中的边界值为所述集合S补集的边界值，所述无效等价类中的非边界值为所述集合S补集内除所述边界值之外的任意值；

若所述被测函数参数的约束条件为参数关系约束，所述无效等价类中不存在边界值，所述无效等价类中的非边界值为所述无效等价类中的任意值。

7.根据权利要求1-6任一项所述的方法，其特征在于，步骤4具体包括：

若所述被测函数参数的参数类型为浮点型，分别判断正负零以及正负规格化数是否包括在所述有效等价类之内，包括在所述有效等价类之内的数值为所述有效等价类中的特殊点；

若所述被测函数参数的参数类型为整型，判断零是否包括在所述有效等价类之内，若是，则确定零为所述有效等价类中的特殊点。