面向对象自动化测试框架的研究与设计 软件测试自动化静态分析研究 软件结构测试自动化关键技术研究 软件自动化测试的设计与实施