面向路径的迭代张弛法及改进分析

测试数据生成的自动化可以极大地促进软件测试效率和软件质量可靠性的提高。迭代张弛法是面向路径类的测试数据自动生成方法中最具代表性的一种方法,该方法自动生成测试数据的关键和实质在于约束组的建立和求解。文中通过一具体程序实例详细阐述了面向路径的迭代张弛法实现测试数据自动生成的原理和后期的方法改进,总结了该方法的优缺点,并对其它同类方法进行了分析和比较。