通信协议一致性测试序列自动生成算法研究

• 作者: 孟兆航 舒挺 魏仰苏
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 一致性测试 控制流测试 惟一输入输出序列 可达性分析 有限状态机
• 年，卷（期）: 2007,（10）
• 所属期刊栏目: 网络与通信技术
• 页码范围: 2312-2315
• 页数: 4页
• 分类号: TP311.5
• 字数: 3705字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7024.2007.10.021

摘要

在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题.在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点.实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	舒挺	浙江理工大学计算机应用研究所	22	99	5.0	9.0
2	魏仰苏	浙江水利水电专科学校计算机系	10	56	5.0	7.0
3	孟兆航	浙江理工大学计算机应用研究所	5	51	4.0	5.0