基于粗糙集的因果图方法简化研究

因果图方法是一种有效的软件测试方法,它适合于描述对于多种条件的组合、相应产生多个动作形式的测试用例设计,因果图最终被转换为判定表。在判定表中,测试用例的数目随输入数据数目的增加而线性地增加,当输入数据数目较大时,最终生成的判定表的规模会很大,相应的生成的测试用例会很多,并且,程序的规格说明中给出的有些条件及条件值并不是必需的,因此,文中采用粗糙集理论对因果图方法进行简化,并用一个实例说明了该简化方法的合理性和实用性。经简化,由因果图生成的判定表的条件和条件值都不再有冗余,所生成的测试用例数目大大减少,测试变得更加简洁有效。