软件自动化测试及其在银行核心系统测试中的应用