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

摘要

本发明涉及一种计算机软件白盒测试的实现方法及系统。该实现方法包括：步骤1，求解判定布尔表达式中各个条件的独立对；步骤2，基于各个条件对应的独立对求解判定最小独立对集合，求解判定出的最小独立对集合构成参考用例集合；步骤3，选择参考用例集合中一个最小独立对集合，并生成与该最小独立对集合对应的测试用例集合，该测试用例集合即为最小测试集；步骤4，用最小测试集对源程序进行修正条件/判定覆盖测试。本发明可以减少修正条件/判定覆盖(MC/DC)测试的成本，避免了生成大量的测试用例以及对测试用例进行精简的过程。

主权项

一种计算机软件白盒测试的实现方法，其特征在于，包括：步骤1，求解判定布尔表达式中各个条件的独立对；步骤2，基于各个条件对应的独立对求解判定最小独立对集合，求解判定出的最小独立对集合构成参考用例集合；步骤3，在参考用例集合中选取一个最小独立对集合，并生成与该最小独立对集合对应的测试用例集合，该测试用例集合即为最小测试集；步骤4，用最小测试集对源程序进行修正条件/判定覆盖测试；最小独立对集合满足下述条件：给定一个判定Z，该判定含有N个条件，N个条件中含有M个不相等条件，M个不相等条件的真值表中的2M个用例Ci组成用例集合S，i∈[1，2M]；每一个条件对应一个非空有限独立对结果集合Rk(i∈[1，N])，Rk中的元素为独立对P，独立对P包含两个用例Ci、Cj，i，j∈[1，2M]；由N个独立对Pk中的所有用例构成集合D，任意Pk∈Rk，k∈[1，N]；满足集合元素个数|D|最小的D为最小独立对集合。