协议测试中用户信息的形式化描述技术

摘要：

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

关键词：协议实现功能说明、协议实现参数说明、树表结合表示法、巴斯滕范式

所属期刊栏目：22

分类号：TN915.04-34

资助基金：中国科学院资助项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：43-47