我国的软件测试研究起步非常晚,是随着软件工程的研究而慢慢发展起来的。随着对软件质量的要求越来越高,软件测试技术也渐渐整个为一个新兴的行业。随着软件行业的发展,金融行业IT相关业务也得到了长足的进步。而金融行业对于整个软件系统的要求是最高的,这样便变相导致了整个金融软件系统的集成度越来越高,规模越来越大,关联性越来越强。另一方面,金融行业IT技术相关业务也越来越多,需求变化也越来越频繁。而我国软件测试技术的研究起步较晚,如何通过软件测试来保证系统的质量,成为了整个软件行业的一个难题。本论文为作者在硕士期间参与的实习公司对于某银行整个自助银行系统的外包软件测试的研究。本文重点讨论了银行自动取款系统的软件测试过程,主要研究工作如下：(1)研究整个银行取款系统需求说明,结合软件功能测试技术,包括测试模型、方法的选择,以及实际系统环境,参照V型测试模型组织从单元到模块到整体的测试。(2)研究UML建模技术,从静态和动态两个方面对银行取款系统分析,结合整个银行取款系统的结构和功能,通过UML建模为例,通过类图、用例图、状态图、顺序图和协作图的设计,深入研究如何通过建模图形建立测试场景和生成测试数据,为测试工作提供理论依据。(3)重点针对UML状态图,结合OCL约束语言,研究通过状态图转化有限状态机、协作图生成测试场景。以银行卡账户为例,研究设计通过提取建模图形信息而生成测试数据的自动化测试框架,结合手动测试,测试系统。(4)研究整个系统测试结果,分析输出报告通过对整个系统测试的分析,组织大量有效的数据,同时提出观点和建议,为该系统今后拓展提供了有效的参考依据。本文研究了银行自动取款系统的软件测试,各个模块均得到了较高覆盖率的测试,通过了验收测试,确保了整个系统在后期能够稳定运营,保障了系统质量。