第３６卷　第１０期２０１３年１０月

计　　算　　机　　学　　报

ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ　　　

Ｖｏｌ．３６Ｎｏ．１０

Ｏｃｔ．２０１３

基于安全规则变异的ＷｅｂＳｅｒｖｉｃｅｓ安全性测试方法　

陈锦富

，１）３）

　李青　毛澄映

１），２）３）

　詹永照　黄如兵　陈加梅

）１２０１３　江苏镇江　２）３００１３　南昌　３

）３００７４　武汉　４

ＩＣ３１２２澳大利亚）　墨尔本Ｖ　

１）４）１）

１）（江苏大学计算机科学与通信工程学院

２）（江西财经大学软件与通信工程学院

３）（斯文本科技大学信息和通信技术学院

４）（华中科技大学计算机科学与技术学院

）摘　要　针对已有变异测试研究中仅考虑对Ｓ消息输入参数的变异处理，而ＯＡＰ（ＳｉｍｌｅＯｂｅｃｔＡｃｃｅｓｓＰｒｏｔｏｃｏｌ　　　ｐｊ缺乏对Ｓ文中从消息机密性、完整性及身份认证等方面对安全规则进行归类，提出ＯＡＰ消息安全规则变异的研究，了一种基于安全规则变异的Ｗ首先给出一种安全规则变异测试框架，研究变异点判ｅｂＳｅｒｖｉｃｅｓ安全性测试方法．　定规则库，设计出相应的变异操作算子、漏洞判定准则以及基于优先级与权重策略的变异算子选择方法．然后提出一种基于安全规则变异的测试用例生成算法，依照算法生成违背安全规则的Ｓ从而揭露ＷＯＡＰ消息，ｅｂＳｅｒｖｉｃｅｓ　），的安全类故障．最后实现了一个Ｗ在工ｅｂＳｅｒｖｉｃｅｓ安全性测试工具ＷＳＳＴＴ（ＷｅｂＳｅｒｖｉｃｅｓＳｅｃｕｒｉｔＴｅｓｔｉｎＴｏｏｌ　　　ｙｇ　　验证了文中提出的基于安全规则变异的Ｗ具的基础上进行实验和对比分析，ｅｂＳｅｒｖｉｃｅｓ安全测试方法的可行性和　有效性．

；关键词　Ｗ安全规则变异；变异测试；变异算子；原型工具ｅｂＳｅｒｖｉｃｅｓＳＯＡＰ消息；　／中图法分类号ＴＰ３１１　　　ＤＯＩ号　１０．３７２４ＳＰ．Ｊ．１０１６．２０１３．０１９６７

ＡＴｅｓｔｉｎＡｒｏａｃｈｆｏｒＷｅｂＳｅｒｖｉｃｅｓＳｅｃｕｒｉｔＢａｓｅｄｏｎＳｅｃｕｒｉｔＲｕｌｅｓＭｕｔａｔｉｏｎ　　　　　　　　ｇｐｐｙｙ　　　

１

ＣＨＥＮＪｉｎＦｕ　－

），３）

１２

ＩＱｉｎＣｈｅｎｉｎ　Ｌ　　－Ｙｇ　ＭＡＯｇｇ

）

）

），３）

１

ＨＡＮ　ＹｏｎＺｈａｏ　Ｚ－ｇ）

）

４１

ＨＵＡＮＧＲｕＢｉｎＮＪｉａｅｉ　－　－Ｍ　ｇ　ＣＨＥ

１）（２）（３）（

）ＳｃｈｏｏｌｏＣｏｍｕｔｅｒＳｃｉｅｎｃｅａｎｄ　Ｔｅｌｅｃｏｍｍｕｎｉｃａｔｉｏｎ　ＥｎｉｎｅｅｒｉｎＪｉａｎｓｕ　ＵｎｉｖｅｒｓｉｔＺｈｅｎｉａｎＪｉａｎｓｕ　２１２０１３　　　ｆ　ｐｇｇ，ｇｙ，ｊｇ，ｇ

）ＳｃｈｏｏｌｏＳｏｔｗａｒｅａｎｄ　Ｃｏｍｍｕｎｉｃａｔｉｏｎ　ＥｎｉｎｅｅｒｉｎＪｉａｎｘｉＵｎｉｖｅｒｓｉｔｏＦｉｎａｎｃｅａｎｄ　Ｅｃｏｎｏｍｉｃｓ，Ｎａｎｃｈａｎ３００１３　　　　ｆ　ｆｇｇ，ｇｙｆ　ｇ　３　

４）（

ＦａｃｕｌｔｏＩｎｏｒｍａｔｉｏｎａｎｄ　Ｃｏｍｍｕｎｉｃａｔｉｏｎ　Ｔｅｃｈｎｏｌｏｉｅｓ，ＳｗｉｎｂｕｒｎｅＵｎｉｖｅｒｓｉｔｏＴｅｃｈｎｏｌｏｅｌｂｏｕｒｎｅＶＩＣ３１２２，Ａｕｓｔｒａｌｉａ）　　　ｙｆｆｇｙｆ　ｇｙ，Ｍ　　　

）ＳｃｈｏｏｌｏＣｏｍｕｔｅｒＳｃｉｅｎｃｅａｎｄ　ＴｅｃｈｎｏｌｏｕａｚｈｏｎＵｎｉｖｅｒｓｉｔｏＳｃｉｅｎｃｅａｎｄ　ＴｅｃｈｎｏｌｏＷｕｈａｎ　４３００７４　　　　ｆ　ｐｇｙ，Ｈｇ　ｙｆ　ｇｙ，　

，Ａｂｓｔｒａｃｔｔｒｅｓｅｎｔｔｈｅｒｅｓｅａｒｃｈｅｓｏｎ　ＷｅｂＳｅｒｖｉｃｅｓｍｕｔａｔｉｏｎｔｅｓｔｉｎｍａｉｎｌｆｏｃｕｓｏｎｔｈｅｉｎｕｔ　Ａ　　　　　　　　　ｐｇｙｐ　　

）ｍ，ｍｕｔａｔｉｏｎｏｆＳＯＡＰ（ＳｉｍｌｅＯｂｅｃｔＡｃｃｅｓｓＰｒｏｔｏｃｏｌｅｓｓａｅｔｈｅｒｅｂｌａｃｋｏｆｃｏｎｓｉｄａｒａｍｅｔｅｒｓ　　　　　　　　－ｐｐｊｇｙ　ａｅｒｅｒｉｎｏｎｔｈｅｓｅｃｕｒｉｔｒｕｌｅｓｍｕｔａｔｉｏｎ．Ｔｏｒｅｓｏｌｖｅｔｈｉｓｄｒａｗｂａｃｋ，ｔｈｉｓｃｌａｓｓｉｆｉｅｓｔｈｅｓｅｃｕｒｉｔ　　　　　　　　　　ｐｐｇｙｙ　　

，，ｅｒｓｅｃｔｉｖｅｒｏｏｓｅｓｆｒｏｍｔｈｅｏｆｃｏｎｆｉｄｅｎｔｉａｌｉｔｉｎｔｅｒｉｔａｎｄａｕｔｈｅｎｔｉｃａｔｉｏｎｏｆｍｅｓｓａｅａｎｄａｒｕｌｅｓ　　　　　　　　　　ｐｐｐｐｙｇｙｇ　，ＷｅｂＳｅｒｖｉｃｅｓｓｅｃｕｒｉｔｔｅｓｔｉｎａｒｏａｃｈｂａｓｅｄｏｎｔｈｅｓｅｃｕｒｉｔｒｕｌｅｓｍｕｔａｔｉｏｎ．Ｆｉｒｓｔｌａｍｕｔａｔｉｏｎ　　　　　　　　ｙｇｐｐｙｙ　　　ｔｅｓｔｉｎｆｒａｍｅｗｏｒｋｏｆｓｅｃｕｒｉｔｒｕｌｅｓｉｓｒｅｓｅｎｔｅｄ．Ｔｈｅｖｕｌｎｅｒａｂｉｌｉｔｄｅｔｅｒｍｉｎａｔｉｏｎｒｕｌｅｓｅｔｉｓｒｏ　　　　　　　　　－ｙｐｙｐｇ　　　ｖｉｄｅｄａｎｄｓｏｍｅｍｕｔａｔｉｏｎｏｅｒａｔｏｒｓｏｆｓｅｃｕｒｉｔｒｕｌｅｓａｒｅｄｅｓｉｎｅｄａｃｃｏｒｄｉｎｔｏｓｅｃｕｒｉｔｔｅｓｏｆ　　　　　　　　　　　ｐｙｇｇｙｙｐ　　　

，ＳＯＡＰｍｅｓｓａｅ．Ｂａｓｅｄｏｎｔｈｅｒｉｏｒｉｔａｎｄｗｅｉｈｔｓｔｒａｔｅｔｈｉｓａｅｒａｌｓｏｉｖｅｓｔｈｅｓｔｒａｔｅｉｅｓ　　　　　　　　　　　ｇｐｙｇｇｙｐｐｇｇ　ｗｈｉｃｈａｒｅｕｓｅｄｔｏｓｅｌｅｃｔｍｕｔａｔｉｏｎｏｅｒａｔｏｒｓ．Ｔｈｅｎｔｈｅｓｅｃｕｒｉｔｔｅｓｔｃａｓｅｓａｌｏｒｉｔｈｍｉｓｅｎｅｒａｔｉｏｎ　　　　　　　　　　　　ｐｙｇｇ　

，ｒｅｓｅｎｔｅｄｂａｓｅｄｏｎｓｅｃｕｒｉｔｒｕｌｅｓｍｕｔａｔｉｏｎａｎｄｔｈｅｅｆｆｉｃｉｅｎｃｏｆｔｈｅａｌｏｒｉｔｈｍｉｓａｌｓｏａｎａｌｚｅｄ．　　　　　　　　　　　ｐｙｙｇｙ　　

；、收稿日期：最终修改稿收到日期：本课题得到国家自然科学基金（教育部博士点专项基金２０１３０６２０２０１３０９０２．６１２０２１１０，６１０６３０１３）－－－－（））和江苏省自然科学基金（资助．陈锦富，男，博士，副教授，中国计算机学会（会员，主要研２０１０３２２７１２０００５ＢＫ２０１２２８４１９７８年生，ＣＣＦ）

：；究方向为软件测试、可信软件．李　青，女，硕士研究生，主要研究方向为软Ｅ－ｍａｉｌｓ．ｅｄｕ．ｃｎｃｆｎｅｔ２６．ｃｏｍ．１９８７年生，ｉｎｆｕｃｈｅｎ＠ｕ＠１ｊｊｊ毛澄映，男，博士，副教授，主要研究方向为软件测试、数据挖掘等．詹永照，男，博士，教授，博士生导师，主件测试．１９７８年生，１９６２年生，要研究方向为计算机图形学、人机交互及软件工程．黄如兵，男，博士研究生，主要研究方向为软件测试．陈加梅，女，１９８４年生，１９８７年生，硕士研究生，主要研究方向为软件测试．