APP下载

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

2009-02-08章志燮赵保华

西安交通大学学报 2009年12期
关键词:算子测试方法分析方法

章志燮 周 颢 赵保华

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

猜你喜欢

算子测试方法分析方法
Domestication or Foreignization:A Cultural Choice
高层建筑沉降监测数据处理中多元回归分析方法的应用研究
高层建筑沉降监测数据处理中多元回归分析方法的应用研究
高分辨质谱在氯化石蜡分析方法中的应用
QK空间上的叠加算子
应用一种新的TLP测试方法解决ESD所引起的系统软失效问题
例谈一种追及问题的错解和常用分析方法
无线式电器设备检测仪的开发与应用
防静电服带电电荷量测试方法分析
逼近论中的收敛性估计