论文部分内容阅读
无论是协议的一致性测试、互操作测试还是协议性能的测试，都只有在接收了用户信息后才开始实际的测试。自定义的用户信息缺乏形式化的定义，使测试系统很难具有良好的通用性。本文对协议测试中测试系统与测试用户之间的交互信息在内容上进行了合理的划分，并对其进行了形式化定义，同时还介绍了此形式化定义在实际系统中的一种应用。