本文探讨一种白盒测试中测试用例自动生成的搜索算法，旨在为软件测试提供完整的测试用例。 路径覆盖是白盒测试中覆盖率最高的一种覆盖方法，结构化测试数据一般都是通过路径覆盖的方式米生成。根据不同的路径，可以生成覆盖不同路径的测试数据，所有路径的测试数据就组成了程序完整的测试用例。 在研究测试数据生成的搜索算法时，本文在原有搜索算法只针对一维谓词的基础上，增加了对复合谓词处理的方法，提出了针对复合谓词的分组搜索算法。在测试数据搜索过程中，本文还引入了程序切片技术，这是一种分析和理解程序的技术，可抽取有用的程序片段，具有简化程序代码的特点。本文详细介绍了切片技术的发展、切片的分类、切片准则、切片算法思想，重点介绍了基于前向分析的动态切片算法。 最后，本文提出了一种测试用例生成的系统框架，详细说明了该系统的流程，以及各个模块预期实现的功能，并给出了具体的算法思想。最后通过实例，验证了系统框架的可行性。