TCP/IP体系逐渐无法适应当前网络的环境和需求,国际上纷纷开展新型网络的研究。973项目“一体化可信网络与普适服务体系基础研究”提出的新型互联网,是具有我国自主知识产权的全新网络体系。新型互联网中的传输协议提供端到端的通信服务,具有比传统传输协议更高的有效性、可靠性、安全性、抗毁性和可扩展性。当前的新型互联网尚缺乏完善的差错控制功能,迫切需要在传输协议中增加差错控制机制,进一步提高通信质量。在完善新型互联网传输协议后,需要对完整协议进行一致性测试,来验证协议的可行性和实现系统的正确性。本文分析了原有的新型互联网传输协议的工作方式、报文格式和各个工作机制,以及与传统TCP相比的优势。在此基础上,设计并实现了新型互联网传输协议的差错控制机制,包括保活测试、连接差错检测、路径差错检测、多连接多路径带宽分配、发送端验证和处理无匹配连接报文。端点使用保活测试、连接差错检测和路径差错检测,来周期性地监测各连接和路径的可用性,并采取应对措施。通过多连接多路径带宽分配,端点根据连接与路径的可用性等网络状况以及时间限制与数据量等业务需求,来对不同连接的不同路径采取不同的带宽调整幅度,使数据尽量在时间限制内传输完成,并减小平均传输时间。发送端验证用于检验所收到报文的发送端是否为该连接的对端,从而避免欺骗和攻击。当收到格式正确但无法识别所属连接的报文时,端点根据报文所携带数据的类型,依照处理无匹配连接报文的规则进行处理。差错控制机制增强了通信的高效性、可靠性、安全性和抗毁性。为了进行新型互联网传输协议的一致性测试,本文设计了协议的一致性测试集,对测试例进行了文本和形式化描述。开发了与协议实现系统进行交互从而检验其行为的一致性测试系统,并搭建了一致性测试环境。通过执行协议的一致性测试,并使用开发的解析协议报文的工具对测试结果进行校验,证明了协议实现系统的报文格式、连接建立、数据传输、拥塞控制、差错控制和连接释放等机制,符合新型互联网传输协议所明确的规范,从而验证了协议的可行性和实现系统的正确性。