随着软件开发技术的发展,软件越来越复杂,人们对软件的需求也越来越多,软件是否是按需求开发,能否正确有效的运行,成为软件开发者日益重视的问题。软件测试在整个软件开发过程中也是耗费最大的一个方面,不仅是耗费人力,物力,并且还缺乏系统的工程方法、清晰的语义、以及充分的工具支持,这就使得软件测试方法的研究越来越重要。本文研究的目的在于根据当前国内外基于模型的软件测试研究现状,结合面向对象的软件开发方法的特征,设计并实现了用抽象状态机语言描述统一建模语言状态图的过程,实现了基于抽象状态机语言的软件一致性测试。本文首先介绍了软件测试的基本概念以及基于模型的软件测试研究现状,分析了目前构建软件模型主要的形式化方法,比较其各自的优缺点。其次介绍了抽象状态机的基本理论和抽象状态机语言,并论述其用做测试的理论基础和优点。在此基础上,设计出了统一建模语言状态图用抽象状态机语言描述的方法,并演示对比统一建模语言状态图与抽象状态机,研究了基于抽象状态机进行一致性测试的原理和方法。用.NET环境下分布式程序设计框架实现基于实时传输协议的远程教育系统,用抽象状态机语言描述所用的实时传输协议,并实现其一致性测试。在前面所论述的理论基础上,构建系统的抽象状态机模型,实现了远程教育系统的一致性测试,并给出测试结果并进行了分析。在论文的结束部分简述了本人工作及研究中尚需解决的问题,对其中一些问题给出了进一步研究的思路和改进意见,并展望了抽象状态机方法在测试方面的研究和发展方向。