[发明专利]模块灰盒行为规格说明和灰盒测试用例设计方法

权利要求书

1.一种模块灰盒行为规格说明和灰盒测试用例设计方法，其特征在于，包括如下步骤：

步骤一：引入灰盒行为规格说明:被测模块内部成员变量是成员函数的输入输出，依此输入输出关系划分变量值的等价类，用其合理组合确定被测模块的等价状态集合；依照黑盒行为规格说明要求，将被测模块接口函数输入输出等价类划分好，二者共同作为接口函数调用的条件结果，具体包括如下小步：

第一步：确定被测模块；

第二步：确定被测模块的成员变量；

第三步：确定被测模块的成员函数；

第四步：确定组成被测模块的外接接口的模块成员函数；

第五步：确定组成被测模块的外接接口的模块成员函数输入输出的等价类划分；

第六步：确定被测模块中影响成员变量的成员函数；

第七步：根据被测模块中影响成员变量的成员函数设计，确定被测模块的成员变量的等价类划分；

第八步：使用上述步骤的结果，描述模块接口函数行为；模块内部变量状态会出现在函数行为描述的条件和预期结果中；

步骤二：引入灰盒测试用例设计：被测模块初始化，直接依照模块灰盒行为规格说明设定模块状态变量值，在模块接口调用接口函数，查看模块状态变量值，具体包括如下小步：

第一步：每个测试用例的第一步是模块初始化；

第二步：每个灰盒测试用例第二步是设定模块内部每个变量的变量值，设定模块状态；每个灰盒测试用例第二步还包括：依照模块接口函数的输入输出等价类，以及包括环境条件，设定输入函数调用条件；

第三步：每个灰盒测试用例定义调用接口函数和预期结果，包括下面二者全部或者只是第一个：1)模块黑盒测试输入输出；2)模块内部状态结果；

步骤三：按照上述测试用例设计步骤，形成测试用例集合。

2.根据权利要求1所述的模块灰盒行为规格说明和灰盒测试用例设计方法，其特征在于，所述步骤一的第一步中，被测模块包括Java类。

3.根据权利要求2所述的模块灰盒行为规格说明和灰盒测试用例设计方法，其特征在于，所述步骤一的第二步中，成员变量选为运用java的反射机制设置对象，或者对象的每个成员变量值设置Getter和Setter。

4.根据权利要求1或3所述的模块灰盒行为规格说明和灰盒测试用例设计方法，其特征在于，所述步骤一的第七步中，将被测模块内部变量表述的状态，按照成员变量是成员函数的输入输出，确定模块的成员变量的等价类划分。

5.根据权利要求4所述的模块灰盒行为规格说明和灰盒测试用例设计方法，其特征在于，所述步骤一的第八步中，模块内部变量表述的状态划入模块接口方法调用的函数行为描述的条件和预期结果中。

6.根据权利要求1或5所述的模块灰盒行为规格说明和灰盒测试用例设计方法，其特征在于，所述步骤二的第二步中，使用Java反射机制实现类的变量值设定，或者对每个成员变量在测试模式下做一对函数，一个Getter，一个Setter，目的是直接读取和设置变量值。

7.根据权利要求6所述的模块灰盒行为规格说明和灰盒测试用例设计方法，其特征在于，所述步骤二的第二步中，灰盒测试用例包含测试步骤来直接设定模块内部每个变量的变量值，使得模块直接达到特定状态，缩减测试用例步骤。

8.根据权利要求7所述的模块灰盒行为规格说明和灰盒测试用例设计方法，其特征在于，所述步骤二的第二步中，利用模块函数没有记忆的特点，缩减测试用例步骤。