软件自动化测试工具的应用研究