面向路径的测试数据自动生成方法研究

软件测试是现阶段保障软件质量的重要手段。软件测试中的诸如语句覆盖、路径覆盖等问题可以归结为面向路径的测试数据的生成问题。该问题可以描述为：给定一个程序P和P中一条路径W，设P的输入空间为D，求x∈D，使得P以x为输入运行，所经过的路径为W。自动求解该问题将有效地提高软件测试的效率和质量。