伴随着国内证券市场股指期货、融资融券、转融通等市场基础制度的实施，我国证券市场正式进入了做空时代。这一变化在给各证券经营机构、投资机构、基金公司以及期货公司带来挑战的同时，也给他们带来了历史性的机遇。如何改变自身的盈利结构，改变靠天吃饭的现状，获取稳定的市场收益率，实现证券业务的转型，是当前各证券经营机构迫切需要解决的问题。而自动化证券交易由于在套利交易，量化投资方面的巨大优势使其成为当前证券市场的热点话题。自动化证券交易是证券市场现代化的重要标志之一，它已经成为证券市场创新、发展的一个重要方向。虽然我国自动化证券交易尚处于萌芽期，与境外发达的资本市场相比还有很大的差距。但是，随着近年来中国证券市场创新步伐的加快，我们预计未来几年自动化证券交易将得到飞速发展，该业务有巨大的成长空间。而一系列新技术的应用和新业务的出现将会改变当前证券市场的游戏规则。本文首先对自动化证券交易的国内外发展状况进行了研究，并且深入分析了国内外自动化证券交易的运行环境。指出了国内证券市场发展自动化证券交易过程遇到的阻碍和存在的主要问题。同时本文详细介绍了有效市场理论、套利定价理论、股票价格期现套利原理三大金融学经典基础理论。本文研究的重点在于套利定价理论在自动化证券交易中的应用。设计了基于套利定价理论的自动化证券交易模型，并且通过翔实的数据分析验证了套利模型的正确性。本文最后对交易模型在长城证券的应用做了整体介绍，并对自动化证券交易业务在长城证券的发展情况进行了阐述。给出SUNGARD_ASTP自动化证券交易系统的数学模型，叙述了SUNGARD_ASTP系统的基本功能。