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

• 作者: 吴建平 尹霞
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 协议实现功能说明 协议实现参数说明 树表结合表示法 巴斯滕范式
• 年，卷（期）: 2000,（1）
• 所属期刊栏目: 计算机网络
• 页码范围: 43-47
• 页数: 5页
• 分类号: TN915.04-34
• 字数: 3244字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2000.01.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴建平	清华大学计算机科学与技术系	298	5155	36.0	63.0
2	尹霞	清华大学计算机科学与技术系	52	329	9.0	16.0