面向变异分析的协议安全测试方法

• 作者: 周颢 章志燮 赵保华
• 来源期刊: 西安交通大学学报
• 关键词: 协议安全测试 构造类别代数 变异分析
• 年，卷（期）: 2009,（12）
• 页码范围: 11-15
• 页数: 5页
• 分类号: TP393.06
• 语种: 中文
• DOI: 10.3321/j.issn:0253-987X.2009.12.003

摘要

在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周颢	中国科学技术大学计算机科学与技术系	11	52	5.0	6.0
4	赵保华	中国科学技术大学计算机科学与技术系	27	153	7.0	10.0
19	章志燮	中国科学技术大学计算机科学与技术系	2	7	1.0	2.0