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

2009-02-08 01:11章志燮赵保华
西安交通大学学报 2009年12期
关键词:算子测试方法分析方法

章志燮 周 颢 赵保华

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

猜你喜欢
算子测试方法分析方法
沥青混合料沥青用量测试方法研究
Domestication or Foreignization:A Cultural Choice
高层建筑沉降监测数据处理中多元回归分析方法的应用研究
高层建筑沉降监测数据处理中多元回归分析方法的应用研究
高分辨质谱在氯化石蜡分析方法中的应用
QK空间上的叠加算子
例谈一种追及问题的错解和常用分析方法
无人驾驶车辆认知能力测试方法
一种嵌入式数控系统的体系结构与系统设计
AEBS场地测试方法