一种通信协议测试序列生成的新方法

• 作者: 孙宇霖 屈玉贵 赵保华
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 协议测试 构造类别代数规范 有限状态机
• 年，卷（期）: 2001,（6）
• 所属期刊栏目: 研究简报
• 页码范围: 122-127
• 页数: 6页
• 分类号: TP311
• 字数: 3818字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2001.06.020

摘要

本文讨论了一种协议测试的新方法,它使用构造类别代数描述通信协议规范,然后根据规范中的公理部分生成测试序列.本文以栈规范为例介绍这种方法的应用.并通过与基于有限状态机的测试序列生成方法相比较,得出两种方法在一些方面是等效的,但在处理状态较多的协议时,这种方法有一定的优点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	屈玉贵	中国科学技术大学计算机系	98	1088	19.0	27.0
2	赵保华	中国科学技术大学计算机系	152	1481	21.0	28.0
3	孙宇霖	中国科学技术大学计算机系	3	48	3.0	3.0