网络结构的复杂性、提供服务的丰富性、系统间的交互性的不断提高对网络协议的快速开发、正确性和性能提出了更高的要求。这促使了以形式化方法和技术为基本的协议工程的发展。其中协议的形式化描述和测试是整个协议工程的基础。本文研究的目的就在于根据当前国内外形式化技术的发展现状,结合协议描述和测试中的特点,提出并实现了对协议进行的一致性测试和性能测试。本文首先介绍了各种形式化方法的特点,及在文中使用的抽象状态机和引用网用于协议测试的优势,研究了基于抽象状态机进行一致性测试和基于引用网进行性能测试的原理和方法。对简单文件传输协议进行了一致性测试并获得了一致性通过。使用引用网完成了简单文件传输协议的模型建立,对协议的时延、吞吐量等性能参数进行了测试和分析。针对测试中的无法测试突发事件的问题使用了远程测试的方法,并结合更为复杂且适合远程测试的实时传输协议,实现了封装性较好的适合远程测试的被测协议实现,对实时传输协议中的组播模式进行了测试。然后对实时传输协议的时延、传输速率、带宽占用等性能参数进行了测试,给出了测试结果并进行了分析。在论文的结束部分简述了本人工作及研究中尚需解决的问题,对其中一些问题给出了进一步研究的思路和改进意见,并展望了形式化技术的研究和发展方向。