协议的测试是协议工程的一个重要组成环节。随着信息化时代的到来，人们对信息的需求越来越高，促生了许多新的协议规范。如何采用新的形式化方法描述和验证协议及对新协议选择何种测试方式来保证协议实现的一致性、互操作性和高效性一直是协议测试的热点和难点。 本文研究的目的就在于根据当前国内外的发展现状，结合当今协议多带有分布式的特征，提出并实现了基于抽象状态机语言的远程协议测试。 本文首先概要介绍了协议测试的基本概念、测试结构、测试流程和测试基本假设，分析了现有协议描述的形式化方法和各自的优缺点。 然后介绍了抽象状态机语言的发展和形式化规则，并论述了其作为协议测试的优点和理论基础。根据前面的分析，提出基于抽象状态机语言的协议测试基本模型； 在此基础上以简单文件传输协议为例，论述了使用抽象状态机语言进行协议测试的方法和过程。并根据简单文件传输协议测试中实际存在的问题，提出抽象状态机模型结合．NET环境下分布式程序设计构架来设计远程协议测试系统，并详细论述了其一致性测试模型和．NET远程控制系统的实现方法。 最后实现了流媒体传输协议远程一致性测试，验证了以上设计思路和测试模型的正确有效性。 在论文的结束部分简述了本人工作及研究中尚需解决的问题，对其中一些问题给出了进一步研究的思路和改进意见，并展望了基于抽象状态机协议测试的研究和发展方向。