中文摘要：

软件测试优化对于降低测试成本和提高测试效率具有重要意义。本项目旨在研究基于程序切片的测试优化技术，通过结合程序特征和测试需求来深化测试优化效果。该方法能够充分挖掘测试需求和用例在被测程序上的个性特征，从程序的不同方面优化测试过程，因而能够大大提高测试效率。内容包括(1)基于程序切片的测试需求优化技术。使用程序切片分析需求之间关系，然后设计约简和精简算法实现测试需求优化，通过严格的程序切片理论保证最终的测试用例约简效果。（2）基于程序切片的测试用例优先级技术。通过程序切片计算测试用例在被测程序上的开销成本，结合测试需求特性进行测试用例优先级排序，使得测试用例优先顺序能够真正提高被测程序的测试效率。（3）基于程序切片的多准则测试技术。通过程序切片分析不同准则之间的功能互补和需求冗余，在略微增加测试成本的基础上大大提高测试用例集的错误检错能力。