[发明专利]一种计算机软件白盒测试的实现方法及系统

权利要求书

1.一种计算机软件白盒测试的实现方法，其特征在于，包括：

步骤1，求解判定布尔表达式中各个条件的独立对；

步骤2，基于各个条件对应的独立对求解判定最小独立对集合，求解判 定出的最小独立对集合构成参考用例集合；求解最小独立对集合，采用从每 个条件对应的独立对中选择一个进行组合生成独立对集合，并选择独立对集 合中元素最少的独立对集合作为最小独立对集合；

步骤3，在参考用例集合中选取一个最小独立对集合，并生成与该最小 独立对集合对应的测试用例集合，该测试用例集合即为最小测试集；

步骤4，用最小测试集对源程序进行修正条件/判定覆盖测试；

最小独立对集合满足下述条件：

给定一个判定Z，该判定含有N个条件，N个条件中含有M个不相等 条件，M≤N，M个不相等条件的真值表中的2^M个用例C_i组成用例集合S， i∈[1，2^M]；每一个条件对应一个非空有限独立对结果集合R_k，R_k中的元素 为独立对P，独立对P包含两个用例C_i、C_j，i，j∈[1，2^M]；由N个独立对 P_k中的所有用例构成集合D，任意P_k∈R_k，k∈[1，N]；满足集合元素个数|D| 最小的D为最小独立对集合。

2.如权利要求1所述的计算机软件白盒测试的实现方法，其特征在于， 步骤1中，根据唯一原因法或者屏蔽法求解各个条件对应的独立对。

3.如权利要求1所述的计算机软件白盒测试的实现方法，其特征在于， 步骤4中，统计最小测试集的修正条件/判定覆盖的覆盖率；如果根据覆盖率 判定需要补充测试用例，则在剩余的最小独立对集合选取至少一个并执行步 骤3，生成对应的测试用例作为补充。

4.一种计算机软件白盒测试的实现系统，其特征在于，包括：

独立对求解模块，用于求解判定布尔表达式中各个条件的独立对；

最小独立对集合求解模块，用于基于各个条件对应的独立对求解判定最 小独立对集合，求解判定出的最小独立对集合构成参考用例集合；求解最小 独立对集合，采用从每个条件对应的独立对中选择一个进行组合生成独立对 集合，并选择独立对集合中元素最少的独立对集合作为最小独立对集合；

测试用例生成模块，用于选择参考用例集合中的一个最小独立对集合， 并生成与该最小独立对集合对应的测试用例集合，该测试用例集合即为最小 测试集；

修正条件/判定覆盖测试模块，用于用最小测试集对源程序进行修正条件 /判定覆盖测试；

最小独立对集合满足下述条件：

给定一个判定Z，该判定含有N个条件，N个条件中含有M个不相等 条件，M≤N，M个不相等条件的真值表中的2^M个用例C_i组成用例集合S， i∈[1，2^M]；每一个条件对应一个非空有限独立对结果集合R_k，R_k中的元素 为独立对P，独立对P包含两个用例C_i、C_j，i，j∈[1，2^M]；由N个独立对 P_k中的所有用例构成集合D，任意P_k∈R_k，k∈[1，N]；满足集合元素个数|D| 最小的D为最小独立对集合；M、N为自然数。

5.如权利要求4所述的计算机软件白盒测试的实现系统，其特征在于， 独立对求解模块，用于根据唯一原因法或者屏蔽法求解各个条件对应的独立 对。

6.如权利要求4所述的计算机软件白盒测试的实现系统，其特征在于， 修正条件/判定覆盖测试模块，还用于统计最小测试集的修正条件/判定覆盖 的覆盖率；如果根据覆盖率判定需要补充测试用例，则在剩余的最小独立对 集合选取至少一个通知测试用例生成模块生成对应的测试用例作为补充。