基于构造类别代数的数据流和控制流相结合的协议测试

• 作者: 周颢 屈玉贵 赵保华 郭雄辉
• 来源期刊: 北京邮电大学学报
• 学科: 工学
• 关键词: 构造类别代数 形式化描述 一致性测试
• 年，卷（期）: 2003,（z2）
• 页码范围: 7-11
• 页数: 5页
• 分类号: TP311
• 字数: 3544字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-5321.2003.z2.002

摘要

如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题,本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法,给出了在其上的测试用例生成算法,有限状态机模型到构造类别代数模型的转换算法,并且给出了在一个实际的路由协议RIP的测试中的应用例子.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	屈玉贵	中国科学技术大学计算机系	98	1088	19.0	27.0
2	赵保华	中国科学技术大学计算机系	152	1481	21.0	28.0
3	周颢	中国科学技术大学计算机系	53	308	9.0	12.0
4	郭雄辉	中国科学技术大学计算机系	8	54	4.0	7.0